“There are two ways of constructing a software design: One way is to make it so simple that there are obviously no deficiencies, and the other way is to make it so complicated that there are no obvious deficiencies.”
Tony Hoare (verified)
“What is the central core of the subject [computer science]? What is it that distinguishes it from the separate subjects with which it is related? What is the linking thread which gathers these disparate branches into a single discipline? My answer to these questions is simple—it is the art of programming a computer.”
— Tony Hoare (verified)“The real value of tests is not that they detect bugs in the code, but that they detect inadequacies in the methods, concentration, and skills of those who design and produce the code.”
— Tony Hoare (verified)“I realised that both verification and testing were using the same technology—assertions—on a common goal of improving software products in their speed of delivery, their quality, and their reliability.”
— Tony Hoare (verified)“Inside every large program is a small program struggling to get out.”
— Tony Hoare (verified, secondary source)“Here is a language so far ahead of its time that it was not only an improvement on its predecessors but also on nearly all its successors.”
— Tony Hoare (verified)“The most important property of a program is whether it accomplishes the intentions of its user.”
— Tony Hoare (verified)“Many computer programs of the present day are of inordinate size—many thousands of pages of closely printed text. Mathematics has no tradition of dealing with expressions on this scale.”
— Tony Hoare (verified)Software Design Simplicity Quality Robustness Computer Science