紹介文 :
1)要求の評価方法の研究
要求の具体的な検証方法として、「貢献度評価による、妥当性及び完全性の評価」を提案しています。
2)形式仕様記述言語による派生開発でのモデル検証
組み込みソフトウェアの派生開発において、スペックアウトした仕様を形式仕様記述言語を用いて整理した事例が紹介されています。
3)プロジェクト管理における統合モデルの提案
特性の異なるプロジェクトに対して統一的な概念で評価およびフィードバックを行うためのプロジェクト管理フレームワークを提案しています。