A software development approach aimed at producing software with the minimum number of errors.