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

Bibliographic Item (1.0)

Polack01

  1. Fiona Polack
  2. A Case Study using Lightweight formalism to Review an Information System Specification
  3. Software - Practice & Experience V31n8(10 Jul 2001)pp757-780
  4. =CASESTUDY V&V SPECIFICATION SAZ Z SSADM Ordnance Survey UK
  5. Lightweight formal review can detect many problems: unmet requirements, inconsistencies, contradictions, ambiguity, ...
  6. Original documents generated 100page Z+text +questions review.
  7. Uncovered missing constraints, ambiguities, conflicts, inconsistencies, ...

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]