No Silver Bullet
Friday, October 13th, 2006“More seriously, even perfect program verification can only establish that a program meets its specification. The hardest part of the software task is arriving at a complete and consistent specification, and much of the essence of building a program is in fact the debugging of the specification.”
Frederick P. Brooks, Jr.
No Silver Bullet: Essence and Accidents of Software Engineering
