{"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00144901","sets":["6164:6165:6522:8327"]},"path":["8327"],"owner":"11","recid":"144901","title":["プロブレムフレームに基づく状態マシン仕様の設計支援システム"],"pubdate":{"attribute_name":"公開日","attribute_value":"2015-08-31"},"_buckets":{"deposit":"34288a93-7bb4-4d40-9f10-58307000afaa"},"_deposit":{"id":"144901","pid":{"type":"depid","value":"144901","revision_id":0},"owners":[11],"status":"published","created_by":11},"item_title":"プロブレムフレームに基づく状態マシン仕様の設計支援システム","author_link":["220726","220728","220729","220727"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"プロブレムフレームに基づく状態マシン仕様の設計支援システム"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"要求工学と形式手法","subitem_subject_scheme":"Other"}]},"item_type_id":"18","publish_date":"2015-08-31","item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_18_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"東京電機大学大学院情報環境学研究科"},{"subitem_text_value":"東京電機大学大学院情報環境学研究科"}]},"item_18_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_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/144901/files/IPSJ-SES2015019.pdf","label":"IPSJ-SES2015019.pdf"},"date":[{"dateType":"Available","dateValue":"2017-08-31"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-SES2015019.pdf","filesize":[{"value":"929.9 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":"f2eb56e2-c379-41ee-be9b-6b7a1f100581","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2015 by the Information Processing Society of Japan"}]},"item_18_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"市川, 杏子"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"紫合, 治"}],"nameIdentifiers":[{}]}]},"item_18_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_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_5794","resourcetype":"conference paper"}]},"item_18_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"組み込みシステムの開発において，開発者は，システムの仕様を満たすのみならず，それらの持つ外部環境についてももれなく把握しておく必要がある．本稿では，プロブレムフレームの考え方を用いて，ドメインプロパティと要求から，システムの仕様の状態マシンを自動的に生成する手法を提案する．また，提案手法に基づいた，状態マシン仕様の設計支援システムを開発した．","subitem_description_type":"Other"}]},"item_18_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"In development of embedded system, developers have to not only prevent the specifications of the system, but also comprehend things which are affected by the system. This paper proposes the method of creating the state machine design automatically from domain property and requirement. In addition, it develops state machine design support system based on the method. ","subitem_description_type":"Other"}]},"item_18_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"98","bibliographic_titles":[{"bibliographic_title":"ソフトウェアエンジニアリングシンポジウム2015論文集"}],"bibliographicPageStart":"91","bibliographicIssueDates":{"bibliographicIssueDate":"2015-08-31","bibliographicIssueDateType":"Issued"},"bibliographicVolumeNumber":"2015"}]},"relation_version_is_last":true,"weko_creator_id":"11"},"id":144901,"updated":"2025-01-20T18:36:48.184631+00:00","links":{},"created":"2025-01-19T00:20:37.511704+00:00"}