| 
|
QuoteRef: parnDL5_1988
topics >
all references >
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
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
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)