Research Directions in Requirements Engineering

In this paper, we review current requirements engineering (RE) research and identify future research directions suggested by emerging software needs. First, we overview the state of the art in RE research. The research is considered with respect to technologies developed to address specific requirements tasks, such as elicitation, modeling, and analysis. Such a review enables us to identify mature areas of research, as well as areas that warrant further investigation. Next, we review several strategies for performing and extending RE research results, to help delineate the scope of future research directions. Finally, we highlight what we consider to be the "hot" current and future research topics, which aim to address RE needs for emerging systems of the future.

[1]  Mordechai Ben-Menachem,et al.  Writing effective use cases , 2001, SOEN.

[2]  Mats Per Erik Heimdahl,et al.  Specification-based prototyping for embedded systems , 1999, ESEC/FSE-7.

[3]  Daniel M. Berry,et al.  AbstFinder, A Prototype Natural Language Text Abstraction Finder for Use in Requirements Elicitation , 1997, Automated Software Engineering.

[4]  Víctor A. Braberman,et al.  Visual timed event scenarios , 2004, Proceedings. 26th International Conference on Software Engineering.

[5]  John Mylopoulos,et al.  Non-Functional Requirements in Software Engineering , 2000, International Series in Software Engineering.

[6]  Sebastián Uchitel,et al.  Behaviour model elaboration using partial labelled transition systems , 2003, ESEC/FSE-11.

[7]  Jane Cleland-Huang,et al.  A heterogeneous solution for improving the return on investment of requirements traceability , 2004, Proceedings. 12th IEEE International Requirements Engineering Conference, 2004..

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

[9]  Marsha Chechik,et al.  Merging partial behavioural models , 2004, SIGSOFT '04/FSE-12.

[10]  Bashar Nuseibeh,et al.  The effect of trust assumptions on the elaboration of security requirements , 2004, Proceedings. 12th IEEE International Requirements Engineering Conference, 2004..

[11]  Marsha Chechik,et al.  A framework for multi-valued reasoning over inconsistent viewpoints , 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.

[12]  Annie I. Antón,et al.  Goal-based requirements analysis , 1996, Proceedings of the Second International Conference on Requirements Engineering.

[13]  Kokichi Futatsugi,et al.  Toward a Domain Description with CafeOBJ , 2006 .

