平成22年度 戦略的基盘技术高度化支援事业.PDFVIP

平成２２年度　　戦略的基盤技術高度化支援事業 計画名 研究開発の要約 主たる技術 事業管理機関 法認定事業者 我が国のものづくり産業では、組込みソフトウェア開発量の爆発的増加によりソフトウェアに 北海道電子機器(株)＇北海道（ 形式的仕様記述を用いた高信頼ソ 起因する重大不具合が増加し、多大な社会損失を招いている。不具合の多くは仕様の曖昧 地方独立行政法人北海道立総合研 (株)ミクロスソフトウェア＇神奈川県（ フトウェア開発プロセスの研