Design for Trustworthy Software: Tools, Techniques, and Methodology of Developing Robust Software

The software development process doesn't prevent bugs; it merely puts off dealing with them until the end of the project.

Peter Amey

Good (software) design ought to keep errors out in the first place.

Philip Ross