{"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00147574","sets":["6164:6165:7019:8496"]},"path":["8496"],"owner":"11","recid":"147574","title":["プロブレムフレームに基づくコントローラ生成の制約条件"],"pubdate":{"attribute_name":"公開日","attribute_value":"2016-01-28"},"_buckets":{"deposit":"2b76da37-d0e8-43ce-ab9a-f963357848e9"},"_deposit":{"id":"147574","pid":{"type":"depid","value":"147574","revision_id":0},"owners":[11],"status":"published","created_by":11},"item_title":"プロブレムフレームに基づくコントローラ生成の制約条件","author_link":["235234","235233","235235","235236"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"プロブレムフレームに基づくコントローラ生成の制約条件"},{"subitem_title":"Constraints for the Controller Synthesis in Problem Frames","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"要求工学","subitem_subject_scheme":"Other"}]},"item_type_id":"18","publish_date":"2016-01-28","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":"School of Information Environment, Tokyo Denki University","subitem_text_language":"en"},{"subitem_text_value":"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/147574/files/IPSJ-WWS2016606.pdf","label":"IPSJ-WWS2016606.pdf"},"date":[{"dateType":"Available","dateValue":"2018-01-28"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-WWS2016606.pdf","filesize":[{"value":"329.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":"468904a5-baf0-48b9-a093-8e556048f6b8","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2016 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":"Osamu, Shigo","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Kyoko, Ichikawa","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":"A controller synthesis method based on the problem frames with stable states and the relationship between an input event and a deferent domain state to generate the required controller is described.","subitem_description_type":"Other"}]},"item_18_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"78","bibliographic_titles":[{"bibliographic_title":"ウィンターワークショップ2016・イン・逗子 論文集"}],"bibliographicPageStart":"77","bibliographicIssueDates":{"bibliographicIssueDate":"2016-01-28","bibliographicIssueDateType":"Issued"},"bibliographicVolumeNumber":"2016"}]},"relation_version_is_last":true,"weko_creator_id":"11"},"id":147574,"updated":"2025-01-20T17:37:47.783274+00:00","links":{},"created":"2025-01-19T00:22:40.310384+00:00"}