A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis
IEEE Transactions on Software Engineering - Special issue on software maintenance
Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification
IEEE Transactions on Software Engineering
Automated consistency checking of requirements specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
ICSE '91 Proceedings of the 13th international conference on Software engineering
Managing Conflicts in Goal-Driven Requirements Engineering
IEEE Transactions on Software Engineering
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
Management of Evolving Specifications using Category Theory
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
Analyzing Inconsistent Specifications
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
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
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
Agile requirements evolution via paraconsistent reasoning
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Hi-index | 0.00 |
Dealing with inconsistencies and change in requirements engineering is known to be a difficult problem. We propose a formal, integrated approach to inconsistency handling and requirements evolution with a focus on providing automated support. We define a novel representation scheme that is expressive and able to maintain several key semantic distinctions. Based on this scheme, we define a toolkit of inconsistency handling technique. We define a principled process for evolving such specifications, with minimal computational cost and user intervention. Finally, we describe the REFORM system, which implements some of these techniques.