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

Bibliographic Item (1.0)

Holzmann02

  1. Gerard J. Holzmann
  2. The Logic of Bugs
  3. SIGSOFT 2002/FSE 10 & ACM SIGSOFT Software Engineering Notes V27n6(Nov 2002)pp81-87
  4. online at [ 587051.587064 ]
  5. =Keynote BUGS V&V SQA MODEL CHECKING TOOLS NOTATIONS LOGIC GRAPHIC LTL SPIN TimeLineEditor
  6. Human fallibility: abut 12 errors in 13800 sentences in a typical NYTimes. Careful programmers have similar error rates(?).
  7. Argues that bugs evolve: the mutate and only some type survive.
  8. The weakest point is where the bugs are to be found.
  9. The weak point in model checking is the language used to specify requirements.
  10. Suggests using a graphic notation instead of a temporal logic.

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]