{"links":{},"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00059881","sets":["5471:5515:5516"]},"path":["5516"],"owner":"11","recid":"59881","title":["A Verification Method for Formal Requirements Description"],"pubdate":{"attribute_name":"公開日","attribute_value":"1985-02-05"},"_buckets":{"deposit":"7f54b4f2-3ca4-49b4-aa69-c3ea48780710"},"_deposit":{"id":"59881","pid":{"type":"depid","value":"59881","revision_id":0},"owners":[11],"status":"published","created_by":11},"item_title":"A Verification Method for Formal Requirements Description","author_link":["361342","361341","361343","361344","361340","361345"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"A Verification Method for Formal Requirements Description"},{"subitem_title":"A Verification Method for Formal Requirements Description","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"（IPSJ Best Paper Award、論文賞受賞）","subitem_subject_scheme":"Other"}]},"item_type_id":"5","publish_date":"1985-02-05","item_5_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"Department of Information Science  Kyoto University."},{"subitem_text_value":"Department of Information Science  Kyoto University."},{"subitem_text_value":"Department of Information Science  Kyoto University."}]},"item_5_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Department of Information Science, Kyoto University.","subitem_text_language":"en"},{"subitem_text_value":"Department of Information Science, Kyoto University.","subitem_text_language":"en"},{"subitem_text_value":"Department of Information Science, Kyoto University.","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"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/59881/files/IPSJ-JIP0704001.pdf","label":"IPSJ-JIP0704001"},"date":[{"dateType":"Available","dateValue":"1987-02-05"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-JIP0704001.pdf","filesize":[{"value":"852.0 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"0","billingrole":"5"},{"tax":["include_tax"],"price":"0","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"3cd15f97-8ab4-492d-8ba3-32efb32002bc","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 1985 by the Information Processing Society of Japan"}]},"item_5_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Kiyoshi, Agusa"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Atsushi, Ohnishi"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Yutaka, Ohno"}],"nameIdentifiers":[{}]}]},"item_5_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Kiyoshi, Agusa","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Atsushi, Ohnishi","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Yutaka, Ohno","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_5_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA00700121","subitem_source_identifier_type":"NCID"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_6501","resourcetype":"journal article"}]},"item_5_source_id_11":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"1882-6652","subitem_source_identifier_type":"ISSN"}]},"item_5_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"A verification method for a requirements description is proposed. For successful software development  correct  consistent and clear descriptions of requirements are indispensable. Many systems supporting the activities of requirements analysis  description  and management have been proposed and developed. They  however  afford only restricted analytic power  because of the limited semantic analysis abilities. That is  the flexibility and adaptability of a requirements description is obtained by a simple language structure and a certain part of meaning of the description depends on the meaning of a proper label used in the description. To provide all knowledge about a target system required for semantic analysis may not be feasible  since diversified applications of a computer system brings many kinds of terms and concepts into a requirements description. Our approach is to imply users to express their experiences and intentions about a target system as assertions. In this paper  we  first  give a formal model of a requirements description  and show how to verify requirements descriptions. Next  we present several types of verification procedures. They are feasibility check  consistency check and traceability check.","subitem_description_type":"Other"}]},"item_5_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"A verification method for a requirements description is proposed. For successful software development, correct, consistent and clear descriptions of requirements are indispensable. Many systems supporting the activities of requirements analysis, description, and management have been proposed and developed. They, however, afford only restricted analytic power, because of the limited semantic analysis abilities. That is, the flexibility and adaptability of a requirements description is obtained by a simple language structure and a certain part of meaning of the description depends on the meaning of a proper label used in the description. To provide all knowledge about a target system required for semantic analysis may not be feasible, since diversified applications of a computer system brings many kinds of terms and concepts into a requirements description. Our approach is to imply users to express their experiences and intentions about a target system as assertions. In this paper, we, first, give a formal model of a requirements description, and show how to verify requirements descriptions. Next, we present several types of verification procedures. They are feasibility check, consistency check and traceability check.","subitem_description_type":"Other"}]},"item_5_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"229","bibliographic_titles":[{"bibliographic_title":"Journal of Information Processing "}],"bibliographicPageStart":"223","bibliographicIssueDates":{"bibliographicIssueDate":"1985-02-05","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"4","bibliographicVolumeNumber":"7"}]},"relation_version_is_last":true,"weko_creator_id":"11"},"updated":"2025-01-20T06:33:52.723434+00:00","created":"2025-01-18T23:22:33.790285+00:00","id":59881}