WEKO3
アイテム
コンテキストベース・プロダクトライン開発とVDM++の適用
https://ipsj.ixsq.nii.ac.jp/records/9854
https://ipsj.ixsq.nii.ac.jp/records/9854ae3e3732-4cdc-4218-a6d3-8637389f007f
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-JNL4808003.pdf (420.3 kB)
|
Copyright (c) 2007 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Journal(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2007-08-15 | |||||||
| タイトル | ||||||||
| タイトル | コンテキストベース・プロダクトライン開発とVDM++の適用 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | A Context-based Product Line Approach Using VDM++ | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 特集：ソフトウェア工学の理論と実践 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | journal article | |||||||
| その他タイトル | ||||||||
| その他のタイトル | ソフトウェアプロダクトライン開発 | |||||||
| 著者所属 | ||||||||
| 九州工業大学情報工学部 | ||||||||
| 著者所属 | ||||||||
| 九州工業大学大学院情報工学研究科 | ||||||||
| 著者所属 | ||||||||
| 九州工業大学大学院情報工学研究科 | ||||||||
| 著者所属 | ||||||||
| 国立情報学研究所アーキテクチャ科学研究系 | ||||||||
| 著者所属 | ||||||||
| 情報処理推進機構ソフトウェア・エンジアリング・センター | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Faculty of Computer Science and Systems Engineering, Kyushu Institute of Technology | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Graduate School of Computer Science and Systems Engineering, Kyushu Institute of Technology | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Graduate School of Computer Science and Systems Engineering, Kyushu Institute of Technology | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Information Systems Architecture Research Division, National Institute of Informatics | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Software Engineering Center, Information-Technology Promotion Agency | ||||||||
| 著者名 |
鵜林尚靖
金川, 太俊
瀬戸, 敏喜
中島, 震
平山, 雅之
× 鵜林尚靖 金川, 太俊 瀬戸, 敏喜 中島, 震 平山, 雅之
|
|||||||
| 著者名(英) |
Naoyasu, Ubayashi
Hirotoshi, Kanagawa
Toshiki, Seto
Shin, Nakajima
Masayuki, Hirayama
× Naoyasu, Ubayashi Hirotoshi, Kanagawa Toshiki, Seto Shin, Nakajima Masayuki, Hirayama
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 本論文では，コンテキストを考慮した組み込みシステム向けプロダクトライン開発手法を提案する．現状では主にシステム構成をどうするかという立場からプロダクトラインが定義されるため，システムとコンテキストの組合せによっては想定外の欠陥が生じる場合がある．本論文では，このような問題を解決するため，システムラインとコンテキストラインの2 つからプロダクト仕様を構成する方法を提案する．また，プロダクトラインの仕様をVDM++により記述する方法，およびそれらの妥当性確認方法を示す． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 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++. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN00116647 | |||||||
| 書誌情報 |
情報処理学会論文誌 巻 48, 号 8, p. 2492-2507, 発行日 2007-08-15 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1882-7764 | |||||||
