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 divide-and-rule 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