概念データモデルで記述された仕様の関数型言語への変換

スポンサーリンク

概要

論文の詳細を見る
ソフトウェアの生産性と信頼性を向上させるため,プログラム仕様の再利用性が重要である.筆者らは仕様の再利用性を向上させるためのERモデルと従属性制約を適用し,理解性,拡張性に優れた非手続き的なプログラム仕様記述言語PSDLと,そのコンパイラをに提案した.また,PSDLを用いたプログラム仕様の開発支援システムSoftReuseを作成し,ソフトウェア記述実験を行ない生産性の向上を確認した.これらの環境を使ったプログラムの開発においては,プログラムは自動生成されるのでその段階での誤りの混入はない.しかし,プログラムの元となるPSDL仕様に誤りが存在した場合には,その修正が必要になるが,それは簡単なことではない.そのため,仕様の誤りを見つける仕組みを開発する必要がある.そこで,我々は関数型言語に着目し,仕様の誤り発見に優れた,PSDLを関数型言語へ変換する方法を開発した.その手法について報告する.
一般社団法人情報処理学会の論文
1993-09-27

著者

関連論文

もっと見る

スポンサーリンク