Language features for flexible handling of exceptions in information systems
ACM Transactions on Database Systems (TODS)
Negotiation behavior during requirements specification
ICSE '90 Proceedings of the 12th international conference on Software engineering
Consistency in software system development: framework, model, techniques & tools
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
“Lazy” consistency: a basis for cooperative software development
CSCW '92 Proceedings of the 1992 ACM conference on Computer-supported cooperative work
A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification
IEEE Transactions on Software Engineering
Software process modelling and technology
Software process modelling and technology
Decentralised process enactment in a multi-perspective development environment
Proceedings of the 17th international conference on Software engineering
How to deal with deviations during process model enactment
Proceedings of the 17th international conference on Software engineering
ICSE '91 Proceedings of the 13th international conference on Software engineering
Inconsistency Handling in Multiperspective Specifications
IEEE Transactions on Software Engineering
Decentralised Process Modelling
EWSPT '95 Proceedings of the 4th European Workshop on Software Process Technology
Making Inconsistency Respectable: Part 2 - Meta-level handling of inconsistency
ECSQARU '93 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Quasi-classical Logic: Non-trivializable classical reasoning from incosistent information
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Basic Concepts and Issues in Fault-Tolerant Distributed Systems
Proceedings of the International Workshop on Operating Systems of the 90s and Beyond
Managing inconsistencies in an evolving specification
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
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 inconsistent specifications: reasoning, analysis, and action
ACM Transactions on Software Engineering and Methodology (TOSEM)
Handling Obstacles in Goal-Oriented Requirements Engineering
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Behavioural Conflicts in a Causal Specification
Automated Software Engineering
Guest Editorial: Introduction to the Special Section
IEEE Transactions on Software Engineering
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Agent-Oriented Modelling: Software versus the World
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
ViewPoints: meaningful relationships are difficult!
Proceedings of the 25th International Conference on Software Engineering
Requirements interaction management
ACM Computing Surveys (CSUR)
An Approach to Preserving Sufficient Correctness in Open Resource Coalitions
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Using XML to Build Consistency Rules for Distributed Specifications
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
Knowledge maintenance: the state of the art
The Knowledge Engineering Review
A tutorial on default reasoning
The Knowledge Engineering Review
Reasoning about inconsistencies in natural language requirements
ACM Transactions on Software Engineering and Methodology (TOSEM)
Information and Software Technology
Ontology-Based inconsistency management of software requirements specifications
SOFSEM'05 Proceedings of the 31st international conference on Theory and Practice of Computer Science
| Hi-index | 0.00 |
The development of software systems involves the detection and handling of inconsistencies. These inconsistencies arise in system requirements, design specifications and, quite often, in the descriptions that form the final implemented software product. This paper presents a critical review of approaches that explicitly tolerate and manage inconsistencies, and explores different kinds of inconsistencies that arise during different stages of software development. Managing inconsistency refers not only to the detection and removal of inconsistencies, but also to activities that facilitate continued development in their presence. Such activities include procedures for controlled amelioration or avoidance of inconsistency, which in turn may require analysis and reasoning in the presence of inconsistency.