The cleanroom approach to quality software developmentde Michael DyerMateriasComputer softwareDevelopmentProgrammverifikationQualitätskontrolleSoftwareentwicklungProgrammatuurtechniekGénie logicielLogicielsDéveloppementSoftwareComputer software, development