形式的仕様記述言語Zの統合支援ツールの構築について

スポンサーリンク

概要

論文の詳細を見る
形式的仕様記述言語Zは集合論と一階述語論理など数学的体系を基づくモデル指向仕様記述手法である。高い信頼性を持つシステムを構築する有力な仕様記述手段の一つと考えられている。仕様設計者に便利かつグラフィカルなZ言語の開発支援環境を提供し、Z言語の仕様記述手法としてのメリットと不十分な点を検討する目的で、GUIエディター、構文パーザと意味チェッカー、検証支援モデルと部品ライブラリを備える統合支援ツールを試作したので、本稿では、その概要を述べる。さらに、この試作で得られたZの実用化のための課題についても議論する。
一般社団法人情報処理学会の論文
1995-01-26

著者

関連論文

スポンサーリンク