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