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

Bibliographic Item (1.0)


  1. Michael Huth
  2. Mathematics for the Exploration of Requirements
  3. ACM SIGCSE Bulletin V36n2(Jun 2004)pp34-39
  4. =EXAMPLE Uncertain Mathematical Specifications Alloy TOOL =CASESTUDY .NET cache
  5. =ADVERT 2nd edition [HuthRyan00] [ http://www.cis.ksu.edu/~huth/lics/ ]
  6. Checking Specifications for inconsistency and to see if they meet goals and objectives.
  7. Shows that tools & languages for requirements drive discussions rather than solve problems. Some tools will generate spurious diagnostics.

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]