@article{oai:sucra.repo.nii.ac.jp:00016553,
 author = {上野, 高元 and 松本, 倫子 and 吉田, 紀彦},
 journal = {埼玉大学地域オープンイノベーションセンター紀要, Report of Comprehensive Open Innovation Center, Saitama University},
 month = {},
 note = {This article presents a summary of joint research with Calsonic Kansei Corporation on the topic of specification methodology of in-vehicle software. Industrial embedded software, including in-vehicle software in particular, has a large variety of implementations under a single specification according to regional regulations, product grades, customer options and more. This research is to formalize each variation as a component which can be applied to a specification independently with each other. Using a modeling framework, MATLAB/Simulink, and a software engineering technique called “aspect oriented software”, we proved the ability of our approach on a practical in-vehicle software, “Auto Light System” provided by Calsonic Kansei Corporation., text, application/pdf},
 pages = {132--135},
 title = {車載向けソフト仕様書記述方式の研究と有効性実証},
 volume = {2},
 year = {2010},
 yomi = {ウエノ, タカモト and マツモト, ノリコ and ヨシダ, ノリヒコ}
}