DocumentCode
2509344
Title
A requirements engineering process model based on defaults and revisions
Author
Zowghi, Didar
Author_Institution
Fac. of Inf. Technol., Univ. of Technol., Sydney, NSW, Australia
fYear
2000
fDate
2000
Firstpage
966
Lastpage
970
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Database and Expert Systems Applications, 2000. Proceedings. 11th International Workshop on
Conference_Location
London
ISSN
1529-4188
Print_ISBN
0-7695-0680-1
Type
conf
DOI
10.1109/DEXA.2000.875143
Filename
875143
Link To Document