Program testing can be a very effective way to show the presence of bugs, but is hopelessly inadequate for showing their absence.
The Humble Programmer, ACM Turing Lecture 1972
Edsger Dijkstra Frases famosas
The introduction of suitable abstractions is our only mental aid to reduce the appeal to enumeration, to organize and master complexity.
Selected writings on computing: a personal perspective - página 2, Edsger Wybe Dijkstra - Springer-Verlag, 1982, ISBN 0387906525, 9780387906522 - 362 páginas
Computer science is no more about computers than astronomy is about telescopes, biology is about microscopes or chemistry is about beakers and test tubes. Science is not about tools, it is about how we use them and what we find out when we do.
Fellows, M.R., and Parberry, I., "SIGACT trying to get children excited about CS", January 1993, Computing Research News.
Atribuídas
Edsger Dijkstra: Frases em inglês
1970s, How do we tell truths that might hurt? (1975)
Dijkstra (1988) " On the cruelty of really teaching computing science http://www.cs.utexas.edu/users/EWD/transcriptions/EWD10xx/EWD1036.html (EWD1036).
1980s
1970s, How do we tell truths that might hurt? (1975)
1970s, The Humble Programmer (1972)
1970s, How do we tell truths that might hurt? (1975)
Dijkstra (2001), in an interview with Philip L. Frana. (OH 330; Communications of the ACM 53(8):41–47)
2000s
Dijkstra (1968) " A Case against the GO TO Statement http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD215.PDF" cited in: Bill Curtis (1981) Tutorial, human factors in software development. p. 109.
1960s
whatever that may be
Dijkstra (1993) "From my Life" http://www.cs.utexas.edu/users/EWD/transcriptions/EWD11xx/EWD1166.html (EWD 1166).
1990s
Dijkstra (1988) " On the cruelty of really teaching computing science http://www.cs.utexas.edu/users/EWD/transcriptions/EWD10xx/EWD1036.html (EWD1036).
1980s
Very.
Dijkstra (1994) "The strengths of the academic enterprise" http://www.cs.utexas.edu/users/EWD/transcriptions/EWD11xx/EWD1175.html (EWD 1175).
1990s
Dijkstra (1972) The Humble Programmer http://www.cs.utexas.edu/users/EWD/transcriptions/EWD03xx/EWD340.html (EWD340).
1970s
Unknown date
Dijkstra (1979) My hopes of computing science http://www.cs.utexas.edu/users/EWD/transcriptions/EWD07xx/EWD709.html (EWD 709).
1970s
“Several people have told me that my inability to suffer fools gladly is one of my main weaknesses.”
Dijkstra (1978) The pragmatic engineer versus the scientific designer http://www.cs.utexas.edu/users/EWD/transcriptions/EWD06xx/EWD690.html (EWD 690).
1970s
1970s, The Humble Programmer (1972)
Dijkstra (1975) Comments at a Symposium http://www.cs.utexas.edu/users/EWD/transcriptions/EWD05xx/EWD512.html (EWD 512).
1970s
Dijkstra (1998) https://www.cs.utexas.edu/users/vl/notes/dijkstra.html
1990s
1970s, How do we tell truths that might hurt? (1975)
Dijkstra (1970) " Notes On Structured Programming http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD249.PDF" (EWD249), Section 3 ("On The Reliability of Mechanisms"), p. 7.
1970s
Dijkstra (1988) " On the cruelty of really teaching computing science http://www.cs.utexas.edu/users/EWD/transcriptions/EWD10xx/EWD1036.html (EWD1036).
1980s
1970s, How do we tell truths that might hurt? (1975)
1970s, How do we tell truths that might hurt? (1975)
“On Our Inability To Do Much.”
Dijkstra (1972) "Structured Programming", Chapter title in O.J. Dahl, E.W. Dijkstra, and C.A.R. Hoare. Academic Press, 1972 ISBN 0122005503.
1970s
Dijkstra (1982) as cited in: Douglas Schuler, Douglas Schuler Jonathan Jacky (1989) Directions and Implications of Advanced Computing, 1987. Vol 1, p. 84.
1980s
Dijkstra (1986) Visuals for BP's Venture Research Conference http://www.cs.utexas.edu/users/EWD/transcriptions/EWD09xx/EWD963.html (EWD 963).
1980s
1970s, The Humble Programmer (1972)
1960s