Recording the reasons for design decisions
ICSE '88 Proceedings of the 10th international conference on Software engineering
Supporting Systems Development by Capturing Deliberations During Requirements Engineering
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
ICSE '91 Proceedings of the 13th international conference on Software engineering
Managing Conflicts in Goal-Driven Requirements Engineering
IEEE Transactions on Software Engineering
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Connections between default reasoning and partial constraint satisfaction
Information Sciences: an International Journal
Knowledge-Based Software Development for Real-Time Distributed Systems
Knowledge-Based Software Development for Real-Time Distributed Systems
Representing and Using Nonfunctional Requirements: A Process-Oriented Approach
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Inconsistency Handling in Multiperspective Specifications
IEEE Transactions on Software Engineering
A Framework for Reasoning about Requirements Evolution
PRICAI '96 Proceedings of the 4th Pacific Rim International Conference on Artificial Intelligence: Topics in Artificial Intelligence
Specifying Over-Constrained Problems in Default Logic
Over-Constrained Systems
Analyzing Inconsistent Specifications
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
Formal Tools for Managing Inconsistency and Change in RE
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Dealing with known unknowns: towards a game-theoretic foundation for software requirement evolution
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Hi-index | 0.00 |
This paper presents a formal framework that addresses the twin problems of inconsistencies in requirements specifications and requirements evolution. We present techniques (building on results from the areas of default reasoning and belief revision) for identifying maximal consistent subsets of a specification rendered inconsistent by a change step, with provision for retaining requirements that would be otherwise discarded, in anticipation of their future reuse. We identify the need for consistent application of requirements rationale and provide support for this in our framework. We observe that while the problem of requirements evolution is intractable in the general case, tractable special cases exist within our framework. We also provide pointers to designing tools based on this framework.