集合に基づく形式的言語を使ったソフトウェア仕様の記述形態について

• Item type: SIG Technical Reports(1)
• 公開日: 1992-02-06
• タイトル: 集合に基づく形式的言語を使ったソフトウェア仕様の記述形態について
• タイトル / 言語: en
• タイトル: A Classification of Software Specification Styles for Set Based Language
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: （株）日立製作所システム開発研究所
• 著者所属: （株）日立製作所システム開発研究所
• 著者所属(英): en
• 著者所属(英): Systems Development Laboratory, Hitachi, Lid.
• 著者所属(英): en
• 著者所属(英): Systems Development Laboratory, Hitachi, Lid.
• 著者名: 来間啓伸; 大槻, 繁
• 著者名(英): Hironobu, Kuruma; Shigeru, OtsukiU
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: ソフトウェアの開発に関わる人々は，仕様を通じて意図の明確化と伝達を行なう．ところが，仕様の記述形態は，対象のどのような性質に注目し，それをどのように表現するかによって異なり，記述者固有の暗黙の前提に依存する．ここでは，対象を把握するための構成概念として「情報」「ふるまい」「個体」の3つの概念をとりあげ，これらの視点から，形式的言語を使った仕様の記述形態を特徴付ける．記述言語にはZを用い，その言語要素を構成概念の点からとらえ直す．単純化した仕様化概念の下に記述形態を位置付けることで，仕様の結合，組み替え技術を構築する基盤を与えることができる．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In the process of software development, developers at each stage communicate with each other by specifications, Today, specification languages with rigidly defined syntax and semantics are proposed to establish precise communication. However, one's specification style depends on the properties he notices and the way to represent them. In this paper, we classify the specification styles on the basis of three components, "information", "behaviour" and "individual". Three specification examples corresponding to each component are shown in Z, a formal language based on set theory and first-order logic. By classifying specification styles under these simple concepts, the basic framework for constructing and restructuring specifications could be provided.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112981
• 書誌情報: 情報処理学会研究報告ソフトウェア工学（SE）; 巻 1992, 号 10(1991-SE-083), p. 97-104, 発行日 1992-02-06
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会