ソフトウェア工学における形式仕様言語Zの応用について

スポンサーリンク

概要

論文の詳細を見る
多くの企業では、新しい情報システム技術を用いたクライアントサーバー型の事務系システムを開発している。この新システムを効果的に開発するためにはCOBOL上の膨大なレガシーシステムを再利用する必要がある。本論文では、形式仕様言語Zを利用したCOBOLのリバースエンジニアリングの概念を述べる。また、実際のCOBOLソースプログラムからZ形式の仕様書を生成することにより、得られたソフトウェア工学上の形式仕様の重要性や実用化のためのZの課著についても述べる。
社団法人電子情報通信学会の論文
1994-11-21

著者

関連論文

スポンサーリンク