{"id":9854,"updated":"2025-01-23T03:09:28.425407+00:00","links":{},"created":"2025-01-18T22:44:57.513787+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00009854","sets":["581:599:604"]},"path":["604"],"owner":"1","recid":"9854","title":["コンテキストベース・プロダクトライン開発とVDM++の適用"],"pubdate":{"attribute_name":"公開日","attribute_value":"2007-08-15"},"_buckets":{"deposit":"b5c3a250-d652-4e85-9d29-9ffc4b304d63"},"_deposit":{"id":"9854","pid":{"type":"depid","value":"9854","revision_id":0},"owners":[1],"status":"published","created_by":1},"item_title":"コンテキストベース・プロダクトライン開発とVDM++の適用","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"コンテキストベース・プロダクトライン開発とVDM++の適用"},{"subitem_title":"A Context-based Product Line Approach Using VDM++","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"特集：ソフトウェア工学の理論と実践","subitem_subject_scheme":"Other"}]},"item_type_id":"2","publish_date":"2007-08-15","item_2_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"九州工業大学情報工学部"},{"subitem_text_value":"九州工業大学大学院情報工学研究科"},{"subitem_text_value":"九州工業大学大学院情報工学研究科"},{"subitem_text_value":"国立情報学研究所アーキテクチャ科学研究系"},{"subitem_text_value":"情報処理推進機構ソフトウェア・エンジアリング・センター"}]},"item_2_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Faculty of Computer Science and Systems Engineering, Kyushu Institute of Technology","subitem_text_language":"en"},{"subitem_text_value":"Graduate School of Computer Science and Systems Engineering, Kyushu Institute of Technology","subitem_text_language":"en"},{"subitem_text_value":"Graduate School of Computer Science and Systems Engineering, Kyushu Institute of Technology","subitem_text_language":"en"},{"subitem_text_value":"Information Systems Architecture Research Division, National Institute of Informatics","subitem_text_language":"en"},{"subitem_text_value":"Software Engineering Center, Information-Technology Promotion Agency","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"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/9854/files/IPSJ-JNL4808003.pdf"},"date":[{"dateType":"Available","dateValue":"2009-08-15"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-JNL4808003.pdf","filesize":[{"value":"420.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":"8"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"94057acf-bf02-49e3-862e-112fbadf4e2d","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2007 by the Information Processing Society of Japan"}]},"item_2_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"鵜林尚靖"},{"creatorName":"金川, 太俊"},{"creatorName":"瀬戸, 敏喜"},{"creatorName":"中島, 震"},{"creatorName":"平山, 雅之"}],"nameIdentifiers":[{}]}]},"item_2_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Naoyasu, Ubayashi","creatorNameLang":"en"},{"creatorName":"Hirotoshi, Kanagawa","creatorNameLang":"en"},{"creatorName":"Toshiki, Seto","creatorNameLang":"en"},{"creatorName":"Shin, Nakajima","creatorNameLang":"en"},{"creatorName":"Masayuki, Hirayama","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_2_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN00116647","subitem_source_identifier_type":"NCID"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_6501","resourcetype":"journal article"}]},"item_2_source_id_11":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"1882-7764","subitem_source_identifier_type":"ISSN"}]},"item_2_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"本論文では，コンテキストを考慮した組み込みシステム向けプロダクトライン開発手法を提案する．現状では主にシステム構成をどうするかという立場からプロダクトラインが定義されるため，システムとコンテキストの組合せによっては想定外の欠陥が生じる場合がある．本論文では，このような問題を解決するため，システムラインとコンテキストラインの2 つからプロダクト仕様を構成する方法を提案する．また，プロダクトラインの仕様をVDM++により記述する方法，およびそれらの妥当性確認方法を示す．","subitem_description_type":"Other"}]},"item_2_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"We propose a new product line development method that takes into account the contexts of embedded systems. Most of the current approaches focus on the system configuration only. Unexpected defects might be found in a system due to conflicting combinations of the system and its contexts. In order to deal with this issue, we propose a method for constructing product specifications composed of both system and context lines. Additionally we show how to describe and validate the product line specifications using VDM++.","subitem_description_type":"Other"}]},"item_2_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"2507","bibliographic_titles":[{"bibliographic_title":"情報処理学会論文誌"}],"bibliographicPageStart":"2492","bibliographicIssueDates":{"bibliographicIssueDate":"2007-08-15","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"8","bibliographicVolumeNumber":"48"}]},"relation_version_is_last":true,"item_2_alternative_title_2":{"attribute_name":"その他タイトル","attribute_value_mlt":[{"subitem_alternative_title":"ソフトウェアプロダクトライン開発"}]},"weko_creator_id":"1"}}