実行可能な形式仕様言語Cafe OBJの開発
スポンサーリンク
概要
- 論文の詳細を見る
仕様の分析・定義といった工程を大幅に合理化・標準化する可能性を提供する形式仕様の手法を普及させることは今日の重要な課題である。OBJは代数仕様の手法に基づいたシステムであり、現在までに既に幾つかの実験的処理系が作成され、これらの考え方が実際に実現可能であることが明らかになっている。本研究ではOBJを基に、その実用化に向けて幾つかの側面から基盤を政備する予でである。本稿ではその内容を報告する。
- 1993-05-19
著者
関連論文
- 実行可能な形式仕様言語CafeOBJ(4) : CafeOBJによるZ仕様のアニメーションの枠組み
- 実行可能な形式仕様言語cafeOBJ(3) : CafeOBJによるオブジェクト指向システムの仕様記述ライブラリの記述
- 実行可能な形式仕様言語CafeOBJ(2) : Cafeシステムの核アーキテクチャ
- CafeOBJによるプロセス記述ライブラリの作成
- 実行可能な形式仕様言語Cafe OBJの開発
- 代数的仕様記述言語CafeOBJ