ACM references a-e
specification is infeasible
program proving is infeasible
"Computer system reliability and nuclear war",
Communications of the ACM, 30, 2, pp. 112-131, February 1987.
|123 ;;Quote: the most intractable problem in constructing complex software is specifying what it should do; what if an event is not anticipated?|
|123+;;Quote: instead of 'proof of correctness', should use 'proof of relative consistency'|
|123+;;Quote: the Ballistic Missile System Early Warning System failed because of the rising moon|
|123 ;;Quote: critical specification questions lie inherently outside of formal systems; e.g., Did we forget an event? Will the system act as we expect?
ThesaHelp: ACM references a-e (259 items)
ThesaHelp: references a-b (396 items)
Topic: specification is infeasible (46 items)
Topic: program proving is infeasible (46 items)
Topic: bugs (65 items)