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

DOI10.1016/J.IJAR.2012.07.006MaRDI QIDQ2375349zbMATH OpenOpenAlexFDO

Authors Kedian Mu, J. Hong, Zhi Jin, Weiru Liu

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

redundancyincompletenessrequirements engineeringinconsistency handlingnon-canonical requirements

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2202202
• SOFSEM 2005: Theory and Practice of Computer Science
• A priority-based negotiations approach for handling inconsistencies in multi-perspective software requirements
• Handling Inconsistency In Distributed Software Requirements Specifications Based On Prioritized Merging
• Advances in Artificial Intelligence – SBIA 2004

Cited in

(12)

• Handling Conflicts in Aspectual Requirements Compositions
• scientific article; zbMATH DE number 2202202 (Why is no real title available?)
• Identifying roles of formulas in inconsistency under Priest's minimally inconsistent logic of paradox
• Measuring inconsistency with constraints for propositional knowledge bases
• SOFSEM 2005: Theory and Practice of Computer Science
• Responsibility for inconsistency
• AI 2005: Advances in Artificial Intelligence
• Advances in Artificial Intelligence – SBIA 2004
• A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite
• Approaches to measuring inconsistency for stratified knowledge bases
• Enhancing goal-based requirements consistency: an argumentation-based approach
• Policy-based inconsistency management in relational databases

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2375349)