{"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00069626","sets":["1164:1384:6059:6111"]},"path":["6111"],"owner":"10","recid":"69626","title":["モデル検査のための設計モデル構築手法に関する考察"],"pubdate":{"attribute_name":"公開日","attribute_value":"2010-05-25"},"_buckets":{"deposit":"7df12b18-8c54-4d40-822a-8889ada12968"},"_deposit":{"id":"69626","pid":{"type":"depid","value":"69626","revision_id":0},"owners":[10],"status":"published","created_by":10},"item_title":"モデル検査のための設計モデル構築手法に関する考察","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"モデル検査のための設計モデル構築手法に関する考察"},{"subitem_title":"On Modeling Method for Software Design Verification using Model Checking Techniques","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"モデルベース設計技術","subitem_subject_scheme":"Other"}]},"item_type_id":"4","publish_date":"2010-05-25","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"早稲田大学"}]},"item_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Waseda 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/69626/files/IPSJ-SE10168009.pdf"},"date":[{"dateType":"Available","dateValue":"2012-05-25"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-SE10168009.pdf","filesize":[{"value":"666.6 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":"6f161803-07f1-4999-afcd-cd81b59de487","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2010 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":"Tomoji, Kishi","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":"Model checking techniques are considered to be promising approaches for software design verification, but we need careful application of the techniques in order to verify software design effectively. In this paper, we examine the issues in software design modeling, and propose a verification oriented design modeling techniques.","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"6","bibliographic_titles":[{"bibliographic_title":"研究報告ソフトウェア工学（SE）"}],"bibliographicPageStart":"1","bibliographicIssueDates":{"bibliographicIssueDate":"2010-05-25","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"9","bibliographicVolumeNumber":"2010-SE-168"}]},"relation_version_is_last":true,"weko_creator_id":"10"},"updated":"2025-01-21T23:51:16.090838+00:00","created":"2025-01-18T23:29:02.761895+00:00","links":{},"id":69626}