{"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00081075","sets":["1164:1384:6715:6716"]},"path":["6716"],"owner":"11","recid":"81075","title":["実行順序依存性のある状態遷移表に対する動作理解支援手法"],"pubdate":{"attribute_name":"公開日","attribute_value":"2012-03-08"},"_buckets":{"deposit":"b4991c46-e58b-4c2f-aa5b-75757f447c2f"},"_deposit":{"id":"81075","pid":{"type":"depid","value":"81075","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 Support Method for Understanding Actions from State Transition Matrix Having Execution Order Dependency","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":"株式会社日立製作所横浜研究所"},{"subitem_text_value":"クラリオン株式会社製品開発統括部"},{"subitem_text_value":"株式会社日立製作所横浜研究所"},{"subitem_text_value":"株式会社日立製作所横浜研究所"},{"subitem_text_value":"株式会社日立製作所横浜研究所"}]},"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/81075/files/IPSJ-SE12175009.pdf"},"date":[{"dateType":"Available","dateValue":"2014-03-08"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-SE12175009.pdf","filesize":[{"value":"585.1 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":"a77175a0-26bf-454b-a10d-7db40538406d","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":"古家, 直樹"},{"creatorName":"山岸, 正知"},{"creatorName":"鈴木, 康文"},{"creatorName":"川上, 真澄"},{"creatorName":"小川, 秀人"}],"nameIdentifiers":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Naoki, Furuya","creatorNameLang":"en"},{"creatorName":"Masatomo, Yamagishi","creatorNameLang":"en"},{"creatorName":"Yasufumi, Suzuki","creatorNameLang":"en"},{"creatorName":"Masumi, Kawakami","creatorNameLang":"en"},{"creatorName":"Hideto, Ogawa","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":"A State transition matrix is widely used in software development since it can exhaustively describe the specification of software and avoid misspecification. However, it is difficult to understand intuitively each action sequence from a state transition matrix, especially if it has an execution order dependency. We suggest a support method for understanding actions, which is based on creating each action sequence from the state transition matrix.","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":"2012-03-08","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"9","bibliographicVolumeNumber":"2012-SE-175"}]},"relation_version_is_last":true,"weko_creator_id":"11"},"id":81075,"updated":"2025-01-21T19:30:16.892220+00:00","links":{},"created":"2025-01-18T23:35:23.471446+00:00"}