[14]  John P. McDermott,et al.  Using abuse case models for security requirements analysis , 1999, Proceedings 15th Annual Computer Security Applications Conference (ACSAC'99).

[15]  Rudolph E. Seviora,et al.  An approach to automatic detection of software failures in real-time systems , 1997, Proceedings Third IEEE Real-Time Technology and Applications Symposium.

[16]  R. E. Kurt Stirewalt,et al.  Inference Graphs: A Computational Structure Supporting Generation of Customizable and Correct Analysis Components , 2003, IEEE Trans. Software Eng..

[17]  Carina Frota Alves,et al.  Challenges in COTS decision-making: a goal-driven requirements engineering perspective , 2002, SEKE '02.

[18]  Bashar Nuseibeh,et al.  Requirements engineering: a roadmap , 2000, ICSE '00.

[19]  Axel van Lamsweerde,et al.  Goal-Oriented Requirements Engineering: A Guided Tour , 2001, RE.

[20]  Axel van Lamsweerde,et al.  Scenarios, goals, and state machines: a win-win partnership for model synthesis , 2006, SIGSOFT '06/FSE-14.

[21]  William N. Robinson,et al.  Requirements interaction management , 2003, CSUR.

[22]  Nancy G. Leveson.  Intent Specifications: An Approach to Building Human-Centered Specifications , 2000, IEEE Trans. Software Eng..

[23]  Martin Gogolla,et al.  Towards an integrated graph-based semantics for UML , 2003, Software & Systems Modeling.

[24]  Daniela E. Damian,et al.  An Empirical Study of the Impact of Asynchronous Discussions on Remote Synchronous Requirements Meetings , 2006, FASE.

[25]  Hans-Arno Jacobsen,et al.  Resolving feature convolution in middleware systems , 2004, OOPSLA.

[26]  William N. Robinson,et al.  Monitoring Web service requirements , 2003, Proceedings. 11th IEEE International Requirements Engineering Conference, 2003..

[27]  J. Herbsleb,et al.  Global software development , 2001 .

[28]  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.

[29]  Pierfrancesco Bellini,et al.  Temporal logics for real-time system specification , 2000, CSUR.

[30]  B.H.C. Cheng,et al.  Real-time specification patterns , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..

[31]  Steve M. Easterbrook,et al.  Contextual risk analysis for interview design , 2005, 13th IEEE International Conference on Requirements Engineering (RE'05).

[32]  Mehrdad Sabetzadeh,et al.  View merging in the presence of incompleteness and inconsistency , 2006, Requirements Engineering.

[33]  Joanne M. Atlee,et al.  Feasibility of model checking software requirements: a case study , 1996, Proceedings of 11th Annual Conference on Computer Assurance. COMPASS '96.

[34]  Victor R. Basili,et al.  The Experimental Paradigm in Software Engineering , 1992, Experimental Software Engineering Issues.

[35]  Alistair G. Sutcliffe,et al.  Evolutionary requirements analysis , 2003, Proceedings. 11th IEEE International Requirements Engineering Conference, 2003..

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

[37]  Jane Cleland-Huang,et al.  Utilizing supporting evidence to improve dynamic requirements traceability , 2005, 13th IEEE International Conference on Requirements Engineering (RE'05).

[38]  Stefania Gnesi,et al.  Applications of linguistic techniques for use case analysis , 2002, Proceedings IEEE Joint International Conference on Requirements Engineering.

[39]  Constance L. Heitmeyer.  Applying Practical Formal Methods to the Specification and Analysis of Security Properties , 2001, MMM-ACNS.

[40]  Julio Cesar Sampaio do Prado Leite,et al.  On Non-Functional Requirements in Software Engineering , 2009, Conceptual Modeling: Foundations and Applications.

[41]  Pamela Zave,et al.  Feature interactions and formal specifications in telecommunications , 1993, Computer.

[42]  Munindar P. Singh,et al.  Interaction protocols as design abstractions for business processes , 2005, IEEE Transactions on Software Engineering.

[43]  Jin Song Dong,et al.  Verifying DAML+OIL and beyond in Z/EVES , 2004, Proceedings. 26th International Conference on Software Engineering.

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

[45]  Richard Bentley,et al.  Integrating ethnography into the requirements engineering process , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.

[46]  Annie I. Antón,et al.  Functional Paleontology: The Evolution of User-Visible System Services , 2003, IEEE Trans. Software Eng..

[47]  Mikio Aoyama,et al.  Persona-and-scenario based requirements engineering for software embedded in digital consumer products , 2005, 13th IEEE International Conference on Requirements Engineering (RE'05).

[48]  Betty H. C. Cheng,et al.  Model-based development of dynamically adaptive software , 2006, ICSE.

[49]  Wil M. P. van der Aalst,et al.  Workflow Patterns , 2004, Distributed and Parallel Databases.

[50]  Alan Wassyng,et al.  Timing Tolerances in Safety-Critical Software , 2005, FM.

[51]  William E. Riddle,et al.  Software technology maturation , 1985, ICSE '85.

[52]  Barry W. Boehm,et al.  Applying WinWin to quality requirements: a case study , 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.

[53]  Peter Kaiser,et al.  An industrial case study of implementing software risk management , 2001, ESEC/FSE-9.

[54]  Axel van Lamsweerde,et al.  Reasoning about partial goal satisfaction for requirements and design engineering , 2004, SIGSOFT '04/FSE-12.

[55]  Klaus Pohl,et al.  Modelling requirements variability across product lines , 2005, 13th IEEE International Conference on Requirements Engineering (RE'05).

[56]  Betty H. C. Cheng,et al.  Facilitating the construction of specification pattern-based properties , 2005, 13th IEEE International Conference on Requirements Engineering (RE'05).

[57]  Seyed Masoud Sadjadi,et al.  Composing adaptive software , 2004, Computer.

[58]  Bashar Nuseibeh,et al.  ViewPoints: meaningful relationships are difficult! , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..

[59]  Natalia Juristo Juzgado,et al.  Effectiveness of Requirements Elicitation Techniques: Empirical Results Derived from a Systematic Review , 2006, 14th IEEE International Requirements Engineering Conference (RE'06).

[60]  Harlan D. Mills,et al.  Cleanroom Software Engineering , 1987, IEEE Software.

[61]  Eric Yu,et al.  Agent orientation as a modelling paradigm , 2001, Wirtschaftsinf..

[62]  Philippe Massonet,et al.  Goal-oriented requirements animation , 2004, Proceedings. 12th IEEE International Requirements Engineering Conference, 2004..

[63]  Sandeep S. Kulkarni,et al.  Correctness of Component-Based Adaptation , 2004, CBSE.

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

[65]  Betty H. C. Cheng,et al.  Object analysis patterns for embedded systems , 2004, IEEE Transactions on Software Engineering.

[66]  Jeff Magee,et al.  The Evolving Philosophers Problem: Dynamic Change Management , 1990, IEEE Trans. Software Eng..

[67]  Peter Sawyer,et al.  Shallow knowledge as an aid to deep understanding in early phase requirements engineering , 2005, IEEE Transactions on Software Engineering.

[68]  Brian Berenbach,et al.  The evaluation of large, complex UML analysis and design models , 2004, Proceedings. 26th International Conference on Software Engineering.

[69]  Jane Huffman Hayes,et al.  Advancing candidate link generation for requirements tracing: the study of methods , 2006, IEEE Transactions on Software Engineering.

[70]  Mary Beth Rosson,et al.  Effectiveness of elicitation techniques in distributed requirements engineering , 2002, Proceedings IEEE Joint International Conference on Requirements Engineering.

[71]  Neil A. M. Maiden,et al.  Integrating creativity into requirements processes: experiences with an air traffic management system , 2005, 13th IEEE International Conference on Requirements Engineering (RE'05).

[72]  Mehrdad Sabetzadeh,et al.  Traceability in viewpoint merging: a model management perspective , 2005, TEFSE '05.

[73]  Nancy A. Day,et al.  Template Semantics for Model-Based Notations , 2003, IEEE Trans. Software Eng..

[74]  Axel van Lamsweerde,et al.  Requirements engineering in the year 00: a research perspective , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[75]  Sebastián Uchitel,et al.  Synthesis of Behavioral Models from Scenarios , 2003, IEEE Trans. Software Eng..

[76]  Daniel Jackson,et al.  Software Abstractions - Logic, Language, and Analysis , 2006 .

[77]  Constance L. Heitmeyer,et al.  A strategy for efficiently verifying requirements , 2003, ESEC/FSE-11.

[78]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[79]  George S. Avrunin,et al.  User guidance for creating precise and accessible property specifications , 2006, SIGSOFT '06/FSE-14.

[80]  Martin S. Feather,et al.  Requirements monitoring in dynamic environments , 1995, Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95).

[81]  Joanne M. Atlee,et al.  Composing features and resolving interactions , 2000, SIGSOFT '00/FSE-8.

[82]  Reiko Heckel,et al.  Detection of conflicting functional requirements in a use case-driven approach , 2002, Proceedings of the 24th International Conference on Software Engineering. ICSE 2002.

[83]  Matthias Weber,et al.  Managing Highly Complex Product Families with Multi-Level Feature Trees , 2006, 14th IEEE International Requirements Engineering Conference (RE'06).

[84]  Thomas Kuhn,et al.  IX . The Nature and Necessity of Scientific Revolutions , 2007 .

[85]  Betty H. C. Cheng,et al.  A general framework for formalizing UML with formal languages , 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.

[86]  Robyn R. Lutz,et al.  Operational anomalies as a cause of safety-critical requirements evolution , 2003, J. Syst. Softw..

[87]  Annie I. Antón,et al.  Scenario Networks for Software Specification and Scenario Management TR-2001-15 , 2001 .

[88]  Douglas C. Schmidt,et al.  Ultra-Large-Scale Systems: The Software Challenge of the Future , 2006 .

[89]  Daniela E. Damian,et al.  The impact of stakeholders' geographical distribution on managing requirements in a multi-site organization , 2002, Proceedings IEEE Joint International Conference on Requirements Engineering.

[90]  Robyn R. Lutz,et al.  Using obstacle analysis to identify contingency requirements on an unpiloted aerial vehicle , 2006, Requirements Engineering.

[91]  Sebastián Uchitel,et al.  Negative scenarios for implied scenario elicitation , 2002, SIGSOFT '02/FSE-10.

[92]  Stephen Fickas,et al.  PC-RE: a method for personal and contextual requirements engineering with some experience , 2006, Requirements Engineering.

[93]  Constance L. Heitmeyer,et al.  SCR*: A Toolset for Specifying and Analyzing Software Requirements , 1998, CAV.

[94]  Frank Houdek,et al.  Towards systematic recycling of systems requirements , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..

[95]  José M. Troya,et al.  Specification and Refinement of Dynamic Software Architectures , 1999, WICSA.

[96]  David Notkin,et al.  Model checking large software specifications , 1996, SIGSOFT '96.

[97]  Michael E. Fagan.  Advances in software inspections , 1986, IEEE Transactions on Software Engineering.

[98]  Martin S. Feather.  Towards a unified approach to the representation of, and reasoning with, probabilistic risk information about software and its system interface , 2004, 15th International Symposium on Software Reliability Engineering.

[99]  Edmund M. Clarke,et al.  Verification Tools for Finite-State Concurrent Systems , 1993, REX School/Symposium.

[100]  BroyManfred.  The 'Grand Challenge' in Informatics , 2006 .

[101]  Axel van Lamsweerde,et al.  Elaborating security requirements by construction of intentional anti-models , 2004, Proceedings. 26th International Conference on Software Engineering.

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

[103]  Constance L. Heitmeyer,et al.  Automatic generation of state invariants from requirements specifications , 1998, SIGSOFT '98/FSE-6.

[104]  B. Cheng,et al.  Specifying adaptation semantics , 2005, WADS@ICSE.

[105]  Mark A. Ardis,et al.  A Framework for Evaluating Specification Methods for Reactive Systems Experience Report , 1996, IEEE Trans. Software Eng..

[106]  David Lorge Parnas,et al.  Functional Documents for Computer Systems , 1995, Sci. Comput. Program..

[107]  Kendra Cooper,et al.  A control theory based framework for dynamic adaptable systems , 2004, SAC '04.

[108]  Tarek F. Abdelzaher,et al.  SATIRE: a software architecture for smart AtTIRE , 2006, MobiSys '06.

[109]  David Lorge Parnas,et al.  Active design reviews: principles and practices , 1985, ICSE '85.

[110]  Søren Lauesen.  COTS tenders and integration requirements , 2004, Proceedings. 12th IEEE International Requirements Engineering Conference, 2004..

[111]  Nancy G. Leveson,et al.  On the use of visualization in formal requirements specification , 2002, Proceedings IEEE Joint International Conference on Requirements Engineering.

[112]  Manfred Broy,et al.  The 'Grand Challenge' in Informatics: Engineering Software-Intensive Systems , 2006, Computer.

[113]  Daniel M. Berry,et al.  AbstFinder, a prototype abstraction finder for natural language text for use in requirements elicitation: design, methodology, and evaluation , 1994, Proceedings of IEEE International Conference on Requirements Engineering.

[114]  John Mylopoulos,et al.  Visual variability analysis for goal models , 2004, Proceedings. 12th IEEE International Requirements Engineering Conference, 2004..

[115]  John Mylopoulos,et al.  Modeling security requirements through ownership, permission and delegation , 2005, 13th IEEE International Conference on Requirements Engineering (RE'05).

[116]  Betty H. C. Cheng,et al.  Automatically Detecting and Visualising Errors in UML Diagrams , 2002, Requirements Engineering.

[117]  Jeff Magee,et al.  Analysing dynamic change in software architectures: a case study , 1998, Proceedings. Fourth International Conference on Configurable Distributed Systems (Cat. No.98EX159).

[118]  Björn Regnell,et al.  An industrial survey of requirements interdependencies in software product release planning , 2001, Proceedings Fifth IEEE International Symposium on Requirements Engineering.

[119]  Adam A. Porter,et al.  Comparing Detection Methods For Software Requirements Inspections: A Replication Using Professional Subjects , 1998, Empirical Software Engineering.

[120]  Daniela E. Damian,et al.  Requirements Engineering and Downstream Software Development: Findings from a Case Study , 2005, Empirical Software Engineering.

[121]  Mary Shaw,et al.  "Self-healing": softening precision to avoid brittleness: position paper for WOSS '02: workshop on self-healing systems , 2002, WOSS '02.

[122]  Bashar Nuseibeh,et al.  Security requirements engineering: when anti-requirements hit the fan , 2002, Proceedings IEEE Joint International Conference on Requirements Engineering.

[123]  David Harel,et al.  LSCs: Breathing Life into Message Sequence Charts , 1999, Formal Methods Syst. Des..

[124]  Bernhard Rumpe,et al.  Model-driven Development of Complex Software : A Research Roadmap , 2007 .

[125]  Andrés Silva.  Requirements, domain and specifications: a viewpoint-based approach to requirements engineering , 2002, Proceedings of the 24th International Conference on Software Engineering. ICSE 2002.

[126]  Rajeev Alur,et al.  Inference of message sequence charts , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[127]  Jon Whittle,et al.  From scenarios to code: An air traffic control case study , 2004, Software & Systems Modeling.

[128]  Marco Pistore,et al.  Specifying and analyzing early requirements: some experimental results , 2003, Proceedings. 11th IEEE International Requirements Engineering Conference, 2003..

[129]  Wolfgang Emmerich,et al.  Flexible consistency checking , 2003, TSEM.

[130]  Walter F. Truszkowski,et al.  BEES for ANTS: Space Mission Applications for the Autonomous NanoTechnology Swarm , 2004 .

[131]  George J. Pappas,et al.  Discrete abstractions of hybrid systems , 2000, Proceedings of the IEEE.

[132]  Daniela E. Damian,et al.  An Empirical Study of the Complex Relationships between Requirements Engineering Processes and Other Processes that Lead to Payoffs in Productivity, Quality, and Risk Management , 2006, IEEE Transactions on Software Engineering.

[133]  Andrian Marcus,et al.  Recovering documentation-to-source-code traceability links using latent semantic indexing , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..

[134]  Sebastián Uchitel,et al.  Incremental elaboration of scenario-based specifications and behavior models using implied scenarios , 2004, TSEM.

[135]  Tom Gilb,et al.  Competitive Engineering: A Handbook For Systems Engineering, Requirements Engineering, And Software Engineering Using Planguage , 2005 .

[136]  Bill Mitchell,et al.  Detecting and resolving semantic pathologies in UML sequence diagrams , 2005, ESEC/FSE-13.

[137]  Michael Jackson,et al.  A Reference Model for Requirements and Specifications , 2000, IEEE Softw..

[138]  David B. Knoester,et al.  Evolution of Leader Election in Populations of Self-Replicating Digital Organisms , 1996 .

[139]  Annie I. Antón,et al.  Analyzing goal semantics for rights, permissions, and obligations , 2005, 13th IEEE International Conference on Requirements Engineering (RE'05).

[140]  David Lorge Parnas,et al.  Tabular Representations in Relational Documents , 1997, Relational Methods in Computer Science.

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

[142]  Jeffrey O. Kephart,et al.  The Vision of Autonomic Computing , 2003, Computer.

[143]  Louise E. Moser,et al.  A graphical interval logic for specifying concurrent systems , 1994, TSEM.

[144]  Colin Potts.  Metaphors of intent , 2001, Proceedings Fifth IEEE International Symposium on Requirements Engineering.

[145]  Khaled El Emam,et al.  Validating the ISO/IEC 15504 Measure of Software Requirements Analysis Process Capability , 2000, IEEE Trans. Software Eng..

[146]  James D. Herbsleb,et al.  Global Software Engineering: The Future of Socio-technical Coordination , 2007, Future of Software Engineering (FOSE '07).

[147]  Neil A. M. Maiden,et al.  The Domain Theory for Requirements Engineering , 1998, IEEE Trans. Software Eng..

[148]  David B. Knoester,et al.  Digitally Evolving Models for Dynamically Adaptive Systems , 2007, International Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS '07).

[149]  Klaus Pohl,et al.  Documenting Variability in Requirements Artefacts , 2005, Software Product Line Engineering.

[150]  Daniela E. Damian,et al.  An exploratory study of facilitation in distributed requirements engineering , 2003, Requirements Engineering.

[151]  Mary Shaw,et al.  What makes good research in software engineering? , 2002, International Journal on Software Tools for Technology Transfer.

[152]  Erik Kamsties,et al.  Higher quality requirements specifications through natural language patterns , 2003, Proceedings 2003 Symposium on Security and Privacy.

[153]  Eric S. K. Yu,et al.  Do viewpoints lead to better conceptual models? An exploratory case study , 2005, 13th IEEE International Conference on Requirements Engineering (RE'05).

[154]  James D. Herbsleb,et al.  Guest Editors' Introduction: Global Software Development , 2001, IEEE Softw..

[155]  Christof Ebert,et al.  Understanding the product life cycle: four key requirements engineering techniques , 2006, IEEE Software.

[156]  Michael Jackson,et al.  A reference model for requirements and specifications - extended abstract , 2000, Proceedings Fourth International Conference on Requirements Engineering. ICRE 2000. (Cat. No.98TB100219).

[157]  Stefano Crespi-Reghizzi,et al.  A scalable formal method for design and automatic checking of user interfaces , 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.

[158]  Michael Carl Tschantz,et al.  Verification and change-impact analysis of access-control policies , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..

[159]  Bashar Nuseibeh,et al.  On modelling access policies: relating roles to their organisational context , 2005, 13th IEEE International Conference on Requirements Engineering (RE'05).

[160]  João Araújo,et al.  Multi-dimensional separation of concerns in requirements engineering , 2005, 13th IEEE International Conference on Requirements Engineering (RE'05).

[161]  Kevin Ryan,et al.  The role of natural language in requirements engineering , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.

[162]  Axel van Lamsweerde,et al.  Agent-based tactics for goal-oriented requirements elaboration , 2002, ICSE '02.

[163]  Fausto Giunchiglia,et al.  Tropos: An Agent-Oriented Software Development Methodology , 2004, Autonomous Agents and Multi-Agent Systems.

[164]  Audris Mockus,et al.  An Empirical Study of Speed and Communication in Globally Distributed Software Development , 2003, IEEE Trans. Software Eng..

[165]  Reiko Heckel,et al.  Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation , 2002, ICSE '02.

[166]  Kimberly S. Wasson,et al.  A Case Study in Systematic Improvement of Language for Requirements , 2006, 14th IEEE International Requirements Engineering Conference (RE'06).

[167]  Joanne M. Atlee,et al.  Semantic variations among UML statemachines , 2006, MoDELS'06.

[168]  Yijun Yu,et al.  On Goal-based Variability Acquisition and Analysis , 2006, 14th IEEE International Requirements Engineering Conference (RE'06).

[169]  Michael Weiss,et al.  On feature interactions among Web services , 2004, Proceedings. IEEE International Conference on Web Services, 2004..

[170]  Jon G. Hall,et al.  A reference model for requirements engineering , 2003, Proceedings. 11th IEEE International Requirements Engineering Conference, 2003..

[171]  Martin Höst,et al.  An analytical model for requirements selection quality evaluation in product software development , 2003, Proceedings. 11th IEEE International Requirements Engineering Conference, 2003..

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

[173]  Krzysztof Czarnecki,et al.  Generative Programming , 2001, ECOOP Workshops.

[174]  Francis Chantree,et al.  Identifying Nocuous Ambiguities in Natural Language Requirements , 2006, 14th IEEE International Requirements Engineering Conference (RE'06).

[175]  Jeff Magee,et al.  Self-Managed Systems: an Architectural Challenge , 2007, Future of Software Engineering (FOSE '07).

[176]  Kevin O'Brien,et al.  Human Behavior Models for Agents in Simulators and Games: Part I: Enabling Science with PMFserv , 2006, Presence: Teleoperators & Virtual Environments.

[177]  Mary Shaw,et al.  "Self-healing": softening precision to avoid brittleness: position paper for WOSS '02: workshop on self-healing systems , 2002, WOSS '02.

[178]  David Garlan,et al.  Specifying and Analyzing Dynamic Software Architectures , 1998, FASE.

[179]  Johann Schumann,et al.  Generating statechart designs from scenarios , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[180]  Daniel L. Moody,et al.  Evaluating the quality of information models: empirical testing of a conceptual model quality framework , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..

[181]  Haruhiko Kaiya,et al.  Using Domain Ontology as Domain Knowledge for Requirements Elicitation , 2006, 14th IEEE International Requirements Engineering Conference (RE'06).

[182]  Colette Rolland,et al.  Matching ERP system functionality to customer requirements , 2001, Proceedings Fifth IEEE International Symposium on Requirements Engineering.

[183]  Frank Swiderski,et al.  Threat Modeling , 2018, Hacking Connected Cars.

[184]  Andreas L. Opdahl,et al.  Templates for Misuse Case Description , 2001 .

[185]  Axel van Lamsweerde,et al.  Deriving operational software specifications from system goals , 2002, SIGSOFT '02/FSE-10.

[186]  Neil A. M. Maiden,et al.  Developing use cases and scenarios in the requirements process , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..

[187]  Wayne H. Wolf,et al.  Cyber-physical Systems , 2009, Computer.

[188]  David Lorge Parnas,et al.  Software engineering programmes are not computer science programmes , 1999, Ann. Softw. Eng..

[189]  Erik Kamsties,et al.  Ambiguity in Requirements Specification , 2004 .

[190]  Sebastián Uchitel,et al.  Fluent temporal logic for discrete-time event-based models , 2005, ESEC/FSE-13.

[191]  Karen Holtzblatt,et al.  Apprenticing with the customer , 1995, CACM.

[192]  Robyn R. Lutz,et al.  Using occurrence properties of defect report data to improve requirements , 2005, 13th IEEE International Conference on Requirements Engineering (RE'05).

[193]  Yusuf Pisan.  Extending requirement specifications using analogy , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[194]  Reiko Heckel,et al.  A methodology for specifying and analyzing consistency of object-oriented behavioral models , 2001, ESEC/FSE-9.

[195]  Alan Cooper,et al.  The Inmates are Running the Asylum , 1999, Software-Ergonomie.

[196]  Michael Jackson.  What Can We Expect from Program Verification? , 2006, Computer.

[197]  Cynthia E. Irvine,et al.  A Case Study in Security Requirements Engineering for a High Assurance System , 2001 .

[198]  Yijun Yu,et al.  Configuring common personal software: a requirements-driven approach , 2005, 13th IEEE International Conference on Requirements Engineering (RE'05).

[199]  B.H.C. Cheng,et al.  TA-LTL: Specifying Adaptation Timing Properties in Autonomic Systems , 2006, Third IEEE International Workshop on Engineering of Autonomic & Autonomous Systems (EASE'06).

[200]  Owen Rambow,et al.  Conceptual modeling through linguistic analysis using LIDA , 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.

[201]  K Lano,et al.  Making Uml Precise , 1998 .

[202]  Tevfik Bultan,et al.  Action Language: a specification language for model checking reactive systems , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[203]  Axel van Lamsweerde,et al.  Handling Obstacles in Goal-Oriented Requirements Engineering , 2000, IEEE Trans. Software Eng..

[204]  Alistair Sutcliffe,et al.  Optimizing System Requirements with Genetic Algorithms , 2022 .

[205]  Siobhán Clarke,et al.  Theme: an approach for aspect-oriented analysis and design , 2004, Proceedings. 26th International Conference on Software Engineering.

[206]  Raymond A. DeCarlo,et al.  A Formal Model of the Software Test Process , 2002, IEEE Trans. Software Eng..

[207]  R. Conradi,et al.  Effort estimation of use cases for incremental large-scale software development , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..

[208]  Dimitra Giannakopoulou,et al.  Graphical animation of behavior models , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[209]  Daniela E. Damian,et al.  Guest Editors' Introduction: Global Software Development: How Far Have We Come? , 2006, IEEE Software.

[210]  Oussama Ben Khadra,et al.  Goal-centric traceability for managing non-functional requirements , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..

[211]  George S. Avrunin,et al.  Patterns in property specifications for finite-state verification , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[212]  Klaus Schmid,et al.  The product line mapping approach to defining and structuring product portfolios , 2002, Proceedings IEEE Joint International Conference on Requirements Engineering.

[213]  Anthony Finkelstein,et al.  Requirements stability assessment using scenarios , 2003, Proceedings. 11th IEEE International Requirements Engineering Conference, 2003..

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

[215]  Daniela E. Damian,et al.  An Industrial Case Study of Immediate Benefits of Requirements Engineering Process Improvement at the Australian Center for Unisys Software , 2004, Empirical Software Engineering.