| Tweet | |
| 宮本敬三, "アサーション動的生成を目的としたテストケース制約のESC/Java2を利用した導出," 修士学位論文, 大阪大学, 2010年. | |
| ID | 84 |
| 分類 | 学位論文 |
| タグ | ESC/Java2 |
| 表題 (title) |
アサーション動的生成を目的としたテストケース制約のESC/Java2を利用した導出 |
| 表題 (英文) |
|
| 著者名 (author) |
宮本敬三 |
| 英文著者名 (author) |
Keizo Miyamoto |
| キー (key) |
Keizo Miyamoto |
| 学校名 (school) |
大阪大学 |
| 出版社住所 (address) |
|
| 刊行月 (month) |
2 |
| 出版年 (year) |
2010 |
| URL |
|
| 付加情報 (note) |
|
| 注釈 (annote) |
|
| 内容梗概 (abstract) |
|
| 論文電子ファイル | main.pdf (application/pdf) [一般閲覧可] |
| BiBTeXエントリ |
@masterthesis{id84,
title = {アサーション動的生成を目的としたテストケース制約のESC/Java2を利用した導出},
author = {宮本敬三},
school = {大阪大学},
month = {2},
year = {2010},
}
|