“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.”

Page 195.
No Silver Bullet (1986)

Adopted from Wikiquote. Last update June 3, 2021. History

Help us to complete the source, original and additional information

Do you have more details about the quote "Even perfect program verification can only establish that a program meets its specification. [… ] Much of the essence o…" by Fred Brooks?

Fred Brooks20

American computer scientist 1931

Related quotes

“One can even conjecture that Lisp owes its survival specifically to the fact that its programs are lists, which everyone, including me, has regarded as a disadvantage.”

John McCarthy (1927–2011) American computer scientist and cognitive scientist

John McCarthy, " History of Lisp http://www-formal.stanford.edu/jmc/lisp/lisp.html," 12 February 1979; republished at www-formal.stanford.edu. <br class="br">1970s

“57: It is easier to change the specification to fit the program than vice versa.”

Alan Perlis Epigrams on Programming

Epigrams on Programming, 1982

“Word and Excel and PowerPoint and other Microsoft programs have intimate — one might say promiscuous — knowledge of each others' internals. In Unix, one tries to design programs to operate not specifically with each other, but with programs as yet unthought of.”

Doug McIlroy (1932) American computer scientist, mathematician, engineer, and programmer

Doug McIlroy (2003). The Art of Unix Programming: The Elements of Operating-System Style http://www.catb.org/esr/writings/taoup/html/ch03s01.html

“Everyone knows that debugging is twice as hard as writing a program in the first place. So if you're as clever as you can be when you write it, how will you ever debug it?”

Brian W. Kernighan (1942) Canadian computer scientist

" The Elements of Programming Style https://en.wikipedia.org/wiki/The_Elements_of_Programming_Style", 2nd edition, chapter 2.

“This is generally true: any sizeable piece of program, or even a complete program package, is only a useful tool that can be used in a reliable fashion, provided that the documentation pertinent for the user is much shorter than the program text. If any machine or system requires a very thick manual, its usefulness becomes for that very circumstance subject to doubt!”

Edsger W. Dijkstra (1930–2002) Dutch computer scientist

Dijkstra, "On the reliability of programs" https://www.cs.utexas.edu/users/EWD/transcriptions/EWD03xx/EWD303.html (EWD 303). <br class="br">Unknown date

“For having a clear influence on methodologies for the creation of efficient and reliable software, and for helping to found the following important subfields of computer science: the theory of parsing, the semantics of programming languages, automatic program verification, automatic program synthesis, and analysis of algorithms.”

Robert Floyd (1936–2001) American computer scientist

1978 Turing Award Citation https://web.archive.org/web/20070708004814/http://awards.acm.org/citation.cfm?id=4173633&srt=all&aw=140&ao=AMTURING. <br class="br">About

“Power in Russia today is the power that's established, mounted. It arises anew and it's authoritarian in its technology, but not in its program. It doesn't know which one it wants to be and can be — this depends on its future programming by people, i. e. you.”

Gleb Pavlovsky (1951) Russian political scientist

"Сегодня власть в России — власть устанавливаемая, учредительная власть. Она возникает заново и авторитарна по технологии, но не по своей программе. Она еще не знает, какой хочет и может быть, — это зависит от будущего ее программирования людьми, то есть вами."

“Executable UML is at the next higher layer of abstraction, abstracting away both specific programming languages and decisions about the organization of the software so that a specification built in Executable UML can be deployed in various software environments without change.”

Stephen J. Mellor (1952) British computer scientist

Source: Executable Uml: A Foundation for Model-Driven Architecture, 2002, p. 5.

“Controlling complexity is the essence of computer programming.”

Brian W. Kernighan (1942) Canadian computer scientist

Software Tools (1976), p. 319 (with P. J. Plauger).

“Only we can be counted on to save our nation, and indigenous shipbuilding and airplane building programs will help establish the research and development capability of our national defense industry.”

Yen Teh-fa (1952) Taiwanese politician

Yen Teh-fa (2018) cited in " Taiwan losing military edge: US report http://www.taipeitimes.com/News/front/archives/2018/08/18/2003698716/2" on Taipei Times, 18 August 2018

“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.”

Help us to complete the source, original and additional information

Fred Brooks20

Related quotes

Related topics