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

Bibliographic Item (1.0)

MooreKlinkerMihelcic99
  1. Andrew P Moore & J eic Klinker & David M Mihelcic
  2. How to Construct Formal Arguments that Persuade Certifiers
  3. In [HincheyBowen99] pp285-314
  4. =EXPERIENCE PROOF REFINEMENT SQA V&V SCR Statemate CSP EVES Verdi Ada VADS GSN SAM SESAME OzWeb TABULAR LITEATE SPECIFICATION SECURITY SED/SEC
  5. GSN::graphic='Goal Structuring Notation', semantic net of Goals, assumptions, strategies, justifications, and choices. Used to develop assurance strategies.
  6. (Fig13.1 assurance argument framework): 6 layers of specification each with tools and languages and kinds of proofs.
  7. Higher levels of abstraction use process algebra and lower levels model based languages. Bottom level uses testing and test coverage on modules.
  8. (Fig13.2 Flow of literate specification): lit. spec. is input to tangle and weave. weave generates hard copy and tangle drives analysis and testing tools generating hypertext evidence.

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]