ソフトウェアプロジェクトの形式化について

スポンサーリンク

概要

論文の詳細を見る
最近、生産性や品質の向上を伴った分散ソフトウェア開発環境が検討されている。我々はこれらの環境下でそれを目的通り運用するための評価レベルに準じたプロジェクト計画立案の手法を必要としている。このため、ISO SC7で標準化されているSLCPやSPA(ソフトウェアプロセス評価モデル)で定義されたプロセスモデルと能力レベルの考えをこのプロジェクト計画立案に取り入れる手法開発を目指す。その第一歩として、SPAのプロセス参照モデルをベースとしてプロジェクト計画立案にも利用できるような形にモデルを形式的に定義することを試みる。具体的には、Zという形式記述言語を持ちいることで、いろいろなモデルがそれぞれに参照可能なような言葉に依存しない記号的な定義を行い、他のモデルとの相互利用を行うことを試みる。
一般社団法人情報処理学会の論文
1996-07-25

著者

関連論文

スポンサーリンク