- 著者
-
本間 毅寛
- 出版者
- 一般社団法人電子情報通信学会
- 雑誌
- 電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学
- 巻号頁・発行日
- vol.93, no.30, pp.11-16, 1993-05-19
仕様の分析・定義といった工程を大幅に合理化・標準化する可能性を提供する形式仕様の手法を普及させることは今日の重要な課題である。OBJは代数仕様の手法に基づいたシステムであり、現在までに既に幾つかの実験的処理系が作成され、これらの考え方が実際に実現可能であることが明らかになっている。本研究ではOBJを基に、その実用化に向けて幾つかの側面から基盤を政備する予でである。本稿ではその内容を報告する。