抽象データ型に基づくプログラム設計[1]

• 大場, 克彦

• 金戸, 孝夫

抄録

信頼性の高いプログラムを開発する手法の1つとして、代数的仕様記述法が注目され始めている。しかし、逐次処理型の実用レベルのプログラムの仕様を、平均的プログラマが代数的仕様記述法を用いて書くのは難しい。平均的プログラマが利用できるようになるためには、難解な基礎理論を意識しなくても、定められた手順に従って記述すれば、厳密であいまいさのない形式的な仕様が得られることが必要である。これを可能にするために、抽象データ型を用いたプログラム設計法について検討した。

収録刊行物

• 全国大会講演論文集

  全国大会講演論文集 第41回 (ソフトウェア工学), 185-186, 1990-09-04

詳細情報

• CRID: 1050011097158933760
• NII論文ID: 110002895922
• NII書誌ID: AN00349328
• Web Site: http://id.nii.ac.jp/1001/00119669/
• 本文言語コード: ja
• 資料種別: conference paper
• データソース種別:
  • IRDB
  • CiNii Articles