講演名 | 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 |
発行日 |