研究者情報 | 神奈川大学

カイヤ　ハルヒコ 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に基づくソフトウェア開発過程の測定と評価の枠組みを用いた．