Kusumoto Laboratory
  • リスト
  •  表 
  • LaTeX
  • BibTeX
List of works

論文誌
[1] 尾鷲方志, 岡野浩三, 楠本真二, "在庫管理プログラムに対するJML記述とESC/Java2を用いた検証の事例報告," 電子情報通信学会論文誌 VOL.J91-D NO.11, volume 91-D, number 11, pages 2719-2720, 2008年11月. [0]
国内会議(査読付き)
[1] 小林和貴, 宮本敬三, 岡野浩三, 楠本真二, "アサーション動的生成を目的としたテストケース制約のESC/Java2を利用した導出," 高田 眞吾, 福田 浩章(編), ソフトウェア工学の基礎XVII, number 36, pages 35-44, 2010年11月. [投稿PDF]
研究会・全国大会等
[1] 尾鷲方志, 岡野浩三, 楠本真二, "JMLを用いた在庫管理プログラムの設計とESC/Java2 を用いた検証," 電子情報通信学会技術報告, volume 107, number 176, pages 37-42, 2007年8月. [0]
学位論文
[1] 武藤 祐子, "クラス間関係を利用した単体テストおよび静的検査の網羅率可視化ツールの試作と評価," , 2010年2月. [GraduationThesis.pdf]

Search

Tags

この検索内の頻出タグ: jml:4 esc/java2:4 ―:2 warehouse:2 verification:2 program:2 management:2 java:2 design:2 visualization:1 unit:1 test:1 study:1 static:1 relationship:1 metrics:1 masu:1 eclipse:1 coverage:1 class:1 checking:1 case:1 caller-callee:1 Formal:1

4 件の該当がありました. : このページのURL : HTML

Search: 簡易 | 詳細 || Language: 英語 | 日本語 || ログイン |

This site is maintained by fenrir.
PMAN 3.2.10 build 20181029 - Paper MANagement system / (C) 2002-2016, Osamu Mizuno
Time to show this page: 0.035179 seconds.