抄録
ソフトウェア開発の品質や効率の向上には要素技術だけでなく，ソフトウェア開発のプロセスも重要とされている．我々は要素技術として形式手法に着目し，その導入によるプロセスの改善について研究している．実際の開発に形式手法を導入する場合，プロセスのテーラリングについても考慮する必要があるが，具体的な実プロセスの多様性をふまえプロセス改善のモデルを用いたテーラリングの検討も有効と考える．本稿では，プロセス改善モデルの一つCMMI-DEVの，関連プロセス領域の関係に着目しネットワークの中心性を分析した．その結果，形式仕様記述の導入成功事例の分析結果と共通するプロセス改善の指針を得ることができた．
