抽象データ型に基づくプログラム設計[1]
スポンサーリンク
概要
- 論文の詳細を見る
信頼性の高いプログラムを開発する手法の1つとして、代数的仕様記述法が注目され始めている。しかし、逐次処理型の実用レベルのプログラムの仕様を、平均的プログラマが代数的仕様記述法を用いて書くのは難しい。平均的プログラマが利用できるようになるためには、難解な基礎理論を意識しなくても、定められた手順に従って記述すれば、厳密であいまいさのない形式的な仕様が得られることが必要である。これを可能にするために、抽象データ型を用いたプログラム設計法について検討した。
- 一般社団法人情報処理学会の論文
- 1990-09-04
著者
関連論文
- プログラム部品合成手法によるソフトウェア開発支援環境
- 形式的仕様の木構造表現
- 抽象データ型に基づくプログラム設計[2]
- 抽象データ型に基づくプログラム設計[1]
- 代数的仕様の実用プログラムへの適用に関する考察