From inconsistency handling to non-canonical requirements management: a logical perspective

DOI10.1016/j.ijar.2012.07.006zbMath1266.68092OpenAlexW2100243047MaRDI QIDQ2375349

Weiru Liu, Zhi Jin, Jun Hong, Kedian Mu

Publication date: 13 June 2013

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ijar.2012.07.006

zbMATH Keywords

redundancyincompletenessinconsistency handlingrequirements engineeringnon-canonical requirements

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (5)

Measuring inconsistency with constraints for propositional knowledge bases ⋮ A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite ⋮ Responsibility for inconsistency ⋮ Policy-based inconsistency management in relational databases ⋮ Approaches to measuring inconsistency for stratified knowledge bases

This page was built for publication: From inconsistency handling to non-canonical requirements management: a logical perspective