データモデルに基づく関係推論によるプログラム生成法の定式化

スポンサーリンク

概要

論文の詳細を見る
ソフトウェアの生産性や信頼性を向上させるための一方策として, 著者らは理解性の良い概念モデルとしてERモデル (Entity-Relationship Model) を採用し, 計算をデータフローで表す理解性と拡張性を備えた仕様記述言語PSDLを提案した. また, 非手続き的なPSDL記述のプログラム仕様から手続き型プログラムを生成する方法を提案した. しかし, プログラム生成法については基本的な部分の提案に留まっており, まだ多くの課題が残っている. 例えば, 再帰的処理や複雑な入出カデータ構造の処理プログラム生成方法がまだ確立していない. そこで, これらの課題を解決するために, プログラムの生成法の定式化について報告する.
一般社団法人電子情報通信学会の論文
1997-11-28

著者

関連論文

もっと見る

スポンサーリンク