独立検証及び妥当性確認と形式手法がもたらす
ソフトウェア開発プロセスの高信頼化

抄録

　重要なシステムの事故が後を絶たない。このため、ソフトウェアの独立検証及び妥当性確認（IV&V^※1）が注目されている。本稿では、ソフトウェア独立検証及び妥当性確認の重要性を示すと共に、形式手法が持つ客観性がIV&Vでも必要になることを示す。また我が国における独立検証及び妥当性確認の先駆的な事例を紹介し、これらの事例に共通する「ソフトウェア開発プロセス改革」の核心を明らかにする。