{"updated":"2025-01-21T15:52:59.561924+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00090665","sets":["1164:2822:7101:7102"]},"path":["7102"],"owner":"11","recid":"90665","title":["アーキテクチャ指向開発における形式手法の適用に関する考察"],"pubdate":{"attribute_name":"公開日","attribute_value":"2013-03-06"},"_buckets":{"deposit":"1a719553-087b-4e8e-bf2e-0e05cacb482b"},"_deposit":{"id":"90665","pid":{"type":"depid","value":"90665","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 Discussion of Applying Formal Methods to Architecture Oriented Development","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"組込みソフトウェア開発","subitem_subject_scheme":"Other"}]},"item_type_id":"4","publish_date":"2013-03-06","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"南山大学情報理工学部ソフトウェア工学科"},{"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/90665/files/IPSJ-EMB13028011.pdf"},"date":[{"dateType":"Available","dateValue":"2015-03-06"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-EMB13028011.pdf","filesize":[{"value":"898.0 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":"42"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"9cf9685a-a16a-499e-8d25-7c893f2ead82","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2013 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":"蜂巣, 吉成"},{"creatorName":"横森, 励士"}],"nameIdentifiers":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Han-myung, Chang","creatorNameLang":"en"},{"creatorName":"Masami, Noro","creatorNameLang":"en"},{"creatorName":"Atsushi, Sawada","creatorNameLang":"en"},{"creatorName":"Atsushi, Yoshida","creatorNameLang":"en"},{"creatorName":"Yoshinari, Hachisu","creatorNameLang":"en"},{"creatorName":"Reishi, Yokomori","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA12149313","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":"We aim to establish practical specification and verification methods for architecture oriented soft-ware development. We pay attention to behavioral specifications, functional specifications and refinement relations, and propose verification models in order to apply existing model checking and testing technologies to the development systematically. In this paper, architectural specifications and verifications of a simple vending machine are presented as a case study. The verification models will be used as practical guidelines for architectural specifications and verifications.","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"6","bibliographic_titles":[{"bibliographic_title":"研究報告組込みシステム（EMB）"}],"bibliographicPageStart":"1","bibliographicIssueDates":{"bibliographicIssueDate":"2013-03-06","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"11","bibliographicVolumeNumber":"2013-EMB-28"}]},"relation_version_is_last":true,"weko_creator_id":"11"},"created":"2025-01-18T23:40:10.050226+00:00","id":90665,"links":{}}