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

Bibliographic Item (1.0)

JacksonD06a

  1. Daniel Jackson
  2. Software Abstractions: Logic, Language, and Analysis
  3. The MIT Press Cambridge MA 2006 ISBN 0262101149 CR 0802-0116 0806-0536 , rev edn 2012 ISBN 0262017156 CR 1211-1092 1212-1193
  4. =TEXT Alloy LIGHT FORMAL MODEL CHECKING METHODS TOOLS
  5. A neat way of finding bugs in specifications and requirements.
  6. Small_scope_hypothesis::=Most bugs have small counterexamples.
  7. Notes the difficulty of creating consistent formal models that have the desired properties.
  8. Alloy::language=a formal first order relational logic expressed in ASCII with tools in Java.
  9. Alloy_examples::= See http://softwareabstractions.org.
  10. Alloy_analyzer::= See http://alloy.mit.edu.

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]