[CSUSB]>> [CNS]>> [Comp Sci Dept]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

Hall90

  1. Anthony Hall
  2. Seven Myths of Formal Methods
  3. IEEE Software V7n5(Sep 1990)pp11-19
  4. =EXPERIENCE FORMAL MYTHS
    1. FM:="Formal Methods".
    2. 1. FM can guarantee that software is perfect
    3. 2. FM are all about program proving
    4. 3. FM are only usefule for safety critical systems
    5. 4. FM require highly trained mathematicians
    6. 5. FM increase the cost of development
    7. 6. FM are unacceptable to users
    8. 7. FM are not used on real, largescale software
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]