[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Fiona Polack
- A Case Study using Lightweight formalism to Review an Information System Specification
- Software - Practice & Experience V31n8(10 Jul 2001)pp757-780
- =CASESTUDY V&V SPECIFICATION SAZ Z SSADM Ordnance Survey UK
- Lightweight formal review can detect many problems: unmet requirements, inconsistencies, contradictions, ambiguity, ...
- Original documents generated 100page Z+text +questions review.
- Uncovered missing constraints, ambiguities, conflicts, inconsistencies, ...
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]