Controlling Requirements Evolution: An Avionics Case Study
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
Revising Nonmonotonic Theories: The Case of Defeasible Logic
KI '99 Proceedings of the 23rd Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
On the Dynamics of Default Reasoning
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Operational anomalies as a cause of safety-critical requirements evolution
Journal of Systems and Software
Event-Based Traceability for Managing Evolutionary Change
IEEE Transactions on Software Engineering
A tutorial on default reasoning
The Knowledge Engineering Review
Reasoning about inconsistencies in natural language requirements
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Metamodeling Approach for Reasoning about Requirements
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Amoeba: A methodology for modeling and evolving cross-organizational business processes
ACM Transactions on Software Engineering and Methodology (TOSEM)
Coordinated software development: a framework for reasoning about trace links in software systems
INES'09 Proceedings of the IEEE 13th international conference on Intelligent Engineering Systems
Semantics of trace relations in requirements models for consistency checking and inferencing
Software and Systems Modeling (SoSyM)
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
Evolving requirements in socio-technical systems: concepts and practice
ER'11 Proceedings of the 30th international conference on Conceptual modeling
Empirical Software Engineering
Managing software requirements changes based on negotiation-style revision
Journal of Computer Science and Technology - Special issue on Community Analysis and Information Recommendation
Agile requirements evolution via paraconsistent reasoning
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Requirements-driven software evolution
Computer Science - Research and Development
Hi-index | 0.00 |
We present a logical framework for modeling and reasoning about the evolution of requirements. We demonstrate how a sufficiently rich meta level logic can formally capture intuitive aspects of managing changes to requirements models, while maintaining completeness and consistency. We consider a theory as the deductive closure of a given set of axioms and conclude that software engineering is concerned, in essence, with, building and managing large theories. This theory construction commences with the development of the requirements model which we view as a theory of some nonmonotonic logic. Requirements evolution then involves the mapping of one such theory to another. Exploiting the deductive power of the theory of belief revision and nonmonotonic reasoning we develop a formal description of this mapping, as well as the requirements engineering process itself. This work thus offers a rigorous approach to reasoning about requirements evolution and a important focus for defining semantically well founded methods and tools for the effective management of changing requirements.