Th QuoteRef: parnDL8

QuoteRef: parnDL8_1984

topics > all references > ThesaHelp: references p-r

Topic:
decision table
Topic:
design documentation
Topic:
requirement specification by diagrams

Reference

Parnas, D.L., "Inspection of safety-critical software using program-function tables", Proceedings of the IFIP World Congress 1994, III, August 1994, pp. 270-277. Google

Other Reference

p. 371-382 in Hoffman, D.M., Weiss, D.M. (eds.), Software Fundamentals. Collected Papers of David L. Parnas, Boston: Addison-Wesley, 2001

Notes

Part of licensing process for the Darlington (Canada) Nuclear Power Generating Station, safety shutdown systems

Quotations

375 ;;Quote: use tables of mathematical expressions for practical, precise definitions; each cell defines a specific case

Related Topics

Topic: decision table (29 items)
Topic: design documentation (43 items)
Topic: requirement specification by diagrams (27 items)