Map
Index
Random
Help
th

QuoteRef: parnDL5_1988

topics > all references > ThesaHelp: references p-r



ThesaHelp:
references p-r
Topic:
requirement specification by function
Topic:
software documentation
Topic:
design documentation
Topic:
program proof via assertions

Reference

Parnas, D.L., van Schouwen, A.J., Kwan, S.P., "Evaluation standards for safety critical software", Technical Report 88-220, ISSN-0836-0227, Kingston Ontario, Queen's University, Department of Computing & Information Science, May 1988. Google

Quotations
20 ;;Quote: document program by displays that specify the program's function and specify the function of omitted sub-programs; short enough to understand
20 ;;Quote: verify a program by verifying each component separately, checking consistency of specifications, and checking the program's requirements
20 ;;Quote: specify a deterministic program by a mathematical function; use a tabular representation


Related Topics up

ThesaHelp: references p-r (245 items)
Topic: requirement specification by function (20 items)
Topic: software documentation (64 items)
Topic: design documentation (43 items)
Topic: program proof via assertions (61 items)

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