クリーンルームソフトウェアエンジニアリング

クリーンルームソフトウェアエンジニアリングは、1980年代にMills、Dyer、Lingerによって開発されたソフトウェア開発手法であり、デバッグではなく、形式仕様、コードレビュー、統計的テストを通じて欠陥の発生を防止することを重視しています。医薬品製造のクリーンルームに着想を得たこのアプローチは、ほぼゼロ欠陥での納品を目指しています。