{"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00022206","sets":["1164:1384:1474:1481"]},"path":["1481"],"owner":"1","recid":"22206","title":["集合に基づく形式的言語を使ったソフトウェア仕様の記述形態について"],"pubdate":{"attribute_name":"公開日","attribute_value":"1992-02-06"},"_buckets":{"deposit":"211a7d18-ce92-45ed-a1be-cce03a8d5ef4"},"_deposit":{"id":"22206","pid":{"type":"depid","value":"22206","revision_id":0},"owners":[1],"status":"published","created_by":1},"item_title":"集合に基づく形式的言語を使ったソフトウェア仕様の記述形態について","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"集合に基づく形式的言語を使ったソフトウェア仕様の記述形態について"},{"subitem_title":"A Classification of Software Specification Styles for Set Based Language","subitem_title_language":"en"}]},"item_type_id":"4","publish_date":"1992-02-06","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"(株)日立製作所システム開発研究所"},{"subitem_text_value":"(株)日立製作所システム開発研究所"}]},"item_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Systems Development Laboratory, Hitachi, Lid.","subitem_text_language":"en"},{"subitem_text_value":"Systems Development Laboratory, Hitachi, Lid.","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/22206/files/IPSJ-SE91083013.pdf"},"date":[{"dateType":"Available","dateValue":"1994-02-06"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-SE91083013.pdf","filesize":[{"value":"1.1 MB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"12"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"ac826db7-646e-49cc-a72e-d4c192a72791","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 1992 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"来間啓伸"},{"creatorName":"大槻, 繁"}],"nameIdentifiers":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Hironobu, Kuruma","creatorNameLang":"en"},{"creatorName":"Shigeru, OtsukiU","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN10112981","subitem_source_identifier_type":"NCID"}]},"item_4_textarea_12":{"attribute_name":"Notice","attribute_value_mlt":[{"subitem_textarea_value":"SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc."}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_18gh","resourcetype":"technical report"}]},"item_4_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"ソフトウェアの開発に関わる人々は,仕様を通じて意図の明確化と伝達を行なう.ところが,仕様の記述形態は,対象のどのような性質に注目し,それをどのように表現するかによって異なり,記述者固有の暗黙の前提に依存する.ここでは,対象を把握するための構成概念として「情報」「ふるまい」「個体」の3つの概念をとりあげ,これらの視点から,形式的言語を使った仕様の記述形態を特徴付ける.記述言語にはZを用い,その言語要素を構成概念の点からとらえ直す.単純化した仕様化概念の下に記述形態を位置付けることで,仕様の結合,組み替え技術を構築する基盤を与えることができる.","subitem_description_type":"Other"}]},"item_4_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"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.","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"104","bibliographic_titles":[{"bibliographic_title":"情報処理学会研究報告ソフトウェア工学(SE) "}],"bibliographicPageStart":"97","bibliographicIssueDates":{"bibliographicIssueDate":"1992-02-06","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"10(1991-SE-083)","bibliographicVolumeNumber":"1992"}]},"relation_version_is_last":true,"weko_creator_id":"1"},"id":22206,"updated":"2025-01-22T20:58:49.918874+00:00","links":{},"created":"2025-01-18T22:53:56.577984+00:00"}