楠本研究室

業績一覧

ホーム業績一覧

モデル検査器とDaikon を用いた表明動的生成改善手法のシステム開発実プロジェクト教材への適用と評価

モデル検査器とDaikon を用いた表明動的生成改善手法のシステム開発実プロジェクト教材への適用と評価
電子情報通信学会技術報告 (2011)
タグ: Model, checking
@inproceedings{小林和貴2011,
  author = {小林 和貴 and 岡野 浩三 and 楠本 真二},
  title = {モデル検査器とDaikon を用いた表明動的生成改善手法のシステム開発実プロジェクト教材への適用と評価},
  booktitle = {電子情報通信学会技術報告},
  year = {2011},
  month = {jul}
}