| 
|
QuoteRef: gammRC10_1974
topics >
all references >
ThesaHelp:
references g-h
Topic:
program proving is infeasible
Topic:
specification errors
Topic:
distributed process control
Group:
testing
Reference
Gammill, R.C., "Software Reliability: Philosophical underpinnings", Santa Monica, California, Rand Corp, October 1974. Google
Other Reference
NTIS AD-A019 349
1 ;;Quote: consistent, closed, complete methods are limited for elucidating truth
1 ;;Quote: proof may show that a program matches its specifications, but does not tell if the specifications are correct
16 ;;Quote: non-hierarchical process structure may be more fault tolerant than hierarchical control
16 ;;Quote: reliability is only one of many desired properties; high reliability may cost too much
ThesaHelp: references g-h (299 items)
Topic: program proving is infeasible (46 items)
Topic: specification errors (10 items)
Topic: distributed process control (6 items)
Group: testing (18 topics, 551 quotes)