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

Bibliographic Item (1.0)

GervasiNuseibeh02

  1. Vincenzo Gervasi & Bashar Nuseibeh
  2. Lightweight validation of natural language requirements
  3. Software - Practice & Experience V32n2(Feb 2002)pp113-133
  4. =CASESTUDY LITE FORMAL V&V REQUIREMENTS LOGIC NASA
  5. Shows how lightweight formalism can find errors in natural language specifications.
  6. This is easy and not expensive, and finds subtle errors.

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]