{"id":157992,"updated":"2025-01-20T13:08:59.156363+00:00","links":{},"created":"2025-01-19T00:31:47.128215+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00157992","sets":["1164:1384:8614:8615"]},"path":["8615"],"owner":"11","recid":"157992","title":["プロブレムフレームに基づく状態マシン仕様の自動生成について"],"pubdate":{"attribute_name":"公開日","attribute_value":"2016-03-07"},"_buckets":{"deposit":"d3150973-75e5-4d10-950e-38f0aed86c8e"},"_deposit":{"id":"157992","pid":{"type":"depid","value":"157992","revision_id":0},"owners":[11],"status":"published","created_by":11},"item_title":"プロブレムフレームに基づく状態マシン仕様の自動生成について","author_link":["300533","300532","300531","300534"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"プロブレムフレームに基づく状態マシン仕様の自動生成について"},{"subitem_title":"Synthesis of State Machine Specification based on the Problem Frames","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"形式仕様","subitem_subject_scheme":"Other"}]},"item_type_id":"4","publish_date":"2016-03-07","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":"Graduate School of Information Environment, Tokyo Denki University","subitem_text_language":"en"},{"subitem_text_value":"Graduate School of Information Environment, Tokyo Denki 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/157992/files/IPSJ-SE16191010.pdf","label":"IPSJ-SE16191010.pdf"},"date":[{"dateType":"Available","dateValue":"2018-03-07"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-SE16191010.pdf","filesize":[{"value":"851.4 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":"60dda8ac-0246-40fe-8fb8-cf19e3caf404","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2016 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":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Kyoko, Ichikawa","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Osamu, Shigo","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":"In development of embedded systems, developers have to not only meet the specifications of the system, but also comprehend all things of the environment which affect the system. This paper proposes the method of automatically synthesizing the state machine specification which consists of all possible transitions.","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":"2016-03-07","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"10","bibliographicVolumeNumber":"2016-SE-191"}]},"relation_version_is_last":true,"weko_creator_id":"11"}}