ThesaHelp: references cd
Topic: computer as state machine
Topic: hardware vs. software
Topic: sensitivity of software to change
Topic: mathematical proof
Topic: programmers
Group: testing
Group: program proving
Topic: error safe systems
Topic: trust
 
Reference
Dijkstra, E.W.,
"EWD648 "Why is software so expensive?" An explanation to the hardware designer", pp. 338348, undated but written in 1977 or 1978, Dijkstra, E.W.,
Selected writings on computing: A personal perspective, New York, SpringerVerlag, 1982.
Google
Quotations
339+ ;;Quote: a computer hardware designer simulates discrete behavior by analog means
 339 ;;Quote: a computer hardware designer must use tolerances and statistical quality control
 339 ;;Quote: the idea of tolerances does not apply to software; the building blocks are absolute
 340 ;;Quote: a hardware designer must continually learn new technologies
 340 ;;Quote: while hardware components have evolved rapidly, the target artifact is largely constant
 340 ;;Quote: for software, the source components are largely stable, but the target artifacts keep changing
 342+ ;;Quote: both lemmas and subroutines separate proof/implementation from use
 342 ;;Quote: both mathematical proof and programming use divideandrule in breaking a proof/program into lemmas/subroutines
 342 ;;Quote: designing a mathematical theory requires experimentation with new notations and concepts
 342+ ;;Quote: a programmer should have mathematical skills
 342 ;;Quote: a programmer needs language skills to refine program concepts; Dijkstra's first selection criterion
 345 ;;Quote: trial and error testing is inadequate since programs are not continuous; must prove that programs meet requirements
 346 ;;Quote: the proper product of programming is arguments that a program is a trustworthy solution

Related Topics
ThesaHelp: references cd (337 items)
Topic: computer as state machine (20 items)
Topic: hardware vs. software (15 items)
Topic: sensitivity of software to change (44 items)
Topic: mathematical proof (23 items)
Topic: programmers (14 items)
Group: testing (18 topics, 551 quotes)
Group: program proving (10 topics, 310 quotes)
Topic: error safe systems (75 items)
Topic: trust (16 items)
