| 
|
QuoteRef: bornA2_1987
topics >
all references >
ThesaHelp:
ACM references a-e
ThesaHelp:
references a-b
Topic:
specification is infeasible
Topic:
program proving is infeasible
Topic:
bugs
Reference
Borning, A., "Computer system reliability and nuclear war", Communications of the ACM, 30, 2, pp. 112-131, February 1987. Google
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)