| 
|
QuoteRef: abraP12_1986
topics >
all references >
ThesaHelp:
ACM references a-e
ThesaHelp:
references a-b
Group:
engineering
Topic:
specification errors
Group:
testing
Topic:
programming without errors
Group:
program design
Topic:
error safe systems
Topic:
program proving is infeasible
Reference
Abrahams, P., "The role of failure in software design", Communications of the ACM, 29, 12, pp. 1129-1130, December 1986. Google
1129 ;;Quote: engineering failures are disproofs of design hypotheses
1129 ;;Quote: only through failure can engineers advance the state of the art; success alone gives insufficient information
1129 ;;Quote: the trade-off in structural engineering is been sufficient safety and economy
1130 ;;Quote: nothing can prove the absence of bugs; verification can not prevent failures from unforeseen causes
ThesaHelp: ACM references a-e (259 items)
ThesaHelp: references a-b (396 items)
Group: engineering (30 topics, 302 quotes)
Topic: specification errors (10 items)
Group: testing (18 topics, 551 quotes)
Topic: programming without errors (28 items)
Group: program design (13 topics, 453 quotes)
Topic: error safe systems (75 items)
Topic: program proving is infeasible (46 items)