Zero defect software

This text reviews existing software development methods and the problems of zero-defect programs. It covers subjects such as manual and automated error detection, computer aided software engineering, artificial intelligence and software testing techniques.