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
Margaret H. Hamilton · IEEE Spectrum · 1986
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.