実行時仕様の導入による形式的仕様の実行

スポンサーリンク

概要

論文の詳細を見る
ソフトウェアを正確に定義したいという要求から、各種の形式的仕様言語が提案されている。これらの形式的仕様言語は、その計算可能性に従って、直接実行可能なものと不可能なものに分類できる。直接実行可能な言語で記述された仕様は、ソフトウェア開発の初期段階で、実行による仕様の検査を行うことより、早期にユーザの要求に対する正当性を確認できる。しかしながら、その記述は計算の手順に依存することが多い。実行不可能な言語で記述された仕様には、集合や代数のような数学の概念に基づいているものがある。この仕様は、ソフトウェア・システムを、より抽象度の高い記述で定義できる。しかし、この仕様は、実行による仕様の検査の手だてを持ち合わせていない。そこで、本研究では、実行不可能な仕様記述の機械的な解釈を補助するために、実行時仕様を導入した。これによって、本来、直接実行が困難な仕様の実行を試みた。
一般社団法人情報処理学会の論文
1990-09-04

著者

関連論文

もっと見る

スポンサーリンク