WEKO3
アイテム
日常的世界観にもとづく言語NAIVEによる実行可能な仕様記述
https://ipsj.ixsq.nii.ac.jp/records/22200
https://ipsj.ixsq.nii.ac.jp/records/22200d880f7f0-9303-4c57-ae61-5002fbd89e97
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-SE91083007.pdf (1.4 MB)
|
Copyright (c) 1992 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1992-02-06 | |||||||
| タイトル | ||||||||
| タイトル | 日常的世界観にもとづく言語NAIVEによる実行可能な仕様記述 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | The Specification Language NAIVE that is based on Everyday World View | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 富士通（株） | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| FUJITSU Ltd. | ||||||||
| 著者名 |
日野, 克重
× 日野, 克重
|
|||||||
| 著者名(英) |
Katsushige, Hino
× Katsushige, Hino
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 日常的世界観にもとづく実行可能な仕様記述言語NAIVEを提案する．当言語は，実世界を自然かつ直接的に記述することを目標とした言語である．本稿では，当言語について，その背後にある世界観，言語仕様，および記述例を中心に述べる． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | A executable specification language NAIVE is proposed. We can develop reactive and complicated software systems more easily using the language NAIVE. In this paper, the world view behind the language NAIVE, the language specification of NAIVE, and some examples of description in NAIVE are presented. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10112981 | |||||||
| 書誌情報 |
情報処理学会研究報告ソフトウェア工学（SE） 巻 1992, 号 10(1991-SE-083), p. 49-56, 発行日 1992-02-06 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
