楠本研究室

業績一覧

ホーム業績一覧

JMLによって記述された契約に対する品質評価手法の在庫管理プログラムへの適用

JMLによって記述された契約に対する品質評価手法の在庫管理プログラムへの適用
情報処理学会シンポジウムシリーズ ウィンターワークショップ2012・イン・琵琶湖, vol.2012, no.1, pp.109-110 (2012)
タグ: JML
@inproceedings{吉岡一樹2012,
  author = {吉岡 一樹 and 武藤 祐子 and 岡野 浩三 and 楠本 真二},
  title = {JMLによって記述された契約に対する品質評価手法の在庫管理プログラムへの適用},
  booktitle = {情報処理学会シンポジウムシリーズ ウィンターワークショップ2012・イン・琵琶湖},
  volume = {2012},
  number = {1},
  pages = {109--110},
  year = {2012},
  month = {jan}
}