Requirements engineering: a roadmap

This paper presents an overview of the field of software systems requirements engineering (RE). It describes the main areas of RE practice, and highlights some key open research issues for the future.

[1]  Dov M. Gabbay,et al.  Background : mathematical structures , 1992 .

[2]  Neil A. M. Maiden,et al.  ACRE: selecting methods for requirements acquisition , 1996, Softw. Eng. J..

[3]  Galal H. Galal-Edeen,et al.  Stakeholder identification in the requirements engineering process , 1999, Proceedings. Tenth International Workshop on Database and Expert Systems Applications. DEXA 99.

[4]  K. Popper,et al.  Conjectures and refutations;: The growth of scientific knowledge , 1972 .

[5]  Lawrence Chung,et al.  Dealing with Security Requirements During the Development of Information Systems , 1993, CAiSE.

[6]  Ian Sommerville,et al.  Social analysis in the requirements engineering process: from ethnography to method , 1999, Proceedings IEEE International Symposium on Requirements Engineering (Cat. No.PR00188).

[7]  Richard Stevens,et al.  Systems engineering : coping with complexity , 1998 .

[8]  Tom DeMarco,et al.  Complete Systems Analysis: The Workbook, the Textbook, the Answers , 1994 .

[9]  Eric S. K. Yu,et al.  Towards modelling and reasoning support for early-phase requirements engineering , 1997, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering.

[10]  J. F. M. Burg,et al.  Linguistic instruments in requirements engineering , 1996 .

[11]  Joachim Karlsson,et al.  A Cost-Value Approach for Prioritizing Requirements , 1997, IEEE Softw..

[12]  Stephen Fickas,et al.  Critiquing software specifications , 1988, IEEE Software.

[13]  Neil A. M. Maiden,et al.  Acquiring COTS Software Selection Requirements , 1998, IEEE Softw..

[14]  Bruce I. Blum,et al.  Beyond programming - to a new era of design , 1996 .

[15]  Robert S. Arnold,et al.  Software Change Impact Analysis , 1996 .

[16]  Pericles Loucopoulos,et al.  Enterprise Modelling and the Teleological Approach to Requirements Engineering , 1995, Int. J. Cooperative Inf. Syst..

[17]  Barry W. Boehm,et al.  Software Engineering Economics , 1993, IEEE Transactions on Software Engineering.

[18]  S. Easterbrook.  CSCW: Cooperation or Conflict? , 1993, Computer Supported Cooperative Work.

[19]  Keith H. Bennett,et al.  Software maintenance and evolution: a roadmap , 2000, ICSE '00.

[20]  Pamela Zave.  Classification of research efforts in requirements engineering , 1997, ACM Comput. Surv..

[21]  Suzanne Robertson,et al.  Mastering the Requirements Process , 1999 .

[22]  Sidney C. Bailin,et al.  Software Requirements Engineerings, 2nd Edition , 1997 .

[23]  A. Finkelstein,et al.  Software package requirements and procurement , 1996, Proceedings of the 8th International Workshop on Software Specification and Design.

[24]  Alan M. Davis,et al.  Operational prototyping: a new development approach , 1992, IEEE Software.

[25]  Donald A. Norman,et al.  Cognition in the Head and in the World: An Introduction to the Special Issue on Situated Action , 1993, Cogn. Sci..

[26]  寺岡 寛,et al.  Engineering Economics , 2018, Nature.

[27]  Robert Balzer,et al.  On the inevitable intertwining of specification and implementation , 1982, CACM.

[28]  Gerald Kotonya,et al.  Software Requirements Engineering , 1999 .

[29]  K. Popper,et al.  Conjectures and refutations;: The growth of scientific knowledge , 1972 .

[30]  Constance L. Heitmeyer,et al.  Automated consistency checking of requirements specifications , 1996, TSEM.

[31]  Marcello R. Napolitano,et al.  Experience in developing system requirements specification for a sensor failure detection and identification scheme , 1998, Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231).

[32]  Mark Saaltink,et al.  The Z/EVES System , 1997, ZUM.

[33]  B. Boehm.  Software risk management: principles and practices , 1991, IEEE Software.

[34]  Karen Holtzblatt,et al.  Requirements gathering: the human factor , 1995, CACM.

[35]  Robyn R. Lutz,et al.  Safety analysis of requirements for a product family , 1998, Proceedings of IEEE International Symposium on Requirements Engineering: RE '98.

[36]  Peter Henderson,et al.  Executing formal specifications need not be harmful , 1996, Softw. Eng. J..

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

[38]  Dov M. Gabbay,et al.  Handbook of logic in computer science. Volume 1. Background: Mathematical structures , 1993 .

[39]  T. S. E. Maibaum,et al.  Mathematical foundations of software engineering: a roadmap , 2000, ICSE '00.

[40]  Michael I. Posner,et al.  Foundations of cognitive neuroscience , 1993 .

[41]  Joseph A. Goguen,et al.  Requirements engineering: social and technical issues , 1994 .

[42]  Samson Abramsky,et al.  Handbook of logic in computer science (vol. 1): background: mathematical structures , 1993 .

