| Tweet | |
| 森恵弥佳, 岡野浩三, 楠本真二, "Alloy Analyzerを用いた表明に関する欠陥の検出手法 -JMLによる表明記述に対して-," コンピュータソフトウェア, 30(3), pp. 187-193, 2013年8月. | |
| ID | 314 |
| 分類 | 論文誌 |
| タグ | alloy analyzer annotations cations defects detecting jml method speci |
| 表題 (title) |
Alloy Analyzerを用いた表明に関する欠陥の検出手法 -JMLによる表明記述に対して- |
| 表題 (英文) |
A Method with Alloy Analyzer for Detecting Defects of Speci Cations: for Jml Annotations |
| 著者名 (author) |
森恵弥佳 and 岡野浩三 and 楠本真二 |
| 英文著者名 (author) |
Emika Mori and Kozo Okano and Shinji Kusumoto |
| キー (key) |
Emika Mori and Kozo Okano and Shinji Kusumoto |
| 定期刊行物名 (journal) |
コンピュータソフトウェア |
| 定期刊行物名 (英文) |
Computer Software |
| 巻数 (volume) |
30 |
| 号数 (number) |
3 |
| ページ範囲 (pages) |
187-193 |
| 刊行月 (month) |
8 |
| 出版年 (year) |
2013 |
| Impact Factor (JCR) |
|
| URL |
|
| 付加情報 (note) |
|
| 注釈 (annote) |
|
| 内容梗概 (abstract) |
|
| 論文電子ファイル | 利用できません． |
| BiBTeXエントリ |
@article{id314,
title = {Alloy Analyzerを用いた表明に関する欠陥の検出手法 -JMLによる表明記述に対して-},
author = {森恵弥佳 and 岡野浩三 and 楠本真二},
journal = {コンピュータソフトウェア},
volume = {30},
number = {3},
pages = {187-193},
month = {8},
year = {2013},
}
|