2026-03-16T02:32:37Z https://ipsj.ixsq.nii.ac.jp/oai

oai:ipsj.ixsq.nii.ac.jp:00013925 2025-01-23T01:01:25Z 581:755:763

実行可能仕様 構造指向型システムのための実行可能な仕様記述言語 An Executable Specification Language for Structure Oriented Systems 今泉, 貴史 権藤, 克彦 萩原, 威志 松塚, 貴英 片山, 卓也 Takashi, Imaizumi Katsuhiko, Gondow Takeshi, Hagiwara Takahide, Matsutsuka Takuya, Katayama 特集：ソフトウェア開発における仕様記述法とその適用 ラピッドプロトタイピングにおいては、抽象度の高い実行可能な仕様記述言語が、大きな役割を演じる。本論文では、仕様を実際に動作させることのできる記述言語である計算モデルOOAGについて述べる。OOAGは、属性文法に対してシステムの動的な側面も記述できるようにオブジェクト指向の拡張を行ったモデルである。また、実際にOOAGを用いてUNIXファイルシステムを記述することにより、OOAGが構造指向型システムを記述する能力を有することを確認した。 journal article 1995-05-15 application/pdf 情報処理学会論文誌 5 36 1126 1137 1882-7764 AN00116647 https://ipsj.ixsq.nii.ac.jp/record/13925/files/IPSJ-JNL3605010.pdf jpn