| 
|
QuoteRef: millHD9_1987
topics >
all references >
ThesaHelp:
references m-o
Topic:
programming without errors
Topic:
Cleanroom software development
Topic:
quality assurance
Topic:
incremental development
Group:
program proving
Reference
Mills, H.D., Dyer, M., Linger, R.C., "Cleanroom software engineering", IEEE Software, 4, 5, September 1987, pp. 19-24. Google
20 ;;Quote: Cleanroom focus on error prevention by formal design methods and mathematics-based verification; halves error rate
21 ;;Quote: Cleanroom develops software incrementally with statistical quality control; if too many errors then improve process
22 ;;Quote: verify large programs in terms of sets, functions, stacks and queues; not arrays and programs
ThesaHelp: references m-o (268 items)
Topic: programming without errors (28 items)
Topic: Cleanroom software development (38 items)
Topic: quality assurance (20 items)
Topic: incremental development (74 items)
Group: program proving (10 topics, 310 quotes)