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

Bibliographic Item (1.0)

WilliamsL94
  1. Loyd G Williams
  2. Assessment of Safety-Critical Specifications
  3. IEEE Software magazine v11n1(Jan 1994)pp51-60
  4. =SURVEY FORMAL SPECIFICATION METHODS SCR VDM WLMS
  5. SCR:=Software Cost Reduction (Parnas!).
  6. VDM:=Viena Definition Method, after the VDL language for programming language semantics(IBM).
  7. WLMS:=Water-Level-Monitoring-System.
      Both had discrepancies, with SCR worst.
    1. *methods for safety-critical need well defined criteria for completeness and consistency
    2. *Putative Theorem Proving - worth while
    3. *Reviews are an effective means of detecting errors
    4. *A formal spec should include formal safety requirements
    5. *Case tools can eliminate simple syntactic errors.


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]