| Tweet | |
| 佐々木, 岡野, 楠本, "SMTを活用したJava プログラム解析器の設計," ソフトウェア工学の基礎XIX, pp. 33-38, 2012年12月. | |
| ID | 269 |
| 分類 | 国内会議(査読付き) |
| タグ | |
| 表題 (title) |
SMTを活用したJava プログラム解析器の設計 |
| 表題 (英文) |
|
| 著者名 (author) |
佐々木 幸広,岡野 浩三,楠本 真二 |
| 英文著者名 (author) |
Yukihiro Sasaki,Kozo Okano,Shinji Kusumoto |
| キー (key) |
SMTソルバ, PDG, テストケース, モデル検査 |
| 定期刊行物名 (journal) |
ソフトウェア工学の基礎XIX |
| 定期刊行物名 (英文) |
|
| 巻数 (volume) |
|
| 号数 (number) |
|
| ページ範囲 (pages) |
33-38 |
| 刊行月 (month) |
12 |
| 出版年 (year) |
2012 |
| Impact Factor (JCR) |
|
| URL |
|
| 付加情報 (note) |
|
| 注釈 (annote) |
|
| 内容梗概 (abstract) |
|
| 論文電子ファイル | fose2012.pdf (application/pdf) [一般閲覧可] |
| BiBTeXエントリ |
@article{id269,
title = {SMTを活用したJava プログラム解析器の設計},
author = {佐々木 幸広 and 岡野 浩三 and 楠本 真二},
journal = {ソフトウェア工学の基礎XIX},
pages = {33-38},
month = {12},
year = {2012},
}
|