高信頼ソフトウェア領域

抄録

2009年度の高信頼ソフトウェア領域の活動概要につして、大規模化、複雑化が進む情報システムの開発技術として、欠陥の挿入の抑止から製品の検証と妥当性確認に関する技法及び手法などについて紹介する。