Better known in the industry as CleanroomSoftwareEngineering.