Managing software requirements changes based on negotiation-style revision
Journal of Computer Science and Technology - Special issue on Community Analysis and Information Recommendation
| Hi-index | 0.00 |
In this paper requirements modelling is considered as the construction of logical theories of some nonmonotonic logic. Requirements evolution then involves the mapping of one such theory to another. Applying the deductive power of the theory of belief revision and default reasoning, both originally developed in artificial intelligence, this paper defines a formal framework for the management of changing requirements. This framework provides a simple yet complete model for requirement engineering process itself.