仕様獲得実験システム

スポンサーリンク

概要

論文の詳細を見る
我々は仕様定義者との対話によりソフトウェアの仕様を厳密化するための基本メカニズムの研究を行っている。ソフトウェア開発においては、仕様定義者(ユーザ)と開発者とが例示による対話を通じて仕様の厳密化を行うことが多い。開発者は、例により提示された要求からユーザの意図を理解しプログラムを作成する。ユーザは作成されたプログラムを確認し、仕様の変更や追加を行う。これらのことを繰り返し、次第に仕様を厳密化していく。このようなメカニズムの有効性と実現可能性の検証を目的として仕様獲得実験システム(Knit-Mate)を試作した。本システムは、対象をエキスパートシステムのユーザインタフェースとして、ユーザからの例示により仕様を獲得する。本稿では、仕様獲得実験システムの概要について報告する。
一般社団法人情報処理学会の論文
1989-10-16

著者

関連論文

もっと見る

スポンサーリンク