Managing inconsistent specifications: reasoning, analysis, and action
ACM Transactions on Software Engineering and Methodology (TOSEM)
Inconsistency Handling in Multiperspective Specifications
IEEE Transactions on Software Engineering
To Be and Not to Be: On Managing Inconsistency in Software Development
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Reasoning with inconsistency in structured text
The Knowledge Engineering Review
authUML: a three-phased framework to analyze access control specifications in use cases
Proceedings of the 2003 ACM workshop on Formal methods in security engineering
Information and Software Technology
Identifying Acceptable Common Proposals for Handling Inconsistent Software Requirements
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
On Temporal Properties of Knowledge Base Inconsistency
Transactions on Computational Science V
Inconsistency: the good, the bad, and the ugly
IRI'09 Proceedings of the 10th IEEE international conference on Information Reuse & Integration
Qualitative reasoning about consistency in geographic information
Information Sciences: an International Journal
Quantifying knowledge base inconsistency via fixpoint semantics
Transactions on computational science II
Measures of inconsistency and defaults
International Journal of Approximate Reasoning
An approach to generating proposals for handling inconsistent software requirements
KSEM'11 Proceedings of the 5th international conference on Knowledge Science, Engineering and Management
From inconsistency handling to non-canonical requirements management: A logical perspective
International Journal of Approximate Reasoning
Hi-index | 0.00 |