[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Michael Huth
- Mathematics for the Exploration of Requirements
- ACM SIGCSE Bulletin V36n2(Jun 2004)pp34-39
- =EXAMPLE Uncertain Mathematical Specifications Alloy TOOL =CASESTUDY .NET cache
- =ADVERT 2nd edition
[ http://www.cis.ksu.edu/~huth/lics/ ]
- Checking Specifications for inconsistency and to see if they meet goals and objectives.
- 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 for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]