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] 森恵弥佳, 岡野浩三, 楠本真二, "在庫管理プログラムに対する Alloy Analyzer を用いた検証事例," 情報処理学会シンポジウムシリーズ ウィンターワークショップ2013・イン・那須, volume 2013, number 1, pages 5-6, 2013年1月. [desc]
[2] 尾鷲方志, 岡野浩三, 楠本真二, "JMLを用いた在庫管理プログラムの設計とESC/Java2 を用いた検証," 電子情報通信学会技術報告, volume 107, number 176, pages 37-42, 2007年8月. [0]
学位論文
[1] , 仕様記述言語JMLとAlloy を用いた在庫管理プログラムの設計に対するモデル検査ツールによる検証事例, 2007. [0]

Search

Tags

この検索内の頻出タグ: warehouse:4 verification:4 program:4 management:4 study:3 jml:3 design:3 case:3 ―:2 esc/java2:2 alloy:2 validation:1 tools:1 analyzer: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.03604 seconds.