講演名 1993/5/19
実行可能な形式仕様言語Cafe OBJの開発
本間 毅寛,
PDFダウンロードページ PDFダウンロードページへ
抄録(和) 仕様の分析・定義といった工程を大幅に合理化・標準化する可能性を提供する形式仕様の手法を普及させることは今日の重要な課題である。OBJは代数仕様の手法に基づいたシステムであり、現在までに既に幾つかの実験的処理系が作成され、これらの考え方が実際に実現可能であることが明らかになっている。本研究ではOBJを基に、その実用化に向けて幾つかの側面から基盤を政備する予でである。本稿ではその内容を報告する。
抄録(英) Today it′s impartant problem to generaliyc formal mcthod may whi ch produces possifibity that rationalizc and standardizc the process to analyzc and difine of specification.OBJ is the possifle languagc system on method of argefranic spciefication technigue and up to the prescnt some systems mere already made.So it is qpparent that these thonghts ore possible. This rescarch work intends to adjnst the fasc from some sides for making practicable on OBJ.This essay reports its content.
キーワード(和) 代数仕様 / 実行可能
キーワード(英) formal methods / model theoretic semantics / algebraic specification / creeping formalism
資料番号 KBSE93-2
発行日

研究会情報
研究会 KBSE
開催期間 1993/5/19(から1日開催)
開催地(和)
開催地(英)
テーマ(和)
テーマ(英)
委員長氏名(和)
委員長氏名(英)
副委員長氏名(和)
副委員長氏名(英)
幹事氏名(和)
幹事氏名(英)
幹事補佐氏名(和)
幹事補佐氏名(英)

講演論文情報詳細
申込み研究会 Knowledge-Based Software Engineering (KBSE)
本文の言語 JPN
タイトル(和) 実行可能な形式仕様言語Cafe OBJの開発
サブタイトル(和)
タイトル(英) The development of practicrble formal specification language
サブタイトル(和)
キーワード(1)(和/英) 代数仕様 / formal methods
キーワード(2)(和/英) 実行可能 / model theoretic semantics
第 1 著者 氏名(和/英) 本間 毅寛 / Takehiro Honma
第 1 著者 所属(和/英) 情報処理振興事業協会
Information-technology Promotion Agency,Japan
発表年月日 1993/5/19
資料番号 KBSE93-2
巻番号(vol) vol.93
号番号(no) 30
ページ範囲 pp.-
ページ数 6
発行日