{"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00190441","sets":["1164:1384:9436:9522"]},"path":["9522"],"owner":"11","recid":"190441","title":["要求文書からの信頼性要求の抽出と検証"],"pubdate":{"attribute_name":"公開日","attribute_value":"2018-07-11"},"_buckets":{"deposit":"34e89650-836f-4994-8891-74a7361a329b"},"_deposit":{"id":"190441","pid":{"type":"depid","value":"190441","revision_id":0},"owners":[11],"status":"published","created_by":11},"item_title":"要求文書からの信頼性要求の抽出と検証","author_link":["435709","435705","435708","435707","435704","435706"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"要求文書からの信頼性要求の抽出と検証"},{"subitem_title":"Derivation and Verification Method of Reliability Requirements","subitem_title_language":"en"}]},"item_type_id":"4","publish_date":"2018-07-11","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"立命館大学／（株）ファンコミュニケーションズ"},{"subitem_text_value":"立命館大学"},{"subitem_text_value":"立命館大学"}]},"item_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Ritsumeikan University / F@N Communications, Inc.","subitem_text_language":"en"},{"subitem_text_value":"Ritsumeikan University","subitem_text_language":"en"},{"subitem_text_value":"Ritsumeikan University","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/190441/files/IPSJ-SE18199028.pdf","label":"IPSJ-SE18199028.pdf"},"date":[{"dateType":"Available","dateValue":"2020-07-11"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-SE18199028.pdf","filesize":[{"value":"920.7 kB"}],"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":"a3842487-af08-42d8-b0c1-992925e2f021","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2018 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"山田, さつき"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"大森, 隆行"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"大西, 淳"}],"nameIdentifiers":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Satsuki, Yamada","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Takayuki, Omori","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Atsushi, Ohnishi","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_source_id_11":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"2188-8825","subitem_source_identifier_type":"ISSN"}]},"item_4_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"非機能要求が正しく記述されていることを確認することはソフトウェア開発において重要である．ここでは信頼性に焦点を当て，ソフトウェア要求文書から信頼性要求に関わる検索キーワードを定め，それらのキーワードによって信頼性要求が漏れなく検索できることを確認する．また検索された信頼性要求の無矛盾性 ・ 非冗長性 ・ 非曖昧性 ・ 完全性を格構造に基づいて検証する手法を提案し，例題を用いて提案手法を説明する．","subitem_description_type":"Other"}]},"item_4_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"It is very important to certify the correctness of non-functional requirements in software development. In this paper, we focus on reliability requirements. By retrieving reliability requirements from software requirements documents using keywords related to reliability requirements, we can correctly get reliability requirements. Retrieved requirements will be checked using requirements frame model in order to verify the consistency, the non-redundancy, the unambiguity and the completeness of the requirements. Our method will be illustrated with examples","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"8","bibliographic_titles":[{"bibliographic_title":"研究報告ソフトウェア工学（SE）"}],"bibliographicPageStart":"1","bibliographicIssueDates":{"bibliographicIssueDate":"2018-07-11","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"28","bibliographicVolumeNumber":"2018-SE-199"}]},"relation_version_is_last":true,"weko_creator_id":"11"},"id":190441,"updated":"2025-01-20T01:13:33.617241+00:00","links":{},"created":"2025-01-19T00:56:24.487633+00:00"}