Return to Article Details Using Abduction to Evolve Inconsistent Requirements Specification Download Download PDF