高信頼性・生産性組込みソフトウェア設計手法に関する調査研究

抄録

　本調査研究では形式検証の設計検証への活用のために、要求工学、ソフトウェアプロダクトライン開発、モデル駆動開発等設計にかかわる領域に焦点を当て、最新の技術動向を調査した。それにより、開発を通じてどのようなモデリング技術・形式化技術を用いるかという開発全体の枠組みの検討が、今後一層必要であると判断された。