“Even perfect program verification can only establish that a program meets its specification…. Much of the essence of building a program is in fact the debugging of the specification.”
12.10.09 | Clean Code, Development Process, Programming, Project Management, Refactoring | Permalink