Analyzing inconsistent specifications

Proceedings of the IEEE International Conference on Requirements Engineering

Volumn , Issue , 1997, Pages 78-86

  Hunter, Anthony ^a   Nuseibeh, Bashar ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED ANALYSIS; FORMAL LOGIC; FUZZY SETS; KNOWLEDGE ACQUISITION;

LABELLED QUASI CLASSICAL (QC) LOGIC;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0030836889     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (29)