業績一覧

在庫管理プログラムに対するJML記述とESC/Java2を用いた検証の事例報告

, ,

電子情報通信学会論文誌 VOL.J91-D NO.11, vol.91-D, no.11, pp.2719-2720 (2008)

概要: 本稿では，契約に基づく設計が行えるJML を用いて在庫管理問題の仕様作成を行い，ESC/Java2 を用いて検証した．この結果や考察について述べる．タグ: design, warehouse, management, program, jml, verification, esc/java2

@article{尾鷲方志2008,
  author = {尾鷲 方志 and 岡野 浩三 and 楠本 真二},
  title = {在庫管理プログラムに対するJML記述とESC/Java2を用いた検証の事例報告},
  journal = {電子情報通信学会論文誌 VOL.J91-D NO.11},
  volume = {91-D},
  number = {11},
  pages = {2719--2720},
  year = {2008},
  month = {nov}
}