This Project's

Inconsistency Management

Theme: Requirements Engineering


CRC_InconsistencyManagement_logo.gif
We focus on the specification and analysis of requirements expressed formally and informally. We have developed and used formal analysis techniques such as abductive reasoning, inductive learning, and techniques drawn from natural language processing for managing inconsistency and ambiguity. Contact: Bashar Nuseibeh