WEKO3
アイテム
構造指向型システムのための実行可能な仕様記述言語
https://ipsj.ixsq.nii.ac.jp/records/13925
https://ipsj.ixsq.nii.ac.jp/records/139258fd48279-04a7-401e-8db9-1a4d75a8e7bc
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
Copyright (c) 1995 by the Information Processing Society of Japan
|
|
オープンアクセス |
Item type | Journal(1) | |||||||
---|---|---|---|---|---|---|---|---|
公開日 | 1995-05-15 | |||||||
タイトル | ||||||||
タイトル | 構造指向型システムのための実行可能な仕様記述言語 | |||||||
タイトル | ||||||||
言語 | en | |||||||
タイトル | An Executable Specification Language for Structure Oriented Systems | |||||||
言語 | ||||||||
言語 | jpn | |||||||
キーワード | ||||||||
主題Scheme | Other | |||||||
主題 | 特集:ソフトウェア開発における仕様記述法とその適用 | |||||||
資源タイプ | ||||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
資源タイプ | journal article | |||||||
その他タイトル | ||||||||
その他のタイトル | 実行可能仕様 | |||||||
著者所属 | ||||||||
東京工業大学情報理工学研究科計算工学専攻 | ||||||||
著者所属 | ||||||||
東京工業大学情報理工学研究科計算工学専攻 | ||||||||
著者所属 | ||||||||
東京工業大学工学部情報工学科 | ||||||||
著者所属 | ||||||||
東京工業大学情報理工学情報工学科計算工学専攻 | ||||||||
著者所属 | ||||||||
東京工業大学情報理工学研究科計算工学専攻/北陸先端科学技術大学院大学情報科学研究科 | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Department of Computer Science, Graduate School of Information Science and Engineering, Tokyo Institute of Technology | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Department of Computer Science, Graduate School of Information Science and Engineering, Tokyo Institute of Technology | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Department of Computer Science, Faculty of Engineering, Tokyo Institute of Technology | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Department of Computer Science, Graduate School of Information Science and Engineering, Tokyo Institute of Technology | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Department of Computer Science, Graduate School of Information Science and Engineering, Tokyo Institute of Technology/Japan Advanced Institute of Science and Technology | ||||||||
著者名 |
今泉, 貴史
権藤, 克彦
萩原, 威志
松塚, 貴英
片山, 卓也
× 今泉, 貴史 権藤, 克彦 萩原, 威志 松塚, 貴英 片山, 卓也
|
|||||||
著者名(英) |
Takashi, Imaizumi
Katsuhiko, Gondow
Takeshi, Hagiwara
Takahide, Matsutsuka
Takuya, Katayama
× Takashi, Imaizumi Katsuhiko, Gondow Takeshi, Hagiwara Takahide, Matsutsuka Takuya, Katayama
|
|||||||
論文抄録 | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | ラピッドプロトタイピングにおいては、抽象度の高い実行可能な仕様記述言語が、大きな役割を演じる。本論文では、仕様を実際に動作させることのできる記述言語である計算モデルOOAGについて述べる。OOAGは、属性文法に対してシステムの動的な側面も記述できるようにオブジェクト指向の拡張を行ったモデルである。また、実際にOOAGを用いてUNIXファイルシステムを記述することにより、OOAGが構造指向型システムを記述する能力を有することを確認した。 | |||||||
書誌レコードID | ||||||||
収録物識別子タイプ | NCID | |||||||
収録物識別子 | AN00116647 | |||||||
書誌情報 |
情報処理学会論文誌 巻 36, 号 5, p. 1126-1137, 発行日 1995-05-15 |
|||||||
ISSN | ||||||||
収録物識別子タイプ | ISSN | |||||||
収録物識別子 | 1882-7764 |