[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

Parnasetal94

  1. David Lorge Parnas & Jan Madey & Michal Iglewski
  2. Precise Documentation of Well Structured Programs
  3. IEEE Trans SE VSE-20n12(Dec 1994)pp949-976
  4. =EXPERIENCE RISKS TABULAR RELATION DOCUMENTATION V&V
  5. The Darlington Project: verify safety of large atomic reactor shutdown program
  6. Use tables not symbolic logic.
  7. Specify the Before-After relationship and the conditions when it will not fail to terminate.
  8. a_display::=Net{ this_part_s_spec:specification; this_part_s_structure:structure; components:#specification}, shows what you need to validate a part. [ Parnasetal94.html ]

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]