[43]  Vincenzo Gervasi,et al.  Processing natural language requirements , 1997, Proceedings 12th IEEE International Conference Automated Software Engineering.

[44]  Peter Johnson,et al.  Human computer interaction: Psychology, task analysis, and software engineering , 1992 .

[45]  Colin Potts,et al.  Requirements models in context , 1997, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering.

[46]  Michael Jackson,et al.  Four dark corners of requirements engineering , 1997, TSEM.

[47]  T. Kuhn,et al.  The Structure of Scientific Revolutions. , 1964 .

[48]  Hitoshi Kume,et al.  A Case History Analysis of Software Error Cause-Effect Relationships , 1991, IEEE Trans. Software Eng..

[49]  Geri Schneider,et al.  Applying Use Cases: A Practical Guide , 1998 .

[50]  Joseph A. Goguen,et al.  Techniques for requirements elicitation , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.

[51]  Bashar Nuseibeh,et al.  Managing inconsistent specifications: reasoning, analysis, and action , 1998, TSEM.

[52]  Kenji Takahashi,et al.  Inquiry-based requirements analysis , 1994, IEEE Software.

[53]  Bashar Nuseibeh,et al.  Expressing the relationships between multiple views in requirements specification , 1993, ICSE '93.

[54]  Jacky Estublier.  Software configuration management: a roadmap , 2000, ICSE '00.

[55]  David Garlan,et al.  Software architecture: a roadmap , 2000, ICSE '00.

[56]  Samson Abramsky,et al.  Handbook of logic in computer science. , 1992 .

[57]  Bashar Nuseibeh,et al.  Managing inconsistencies in an evolving specification , 1995, Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95).

[58]  Alan M. Davis,et al.  Software Requirements: Objects, Functions and States , 1993 .

[59]  Ian Sommerville,et al.  Editorial. The Viewpoints FAQ , 1996 .

[60]  Susan Carlson Skalak.  House of Quality , 2002 .

[61]  Sol J. Greenspan,et al.  Requirements engineering using the SOS paradigm , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.

[62]  Ian Sommerville,et al.  The Viewpoints FAQ: Editorial-Viewpoints in Requirements Engineering , 1996 .

[63]  Klaus Pohl.  Requirements Engineering: An Overview , 1996 .

[64]  M. Posner.  Foundations of cognitive science , 1989 .

[65]  Michael Jackson,et al.  Domain descriptions , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.

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

[67]  Benjamin L. Kovitz,et al.  Practical Software Requirements: A Manual of Content and Style , 1998 .

[68]  Albert Endres,et al.  An analysis of errors and their causes in system programs , 1975, IEEE Transactions on Software Engineering.

[69]  John Mylopoulos,et al.  Representing and Using Nonfunctional Requirements: A Process-Oriented Approach , 1992, IEEE Trans. Software Eng..

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

[71]  Axel van Lamsweerde,et al.  Integrating obstacles in goal-driven requirements engineering , 1998, Proceedings of the 20th International Conference on Software Engineering.

[72]  Pamela Zave,et al.  Classification of research efforts in requirements engineering , 1995, Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95).

[73]  Mehdi T. Harandi,et al.  Workshop on software specification and design , 1988, SOEN.

[74]  Barry W. Boehm,et al.  Software Requirements Negotiation and Renegotiation Aids: A Theory-W Based Spiral Approach , 1995, 1995 17th International Conference on Software Engineering.

[75]  Stephen Fickas,et al.  Goal-Directed Requirements Acquisition , 1993, Sci. Comput. Program..

[76]  Grigoris Antoniou.  The Role of Nonmonotonic Representations in Requirements Engineering , 1998, Int. J. Softw. Eng. Knowl. Eng..

[77]  Ruth Carter,et al.  Systems, Management and Change: A Graphic Guide , 1984 .

[78]  Gerard J. Holzmann,et al.  The Model Checker SPIN , 1997, IEEE Trans. Software Eng..

[79]  Michael A. Jackson,et al.  Software requirements and specifications - a lexicon of practice, principles and prejudices , 1995 .

[80]  Meir M. Lehman.  Programs, life cycles, and laws of software evolution , 1980 .

[81]  Axel van Lamsweerde,et al.  Managing Conflicts in Goal-Driven Requirements Engineering , 1998, IEEE Trans. Software Eng..

[82]  William N. Robinson,et al.  Supporting the negotiation life cycle , 1998, CACM.

[83]  W. Buxton.  Human-Computer Interaction , 1988, Springer Berlin Heidelberg.

[84]  Bashar Nuseibeh.  Ariane 5: Who Dunnit? , 1997, IEEE Software.

[85]  Brian R. Gaines,et al.  Requirements acquisition , 1996, Softw. Eng. J..

[86]  S.M.M. Joosten,et al.  Method Engineering and Meta-Modelling. Special Issue. Information and Software Technology , 1996 .

[87]  Mary Shaw,et al.  Prospects for an engineering discipline of software , 1990, IEEE Software.

[88]  Steve Easterbrook,et al.  Handling conflict between domain descriptions with computer-supported negotiation , 1991 .

[89]  Roel Wieringa,et al.  Requirements Engineering: Frameworks for Understanding , 1996 .