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

Bibliographic Item (1.0)

Heitmeyer02

  1. Constance Heitmeyer
  2. Software Cost Reduction
  3. Center for High Assurance Computer Systems (CHACS) Publications 2002 [ 2002heitmeyer-encse.pdf ]
  4. =HISTORY PARNAS NRL SCR IDEAS NOTATIONS TOOLS TABULAR LOGIC NAT IN OUT REQ A-7E TAME REQUIREMENTS DESIGN MODULES
  5. @T(c)::=c becomes true,
  6. @F(c)::=c becomes false.
  7. SCR uses logic and tables to express very clearly what is expected of a new system.
  8. Software that monitors certain inputs and controls certain outputs.
  9. It uses a four variable model (NAT+REQ+IN+OUT) that distinguishes the assumed properties (NAT) from the requirements (REQ). IN and OUT specify tolerances.
  10. Software has modes. Tables relate modes and events. Finite State model.
  11. Human inspection for defects proved expensive and tools uncovered more defects afterwards.
  12. Tools include SPIN, TAME, PVS, Salsa, an invariant generator, .
  13. Usable subsets of requirements lead to the uses hierarchy, module guide, etc..
  14. Methods and tools applied to real projects to discover problems.
  15. Also see [HeitmeyerEtal98] [HeitmeyerKirbyLabaw97]

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]