尾鷲方志, 岡野浩三, 楠本真二, "在庫管理プログラムに対するJML記述とESC/Java2を用いた検証の事例報告," 電子情報通信学会論文誌 VOL.J91-D NO.11, 91-D(11), pp. 2719-2720 2008年11月.
ID 42
分類 論文誌
タグ design warehouse management program jml verification esc/java2
表題 (title) 在庫管理プログラムに対するJML記述とESC/Java2を用いた検証の事例報告
表題 (英文) Design of Warehouse Management Program in Jml and Its Verification with Esc/Java2
著者名 (author) 尾鷲方志,岡野浩三,楠本真二
英文著者名 (author) Masayuki Owashi,Kozo Okano,Shinji Kusumoto
キー (key) Masayuki Owashi,Kozo Okano,Shinji Kusumoto
定期刊行物名 (journal) 電子情報通信学会論文誌 VOL.J91-D NO.11
定期刊行物名 (英文) THE IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS VOL.91-D NO.11
巻数 (volume) 91-D
号数 (number) 11
ページ範囲 (pages) 2719-2720
刊行月 (month) 11
出版年 (year) 2008
Impact Factor (JCR)
URL
付加情報 (note)
注釈 (annote)
内容梗概 (abstract) 本稿では,契約に基づく設計が行えるJML を用いて在庫管理問題の仕様作成を行い,ESC/Java2 を用いて検証した.この結果や考察について述べる.
論文電子ファイル 0 (application/pdf) [一般閲覧可]
BiBTeXエントリ
@article{id42,
         title = {在庫管理プログラムに対するJML記述とESC/Java2を用いた検証の事例報告},
        author = {尾鷲方志 and 岡野浩三 and 楠本真二},
       journal = {電子情報通信学会論文誌 VOL.J91-D NO.11},
        volume = {91-D},
        number = {11},
         pages = {2719-2720},
         month = {11},
          year = {2008},
}