カイヤ ハルヒコ   Kaiya Haruhiko
  海谷 治彦
   所属   神奈川大学  理学部 情報科学科
   職種   教授
言語種別 日本語
発行・発表の年月 2003/11
形態種別 その他
標題 VDM over PSP: A Pilot Course for VDM Beginners to Confirm its Suitability for Their Development
執筆形態 共著
掲載誌名 Proceedings of COMPSAC2003, IEEE CPS.
巻・号・頁 327-334頁
著者・共著者 Hisayuki Suzumori, Haruhiko Kaiya, and Kenji Kaijiri.
概要 担当分 2章 前提技術説明 4章 評価 (全5章).形式的なソフトウェア開発手法の有効性を手法利用者自身が体感するために,CMMの個人版であるPSPに基づくソフトウェア開発過程の測定と評価の枠組みを用いた.