Applying AI Techniques to Requirements Engineering: The NATURE Prototype

Requirements Engineering (RE) is a critical part of software engineering. Within the NATURE (Novel Approaches to Theories Underlying Requirements Engineering) project we have devoloped and implemented& five theories which are based on AI techniques for supporting and improving the requirements engineering process. For making the results comparable we have used the well known library example [Wing 1990]. Our contibution demonstrates that • requirements engineering can be essentially improved by applying AI techniques • combining AI techniques has positive synergy effects on requirements engineering

[1]  Martin Doerr,et al.  Repositories for Software Reuse: The Software Information Base , 1993, Information System Development Process.

[2]  Neil A. M. Maiden,et al.  Requirements critiquing using domain abstractions , 1994, Proceedings of IEEE International Conference on Requirements Engineering.

[3]  Olly Gotel,et al.  An analysis of the requirements traceability problem , 1994, Proceedings of IEEE International Conference on Requirements Engineering.

[4]  Sudhir K. Arora,et al.  Schema Translation Using the Entity-Relationship Approach , 1981, ER.

[5]  Janis A. Bubenko,et al.  Theories underlying requirements engineering: an overview of NATURE at Genesis , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.

[6]  Janis A. Bubenko,et al.  Requirements Engineering: An Integrated View of Representation, Process, and Domain , 1993, ESEC.

[7]  T. Biggerstaff,et al.  Reusability Framework, Assessment, and Directions , 1987, IEEE Software.

[8]  Shamkant B. Navathe,et al.  Abstracting Relational and Hierarchical Data with a Semantic Data Model , 1987, International Conference on Conceptual Modeling.

[9]  Paul Thagard,et al.  Analogical Mapping by Constraint Satisfaction , 1989, Cogn. Sci..

[10]  Panos Constantopoulos,et al.  Similarity for Analogical Software Reuse: A Conceptual Modelling Approach , 1993, CAiSE.

[11]  Charles W. Bachman.  A Personal Chronicle: Creating Better Information Systems, with Some Guiding Principles , 1989, IEEE Trans. Knowl. Data Eng..

[12]  Panos Constantopoulos,et al.  Similarity for Analogical Software Reuse: A Computational Model , 1994, ECAI.

[13]  Peretz Shoval,et al.  Database Reverse Engineering: From the Relational to the Binary Relationship model , 1993, Data Knowl. Eng..

[14]  Paul Johannesson,et al.  A method for transforming relational schemas into conceptual schemas , 1989, Proceedings of 1994 IEEE 10th International Conference on Data Engineering.

[15]  Matthias Jarke,et al.  Telos: representing knowledge about information systems , 1990, TOIS.

[16]  Richard C. Waters,et al.  The Requirements Apprentice: Automated Assistance for Requirements Acquisition , 1991, IEEE Trans. Software Eng..

[17]  Johann A. Makowsky,et al.  Identifying Extended Entity-Relationship Object Structures in Relational Schemas , 1990, IEEE Trans. Software Eng..

[18]  Gruia-Catalin Roman,et al.  A taxonomy of current issues in requirements engineering , 1985, Computer.

[19]  Jeannette M. Wing.  A specifier's introduction to formal methods , 1990, Computer.

[20]  Henri Briand,et al.  From Minimal Cover to Entity-Relationship Diagram , 1987, ER.

[21]  Malú Castellanos,et al.  Semantic enrichment of database schemes: an object oriented approach , 1991, [1991] Proceedings. First International Workshop on Interoperability in Multidatabase Systems.

[22]  Martin S. Feather,et al.  Coping with Requirements Freedom , 1991 .

[23]  Colette Rolland,et al.  Using Artificial Inteligence Techniques to Formalize the Information System Design Process , 1990, DEXA.

[24]  Brian Falkenhainer,et al.  The Structure-Mapping Engine: Algorithm and Examples , 1989, Artif. Intell..

[25]  B. Ramesh,et al.  Issues in the development of a requirements traceability model , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.

[26]  Neil A. M. Maiden,et al.  Exploiting reusable specifications through analogy , 1992, CACM.

[27]  Manfred A. Jeusfeld,et al.  Anderungskontrolle in deduktiven Objektbanken , 1992 .

[28]  K. Branting,et al.  Building Explanations from Rules and Structured Cases , 1991, Int. J. Man Mach. Stud..

[29]  Neil A. M. Maiden,et al.  Analysing the Novice Analyst: Cognitive Models in Software Engineering , 1992, Int. J. Man Mach. Stud..

[30]  Gerhard Fischer,et al.  Cognitive View of Reuse and Redesign , 1987, IEEE Software.

[31]  Colette Rolland,et al.  Information Systems Design: An Expert System Approach , 1988, DS-3.

[32]  Bertrand Meyer,et al.  On Formalism in Specifications , 1985, IEEE Software.

[33]  James A. Hendler,et al.  Computing similarity in a reuse library system: an AI-based approach , 1992, TSEM.