|
アマノ ノリキ
AMANO Noriki
天野 憲樹 所属 ノートルダム清心女子大学 情報デザイン学部 情報デザイン学科 職種 教授 |
|
| 言語種別 | 日本語 |
| 発行・発表の年月 | 2002/09 |
| 形態種別 | 研究論文（研究会，シンポジウム資料等） |
| 標題 | 代数仕様言語CafeOBJのための拡張可能な前処理系 |
| 執筆形態 | 共著 |
| 掲載誌名 | 情報処理学会・第1回情報科学技術フォーラム（FIT2002）, 一般講演論文集 第1分冊, 頁89-90 |
| 掲載区分 | 国内 |
| 著者・共著者 | 浅羽義之，中村正樹，天野憲樹，二木厚吉 |
| 概要 | 代数仕様言語CafeOBJは代数モデルにより形式的にソフトウェアの仕様を記述するための言語であり，高い記述能力を持つ．しかし，ターゲットとするソフトウェアの問題領域によっては仕様の記述が煩雑になり，仕様の可読性と保守性が損なわれるという問題が顕在化する．この問題に対処するため，本研究ではCafeOBJの構文を疑似的に拡張する前処理系を提案した．また，これを用いたCafeOBJの構文拡張についての具体的な方法についても検討した． |