[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Vincenzo Gervasi & Bashar Nuseibeh
- Lightweight validation of natural language requirements
- Software - Practice & Experience V32n2(Feb 2002)pp113-133
- =CASESTUDY LITE FORMAL V&V REQUIREMENTS LOGIC NASA
- Shows how lightweight formalism can find errors in natural language specifications.
- This is easy and not expensive, and finds subtle errors.
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]