This Project's

Inconsistency Management

Theme: Requirements Engineering

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