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

Bibliographic Item (1.0)

CrowVito98

  1. Judith Crow & Ben Di Vito
  2. Formalizing Space Shuttle Software Requirements: Four CASE Studies
  3. ACM TOSEM V7n3(Jul 1998)pp215-249
  4. =ANALYSIS EXPERIENCE [PVS] GPS RAPID FORMAL LOGIC TABLE MATH MurΦ
    1. Where do states come from, shared variables used as input/output.
    2. Large number of errors discovered (early) just by formalizing requirements without checking!
    3. Need for readymade math theories: eg properties of mappings!
    4. Failed proofs are more help than successful ones.
    5. Specification is iterative.
    6. Need to specify constraints found in the problem domain.
    7. Can simplify model: remove continuous values and time and remove costraints. Therefore check some impossible states
    8. Tailor formal methods to the situation.


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]