{"updated":"2025-01-21T19:30:19.061556+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00081076","sets":["1164:1384:6715:6716"]},"path":["6716"],"owner":"11","recid":"81076","title":["制御ソフトウェアの仕様整合性検証技術の調査と分析"],"pubdate":{"attribute_name":"公開日","attribute_value":"2012-03-08"},"_buckets":{"deposit":"2293ab25-cc9b-474c-afd1-58e15aa866fe"},"_deposit":{"id":"81076","pid":{"type":"depid","value":"81076","revision_id":0},"owners":[11],"status":"published","created_by":11},"item_title":"制御ソフトウェアの仕様整合性検証技術の調査と分析","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"制御ソフトウェアの仕様整合性検証技術の調査と分析"},{"subitem_title":"A Research on How to Verify Consistency between Specifications of Control Systems","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"仕様・測定","subitem_subject_scheme":"Other"}]},"item_type_id":"4","publish_date":"2012-03-08","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"三菱電機株式会社"}]},"item_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Mitsubishi Electric Corporation","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/81076/files/IPSJ-SE12175010.pdf"},"date":[{"dateType":"Available","dateValue":"2014-03-08"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-SE12175010.pdf","filesize":[{"value":"564.3 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":"64d39dbc-694e-4326-93e2-5b4ae9e283fd","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2012 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"大貫, 智洋"}],"nameIdentifiers":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Tomohiro, Onuki","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":"制御ソフトウェアの開発手法として,モデルベース開発の普及が進んでいる.モデルベース開発では実装コードを機械的に生成することが可能であるため,実装に誤りが混入する危険性は低い.その一方で,要求仕様や制御仕様の記述は人手により行っているため,誤りが混入しやすい.このような課題を解決するため,本論分では上流工程で仕様を正確に記述する手法について,調査・分析した.要求分析を正確に記述する手法,制御仕様を検証する手法についてまとめたのち,今後の課題を分析する.","subitem_description_type":"Other"}]},"item_4_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"Recently, Model-Based Development (MBD) is commonly adopted as a method of developing software for control systems. While MBD enables automatic code generation and prevents errors in the implementation process, requirements specifications and control specifications are still written by hand. This paper describes the result of my research on how to describe requirements specifications precisely and verify consistency between specifications.","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":"2012-03-08","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"10","bibliographicVolumeNumber":"2012-SE-175"}]},"relation_version_is_last":true,"weko_creator_id":"11"},"created":"2025-01-18T23:35:23.519924+00:00","id":81076,"links":{}}