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

Bibliographic Item (1.0)

HunterNuseibeh97

  1. Anthony Hunter & Bashar Nuseibeh
  2. Analysing Inconsistent Specifications [RE'97] pp78-86
  3. =FORMAL REQUIREMENTS LOGIC
  4. REQUIREMENTS LOGIC must not include ex falso quodlibet and should track all inferences from stated requirements to conclusions and so aid diagnosis of inconsistencies
  5. QC::="Quasi Classical Logic"

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]