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

Bibliographic Item (1.0)

JaspanEtAl09

  1. Ciera Jaspan & Michael Keeling & Larry Maccherone & Gabriel L. Zenarosa & Mary Shaw
  2. Software mythbusters explore formal methods
  3. IEEE Software Magazine V26n6(Nov/Dec 2009)pp60-63
  4. =REPORT DISCUSSION EXPERIENCE MYTHS FORMAL METHODS AGILE FSM LOGIC MATHEMATICS
  5. Reference a list [Hall90] of seven myths
  6. Formal methods are richer than in 1990.
  7. They are now used in requirements to get precision and understanding. They are embedded in tools and environments reducing the need for mathematical maturity.
  8. They enable communication and evolution and so support agility.
  9. An FSM model for understanding lead to better code.
  10. Must match the method to the problem cost-effectively.
  11. Formal methods are being domesticated.

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]