形式仕様の開発における機能要求への反映

スポンサーリンク

概要

論文の詳細を見る
大規模なシステムを開発する際に,ユーザから獲得した要求を用いてシステム全体の仕様を得るまでに多大な労力を必要とする.その原因として,要求には曖昧さや矛盾が含まれており,また,部分的,段階的に得られるものだからということがあげられる.そこで我々は要求を機能という単位で形式的に記述することにより,システムの仕様を自動的に合成する手法を提案した.しかし,合成された形式仕様を検証し,形式仕様に変更を加えただけでは,後に要求が変更された場合,再合成するときに不都合が生じる.本稿では,合成された形式仕様を変更した時にその変更を機能要求に反映するアルゴリズムを提案し,そのアルゴリズムを実装した開発支援環境を示す.
社団法人電子情報通信学会の論文
1995-09-28

著者

関連論文

もっと見る

スポンサーリンク