宮本敬三, "アサーション動的生成を目的としたテストケース制約の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},
}