Map
Index
Random
Help
th

QuoteRef: bornA2_1987

topics > all references > ThesaHelp: references a-b



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

Quotations
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?


Related Topics up

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)

Collected barberCB 3/87
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.