Towards a framework for managing inconsistency between multiple views
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Managing Conflicts in Goal-Driven Requirements Engineering
IEEE Transactions on Software Engineering
Managing inconsistent specifications: reasoning, analysis, and action
ACM Transactions on Software Engineering and Methodology (TOSEM)
IEEE Transactions on Software Engineering
Behavioural Conflicts in a Causal Specification
Automated Software Engineering
Restructuring Requirements Specifications For Managing Inconsistency And Change: A Case Study
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
Handling Inconsistencies in Z Using Quasi-Classical Logic
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
On the Dynamics of Default Reasoning
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
A Formal Basis for Consistency, Evolution and Rationale Management in Requirements Engineering
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
Formal Tools for Managing Inconsistency and Change in RE
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
On the Consequences of Acting in the Presence of Inconsistency
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Reasoning with inconsistency in structured text
The Knowledge Engineering Review
Knowledge maintenance: the state of the art
The Knowledge Engineering Review
A tutorial on default reasoning
The Knowledge Engineering Review
Requirements engineering: In search of the dependent variables
Information and Software Technology
Model eco-systems: preliminary work
APCCM '08 Proceedings of the fifth Asia-Pacific conference on Conceptual Modelling - Volume 79
Proceedings of the 2006 International Conference on Privacy, Security and Trust: Bridge the Gap Between PST Technologies and Business Services
Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Hi-index | 0.00 |
In previous work we advocated continued development of specifications in the presence of inconsistency. To support this we presented quasi-classical (QC) logic for reasoning with inconsistent specifications. The logic allows the derivation of non-trivial classical inferences from inconsistent information. In this paper we present a development called labeled QC logic, and some associated analysis tools, that allows the tracking and diagnosis of inconsistent information. The results of analysis are then used to guide further development in the presence of inconsistency. We illustrate the logic and our tools by specifying and analyzing parts of the London Ambulance Service. We argue that the scalability of our approach is made possible by deploying the ViewPoints framework for multi-perspective development, such that our analysis tools are only used on partial specifications of a manageable size.