Zero-defect software: The elusive goal: It is theoretically possible but difficult to achieve; logic and interface errors are most common, but errors in user intent may also occur

After briefly describing how software errors occur, the author surveys the methods and tools currently in use for improving software reliability. The steps required in developing zero-defect software are then outlined. The way in which formal definitions can improve productivity is discussed, as is the problem still posed by user intent.