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

Bibliographic Item (1.0)

HunterNuseibeh99

  1. Anthony Hunter & Bashar Nuseibeh
  2. Managing Inconsistent specifications: Reasoning, Analysis, and Action
  3. ACM ToSEM V7n4(May 1999)pp335-367
  4. =IDEA labelled QC Quine FORMAL LOGIC SPECIFICATION
  5. Label requirements and record deductions so that you can back track when inconsistent ones emerge. [QC]
  6. Compare with the way mathematicians handle inconsistencies in [Lakatos76].
  7. (dick)|-my MATHS notation uses
     		(reason, reason, ...)|-(label): statement.
    to record such connections but does not allow the same freedom in abandonning and adjusting the 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]