@article{oai:ipsj.ixsq.nii.ac.jp:00009854,
 author = {鵜林尚靖 and 金川, 太俊 and 瀬戸, 敏喜 and 中島, 震 and 平山, 雅之 and Naoyasu, Ubayashi and Hirotoshi, Kanagawa and Toshiki, Seto and Shin, Nakajima and Masayuki, Hirayama},
 issue = {8},
 journal = {情報処理学会論文誌},
 month = {Aug},
 note = {本論文では，コンテキストを考慮した組み込みシステム向けプロダクトライン開発手法を提案する．現状では主にシステム構成をどうするかという立場からプロダクトラインが定義されるため，システムとコンテキストの組合せによっては想定外の欠陥が生じる場合がある．本論文では，このような問題を解決するため，システムラインとコンテキストラインの2 つからプロダクト仕様を構成する方法を提案する．また，プロダクトラインの仕様をVDM++により記述する方法，およびそれらの妥当性確認方法を示す．, 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++.},
 pages = {2492--2507},
 title = {コンテキストベース・プロダクトライン開発とVDM++の適用},
 volume = {48},
 year = {2007}
}