WEKO3
アイテム
外部仕様のパラドックス : 問題点と対策の考察
http://hdl.handle.net/10487/1469
http://hdl.handle.net/10487/1469a73dcbbe-7a52-45fd-85b5-fe0087a7d83d
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
kana-2-3-0005.pdf (3.3 MB)
|
|
| Item type | 紀要論文 / Departmental Bulletin Paper(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2009-02-23 | |||||
| タイトル | ||||||
| タイトル | 外部仕様のパラドックス : 問題点と対策の考察 | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | external specification | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | specification description method | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | specification description language | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | formal semantics | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
| 資源タイプ | departmental bulletin paper | |||||
| 著者 |
野口, 健一郎
× 野口, 健一郎× Noguchi, Kenichiro |
|||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | The external specifications of information systems including software need to be provided in a clear manner to users and others, which would be an essential requirement for the sound advancement of information society. However, to realize it is not easy. In this paper the intrinsic problems of the definition of the external specifications of information systems are examined. I show that, for a usual information system which is not very simple, it is impossible to define its external specification without utilizing the internal structure of the system and that the ultimate definition results in a sort of implementation of the system. I call this characteristic as the paradox of external specification. Next I review how the paradox of external specification affects the actual activities in the following four areas-use of information systems, development of them, interoperation in the network environment, and standardization-and general characteristics are presented. Then the paper discusses the measures, which include the evolution and deployment of specification description techniques such as formal description ones, the improvement of the readability of source programs, and the development of external specifications whose semantics are easy to be understood. | |||||
| 書誌情報 |
Science Journal of Kanagawa University 巻 18, p. 27-36, 発行日 2007-05-25 |
|||||
| ISSN | ||||||
| 収録物識別子タイプ | ISSN | |||||
| 収録物識別子 | 1880-0483 | |||||
| 書誌レコードID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AA12068302 | |||||
| 著者版フラグ | ||||||
| 出版タイプ | VoR | |||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
| その他の言語のタイトル | ||||||
| その他のタイトル | Paradox of External Specification : A Consideration on its Problems and the Measures | |||||
| 出版者 | ||||||
| 出版者 | 神奈川大学 | |||||
