Title :
A requirements engineering process model based on defaults and revisions
Author_Institution :
Fac. of Inf. Technol., Univ. of Technol., Sydney, NSW, Australia
Abstract :
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
Keywords :
belief maintenance; formal logic; nonmonotonic reasoning; software engineering; systems analysis; artificial intelligence; belief revision; default reasoning; formal framework; nonmonotonic logic; requirements engineering process model; requirements modelling; Application software; Australia; Energy management; Information technology; Logic; Power engineering and energy; Problem-solving; Productivity; Programming; Spirals;
Conference_Titel :
Database and Expert Systems Applications, 2000. Proceedings. 11th International Workshop on
Conference_Location :
London
Print_ISBN :
0-7695-0680-1
DOI :
10.1109/DEXA.2000.875143
