| 
|
QuoteRef: hallA9_1990
topics >
all references >
ThesaHelp:
references g-h
Group:
requirement specification
Topic:
specification is infeasible
Topic:
good requirement specifications
Reference
Hall, A., "Seven myths of formal methods", IEEE Software, pp. 11-19, September 1990. Google
17 ;;Quote: formal specification took about 30% of total effort
17+;;Quote: the specification phase is difficult to manage because progress is hard to measure
17+;;Quote: once a specification problem is understood, progress is rapid and the specification becomes smaller
18 ;;Quote: during the specification stage, must recognize that specifications will change in the implementation stage
19 ;;Quote: formal specification finds and nearly eliminates certain errors, forces you to think hard about the system, and are practical
ThesaHelp: references g-h (299 items)
Group: requirement specification (11 topics, 306 quotes)
Topic: specification is infeasible (46 items)
Topic: good requirement specifications (36 items)