Skip to main content
SpringerLink
Log in

Current and Future Research Directions in Requirements Engineering

  • Conference paper
Design Requirements Engineering: A Ten-Year Perspective

Part of the book series: Lecture Notes in Business Information Processing ((LNBIP,volume 14))

Abstract

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.

A preliminary and shortened version of this paper was published in IEEE International Conference on Software Engineering, Future of Software Engineering, 2007. Portions of the preliminary version have been included with permission from IEEE.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Nuseibeh, B., Easterbrook, S.: Requirements engineering: a roadmap. In: Proc. of the IEEE Int. Conf. on Soft. Eng. (ICSE), pp. 35–46 (2000)

    Google Scholar 

  2. Parnas, D.L.: Software engineering programmes are not computer science programmes. Ann. Soft. Eng. 6(1), 19–37 (1999)

    Article  Google Scholar 

  3. Finkelstein, A. (ed.): The Future of Software Engineering. In: Proc. of the IEEE Int. Conf. on Soft. Eng. (ICSE) (2000)

    Google Scholar 

  4. van Lamsweerde, A.: Requirements engineering in the year 00: a research perspective. In: Proc. of the IEEE Int. Conf. on Soft. Eng. (ICSE), pp. 5–19 (2000)

    Google Scholar 

  5. Bresciani, P., Giorgini, P., Giunchiglia, F., Mylopoulos, J., Perini, A.: TROPOS: an agent-oriented software development methodology. J. of Auto. Agents and Multi-Agent Sys. 8(3), 203–236 (2004)

    Article  Google Scholar 

  6. Leveson, N.G.: Intent specifications: An approach to building human-centered specifications. IEEE Trans. on Soft. Eng. 26(1), 15–35 (2000)

    Article  Google Scholar 

  7. van Lamsweerde, A.: Goal-oriented requirements engineering: a guided tour. In: Proc. of the IEEE Int. Req. Eng. Conf. (RE), pp. 249–263 (2001)

    Google Scholar 

  8. Cockburn, A.: Writing Effective Use Cases. Addison-Wesley, Reading (2001)

    Google Scholar 

  9. Breaux, T.D., Antón, A.I.: Analyzing goal semantics for rights, permissions, and obligations. In: Proc. of the IEEE Int. Req. Eng. Conf. (RE), pp. 177–188 (2005)

    Google Scholar 

  10. Alfonso, A., Braberman, V., Kicillof, N., Olivero, A.: Visual timed event scenarios. In: Proc. of the IEEE Int. Conf. on Soft. Eng. (ICSE), pp. 168–177 (2004)

    Google Scholar 

  11. Damm, W., Harel, D.: LSCs: Breathing life into message sequence charts. Form. Meth. in Sys. Des. 19(1), 45–80 (2001)

    Article  MATH  Google Scholar 

  12. Letier, E., van Lamsweerde, A.: Agent-based tactics for goal-oriented requirements elaboration. In: Proc. of the IEEE Int. Conf. on Soft. Eng. (ICSE), pp. 83–93 (2002)

    Google Scholar 

  13. Yu, E.: Agent orientation as a modelling paradigm. Wirtschaftsinformatik 43(3), 123–132 (2001)

    Google Scholar 

  14. Sindre, G., Opdahl, A.: Templates for misuse case description. In: Proc. of the Int. Work. on Req. Eng.: Found, for Soft. Qual., pp. 125–136 (2001)

    Google Scholar 

  15. Uchitel, S., Kramer, J., Magee, J.: Negative scenarios for implied scenario elicitation. In: Proc. of ACM SIGSOFT Found. on Soft. Eng. (FSE), pp. 109–118 (2002)

    Google Scholar 

  16. van Lamsweerde, A.: Elaborating security requirements by construction of intentional anti-models. In: Proc. of the IEEE Int. Conf. on Soft. Eng. (ICSE), pp. 148–157 (2004)

    Google Scholar 

  17. Chung, L., Nixon, B., Yu, E., Mylopoulos, J.: Non-functional Requirements in Software Engineering. Kluwer, Dordrecht (1999)

    Google Scholar 

  18. Gilb, T.: Competitive Engineering: A Handbook for System Engineering, Requirements Engineering, and Software Engineering using Planguage. Butterworth-Heinemann (2005)

    Google Scholar 

  19. Sharp, H., Finkelstein, A., Galal, G.: Stakeholder identification in the requirements engineering process. In: Proc. of the 10th Int. Work. on Datab. & Exp. Sys. Appl., pp. 387–391 (1999)

    Google Scholar 

  20. Pisan, Y.: Extending requirement specifications using analogy. In: Proc. of the IEEE Int. Conf. on Soft. Eng. (ICSE), pp. 70–76 (2000)

    Google Scholar 

  21. Potts, C.: Metaphors of intent. In: Proc. of the IEEE Int. Req. Eng. Conf. (RE), pp. 31–39 (2001)

    Google Scholar 

  22. Aoyama, M.: Persona-and-scenario based requirements engineering for software embedded in digital consumer products. In: Proc. of the IEEE Int. Req. Eng. Conf. (RE), pp. 85–94 (2005)

    Google Scholar 

  23. Cooper, A.: The Inmates are Running the Asylum. Sams (1999)

    Google Scholar 

  24. Cohene, T., Easterbrook, S.: Contextual risk analysis for interview design. In: Proc. of the IEEE Int. Req. Eng. Conf. (RE), pp. 95–104 (2005)

    Google Scholar 

  25. Sutcliffe, A., Fickas, S., Sohlberg, M.M.: PC-RE a method for personal and context requirements engineering with some experience. Req. Eng. J. 11(3), 1–17 (2006)

    Google Scholar 

  26. Maiden, N., Robertson, S.: Integrating creativity into requirements processes: Experiences with an air traffic management system. In: Proc. of the IEEE Int. Req. Eng. Conf. (RE), pp. 105–116 (2005)

    Google Scholar 

  27. Heitmeyer, C.L., Kirby, J., Labaw, B.G., Bharadwaj, R.: SCR*: A toolset for specifying and analyzing software requirements. In: Y. Vardi, M. (ed.) CAV 1998. LNCS, vol. 1427, pp. 526–531. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  28. Magee, J., Pryce, N., Giannakopoulou, D., Kramer, J.: Graphical animation of behavior models. In: Proc. of the IEEE Int. Conf. on Soft. Eng. (ICSE), pp. 499–508 (2000)

    Google Scholar 

  29. Van, H.T., van Lamsweerde, A., Massonet, P., Ponsard, C.: Goal-oriented requirements animation. In: Proc. of the IEEE Int. Req. Eng. Conf. (RE), pp. 218–228 (2004)

    Google Scholar 

  30. Thompson, J.M., Heimdahl, M.P.E., Miller, S.P.: Specification-based prototyping for embedded systems. In: Nierstrasz, O., Lemoine, M. (eds.) ESEC 1999 and ESEC-FSE 1999. LNCS, vol. 1687, pp. 163–179. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  31. Jeffords, R., Heitmeyer, C.: Automatic generation of state invariants from requirements specifications. In: Proc. of ACM SIGSOFT Found. on Soft. Eng. (FSE), pp. 56–69 (1998)

    Google Scholar 

  32. Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press, Cambridge (2006)

    Google Scholar 

  33. Yu, E.: Towards modelling and reasoning support for early-phase requirements engineering. In: Proc. of the IEEE Int. Req. Eng. Conf. (RE), pp. 226–235 (1997)

    Google Scholar 

  34. Janicki, R., Parnas, D.L., Zucker, J.: Tabular representations in relational documents. Relational methods in computer science, 184–196 (1997)

    Google Scholar 

  35. Uchitel, S., Kramer, J., Magee, J.: Behaviour model elaboration using partial labelled transition systems. In: Proc. of ACM SIGSOFT Found. on Soft. Eng. (FSE), pp. 19–27 (2003)

    Google Scholar 

  36. Arimoto, Y., Nakamura, M., Futatsugi, K.: Toward a domain description with CafeOBJ. In: Proc. 23rd JSSST Convention (2006)

    Google Scholar 

  37. Bellini, P., Mattolini, R., Nesi, P.: Temporal logics for real-time system specification. ACM Comp. Sur. 32(1), 12–42 (2000)

    Article  Google Scholar 

  38. Dillon, L.K., Kutty, G., Moser, L.E., Melliar-Smith, P.M., Ramakrishna, Y.S.: A graphical interval logic for specifying concurrent systems. ACM Trans. on Soft. Eng. & Meth. 3(2), 131–165 (1994)

    Article  Google Scholar 

  39. Letier, E., Kramer, J., Magee, J., Uchitel, S.: Fluent temporal logic for discrete-time event-based models. In: Proc. of ACM SIGSOFT Found. on Soft. Eng. (FSE), pp. 70–79 (2005)

    Google Scholar 

  40. Evans, A., Bruel, J.M., France, R., Lano, K., Rumbpe, B.: Making UML precise. In: Proc. of the OOPSLA Work. on Formalizing UML. Why? How? (1998)

    Google Scholar 

  41. McUmber, W.E., Cheng, B.H.: A general framework for formalizing UML with formal languages. In: Proc. of the IEEE Int. Conf. on Soft. Eng. (ICSE), pp. 433–442 (2001)

    Google Scholar 

  42. Niu, J., Atlee, J., Day, N.: Template semantics for model-based systems. IEEE Trans. on Soft. Eng. 29(10), 866–882 (2003)

    Article  Google Scholar 

  43. Taleghani, A., Atlee, J.M.: Semantic variations among UML statemachines. In: ACM/IEEE Int. Conf. on Model Driven Eng. Lang. and Sys., pp. 245–259 (2006)

    Google Scholar 

  44. Jackson, M.: Problem Frames. Addison-Wesley, Reading (2003)

    Google Scholar 

  45. Gunter, C.A., Gunter, E.L., Jackson, M., Zave, P.: A reference model for requirements and specifications. IEEE Soft. 17(3), 37–43 (2000)

    Article  Google Scholar 

  46. Hall, J., Rapanotti, L.: A reference model for requirements engineering. In: Proc. of the IEEE Int. Req. Eng. Conf. (RE), pp. 181–187 (2003)

    Google Scholar 

  47. Parnas, D.L., Madey, J.: Functional documents for computer systems. Sci. of Comp. Prog. 25(1), 41–61 (1995)

    Article  Google Scholar 

  48. Letier, E., van Lamsweerde, A.: Deriving operational software specifications from system goals. In: Proc. of ACM SIGSOFT Found. on Soft. Eng. (FSE), pp. 119–128 (2002)

    Google Scholar 

  49. Rashid, A., Sawyer, P., Moreira, A., Araujo, J.: Early aspects: a model for aspect-oriented requirements engineering. In: Proceedings of IEEE Joint International Conference on Requirements Engineering, pp. 199–202 (2002)

    Google Scholar 

  50. Baniassad, E., Clarke, S.: Theme: An approach for aspect-oriented analysis and design. In: Proc. of the IEEE Int. Conf. on Soft. Eng. (ICSE), pp. 158–167 (2004)

    Google Scholar 

  51. Uchitel, S., Kramer, J., Magee, J.: Incremental elaboration of scenario-based specifications and behavior models using implied scenarios. ACM Trans. on Soft. Eng. & Meth. 13(1), 37–85 (2004)

    Article  Google Scholar 

  52. Nuseibeh, B., Kramer, J., Finkelstein, A.: Viewpoints: meaningful relationships are difficult! In: Proc. of the IEEE Int. Conf. on Soft. Eng. (ICSE), pp. 676–683 (2003)

    Google Scholar 

  53. Silva, A.: Requirements, domain and specifications: A viewpoint-based approach to requirements engineering. In: Proc. of the IEEE Int. Conf. on Soft. Eng. (ICSE), pp. 94–104 (2002)

    Google Scholar 

  54. Denger, C., Berry, D.M., Kamsties, E.: Higher quality requirements specifications through natural language patterns. In: Proc. of the IEEE Int. Conf. on Soft.-Sci., Tech. & Eng., pp. 80–90 (2003)

    Google Scholar 

  55. Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proc. of the IEEE Int. Conf. on Soft. Eng. (ICSE), pp. 411–420 (1999)

    Google Scholar 

  56. Konrad, S., Cheng, B.H.C., Campbell, L.A.: Object analysis patterns for embedded systems. IEEE Trans. on Soft. Eng. 30(12), 970–992 (2004)

    Article  Google Scholar 

  57. van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distributed and Parallel Databases 14(1), 5–51 (2003)

    Article  Google Scholar 

  58. Ambriola, V., Gervasi, V.: Processing natural language requirements. In: IEEE Int. Conf. on Aut. Soft. Eng., pp. 36–45 (1997)

    Google Scholar 

  59. Cobleigh, R.L., Avrunin, G.S., Clarke, L.A.: User guidance for creating precise and accessible property specifications. In: Proc. of ACM SIGSOFT Found. on Soft. Eng. (FSE), pp. 208–218 (2006)

    Google Scholar 

  60. Goldin, L., Berry, D.: Abstfinder, a prototype abstraction finder for natural language text for use in requirements elicitation: Design, methodology, and evaluation. In: Proceedings of the First International Conference on Requirements Engineering, pp. 19–21 (April 1994)

    Google Scholar 

  61. Konrad, S., Cheng, B.H.: Facilitating the construction of specification pattern-based properties. In: Proc. of the IEEE Int. Req. Eng. Conf. (RE), pp. 329–338 (2005)

    Google Scholar 

  62. Overmyer, S.P., Lavoie, B., Rambow, O.: Conceptual modeling through linguistic analysis using LIDA. In: Proc. of the IEEE Int. Conf. on Soft. Eng. (ICSE), pp. 401–410 (2001)

    Google Scholar 

  63. Fuxman, A., Liu, L., Pistore, M., Roveri, M., Mylopoulos, J.: Specifying and analyzing early requirements: Some experimental results. In: Proc. of the IEEE Int. Req. Eng. Conf. (RE), pp. 105–114 (2003)

    Google Scholar 

  64. Berenbach, B.: The evaluation of large, complex UML analysis and design models. In: Proc. of the IEEE Int. Conf. on Soft. Eng. (ICSE), pp. 232–241 (2004)

    Google Scholar 

  65. Sabetzadeh, M., Easterbrook, S.: View merging in the presence of incompleteness and inconsistency. Req. Eng. J. 11(3), 174–193 (2006)

    Article  Google Scholar 

  66. Uchitel, S., Chechik, M.: Merging partial behavioural models. In: Proc. of ACM SIGSOFT Found. on Soft. Eng. (FSE), pp. 43–52 (2004)

    Google Scholar 

  67. Alur, R., Etessami, K., Yannakakis, M.: Inference of message sequence charts. In: Proc. of the IEEE Int. Conf. on Soft. Eng. (ICSE), pp. 304–313 (2000)

    Google Scholar 

  68. Damas, C., Lambeau, B., van Lamsweerde, A.: Scenarios, goals, and state machines: a win-win partnership for model synthesis. In: Proc. of ACM SIGSOFT Found. on Soft. Eng. (FSE), pp. 197–207 (2006)

    Google Scholar 

  69. Uchitel, S., Kramer, J., Magee, J.: Synthesis of behavioral models from scenarios. IEEE Trans. on Soft. Eng. 29(2), 99–115 (2003)

    Article  Google Scholar 

  70. Whittle, J., Schumann, J.: Generating statechart designs from scenarios. In: Proc. of the IEEE Int. Conf. on Soft. Eng. (ICSE), pp. 314–323 (2000)

    Google Scholar 

  71. Hay, J.D., Atlee, J.M.: Composing features and resolving interactions. In: Proc. of ACM SIGSOFT Found. on Soft. Eng. (FSE), pp. 110–119 (2000)

    Google Scholar 

  72. Kaiya, H., Saeki, M.: Using domain ontology as domain knowledge for requirements elicitation. In: Proc. of the IEEE Int. Req. Eng. Conf. (RE), pp. 186–195 (2006)

    Google Scholar 

  73. In, H., Rodgers, T., Deutsch, M., Boehm, B.: Applying WinWin to quality requirements: A case study. In: Proc. of the IEEE Int. Conf. on Soft. Eng. (ICSE), pp. 555–564 (2001)

    Google Scholar 

  74. Alves, C., Finkelstein, A.: Challenges in COTS decision-making: a goal-driven requirements engineering perspective. In: Proc. of the Int. Con. on Soft. Eng. and Know. Eng., pp. 789–794 (2002)

    Google Scholar 

  75. Rolland, C., Prakash, N.: Matching ERP system functionality to customer requirements. In: Proc. of the IEEE Int. Req. Eng. Conf. (RE), pp. 66–75 (2001)

    Google Scholar 

  76. Robinson, W.N., Pawlowski, S.D., Volkov, V.: Requirements interaction management. ACM Comp. Sur. 35(2), 132–190 (2003)

    Article  Google Scholar 

  77. Potts, C., Takahashi, K., Antón, A.: Inquiry-based requirements analysis. IEEE Soft. 11(2), 21–32 (1994)

    Article  Google Scholar 

  78. Regnell, B., Karlsson, L., Höst, M.: An analytical model for requirements selection quality evaluation in product software development. In: Proc. of the IEEE Int. Req. Eng. Conf. (RE), pp. 254–263 (2003)

    Google Scholar 

  79. Fagan, M.: Advances in software inspections. IEEE Trans. on Soft. Eng. 12(7), 744–751 (1986)

    Google Scholar 

  80. Parnas, D.L., Weiss, D.M.: Active design reviews: principles and practices. J. Sys. Soft. 7(4), 259–265 (1987)

    Article  Google Scholar 

  81. Wasson, K.S., Schmid, K.N., Lutz, R.R., Knight, J.C.: Using occurrence properties of defect report data to improve requirements. In: Proc. of the IEEE Int. Req. Eng. Conf. (RE), pp. 253–262 (2005)

    Google Scholar 

  82. Berry, D., Kamsties, E.: 2. In: Ambiguity in Requirements Specification. Perspectives on Software Requirements. Kluwer Academic Publishers, Dordrecht (2004)

    Google Scholar 

  83. Chantree, F., Nuseibeh, B., de Roeck, A., Willis, A.: Identifying nocuous ambiguities in natural language requirements. In: Proc. of the IEEE Int. Req. Eng. Conf. (RE), pp. 59–68 (2006)

    Google Scholar 

  84. Wasson, K.S.: A case study in systematic improvement of language for requirements. In: Proc. of the IEEE Int. Req. Eng. Conf. (RE), pp. 6–15 (2006)

    Google Scholar 

  85. Engels, G., Küster, J.M., Heckel, R., Groenewegen, L.: A methodology for specifying and analyzing consistency of object-oriented behavioral models. In: Proc. of ACM SIGSOFT Found. on Soft. Eng. (FSE), pp. 186–195 (2001)

    Google Scholar 

  86. Heitmeyer, C.L., Jeffords, R.D., Labaw, B.G.: Automated consistency checking of requirements specifications. ACM Trans. on Soft. Eng. & Meth. 5(3), 231–261 (1996)

    Article  Google Scholar 

  87. Nentwich, C., Emmerich, W., Finkelstein, A., Ellmer, E.: Flexible consistency checking. ACM Trans. on Soft. Eng. & Meth. 12(1), 28–63 (2003)

    Article  Google Scholar 

  88. Carlshamre, P., Sandahl, K., Lindvall, M., Regnell, B., Dag, J.N.: An industrial survey of requirements interdependencies in software product release planning. In: Proc. of the IEEE Int. Req. Eng. Conf. (RE), pp. 84–93 (2001)

    Google Scholar 

  89. Hausmann, J.H., Heckel, R., Taentzer, G.: Detection of conflicting functional requirements in a use case-driven approach. In: Proc. of the IEEE Int. Conf. on Soft. Eng. (ICSE), pp. 105–115 (2002)

    Google Scholar 

  90. Lutz, R., Patterson-Hine, A., Nelson, S., Frost, C.R., Tal, D., Harris, R.: Using obstacle analysis to identify contingency requirements on an unpiloted aerial vehicle. Req. Eng. J. 12(1), 41–54 (2006)

    Article  Google Scholar 

  91. van Lamsweerde, A., Letier, E.: Handling obstacles in goal-oriented requirements engineering. IEEE Trans. on Soft. Eng. 26(10), 978–1005 (2000)

    Article  Google Scholar 

  92. Feather, M.S.: Towards a unified approach to the representation of, and reasoning with, probabilistic risk information about software and its system interface. In: Int. Sym. on Soft. Reliab. Eng., pp. 391–402 (2004)

    Google Scholar 

  93. Wyatt, V., DiStefano, J., Chapman, M., Aycoth, E.: A metrics based approach for identifying requirements risks. In: Software Engineering Workshop, p. 23 (2003)

    Google Scholar 

  94. Krishnamurthi, S., Tschantz, M.C., Meyerovich, L.A., Fisler, K.: Verification and change-impact analysis of access-control policies. In: Proc. of the IEEE Int. Conf. on Soft. Eng. (ICSE), pp. 196–205 (2005)

    Google Scholar 

  95. Baker, P., Bristow, P., Jervis, C., King, D., Thomson, R., Mitchell, B., Burton, S.: Detecting and resolving semantic pathologies in UML sequence diagrams. In: Proc. of ACM SIGSOFT Found. on Soft. Eng. (FSE), pp. 50–59 (2005)

    Google Scholar 

  96. Moreira, A., Rashid, A., Araujo, J.: Multi-dimensional separation of concerns in requirements engineering. In: Proc. of the IEEE Int. Req. Eng. Conf. (RE), pp. 285–296 (2005)

    Google Scholar 

  97. Berenbach, B., Borotto, G.: Metrcs for model driven requirements development. In: IEEE International Conference on Software Engineering, Shanghai, China (2006)

    Google Scholar 

  98. Gonzalez-Baixauli, B., do Prado Leite, J.C.S., Mylopoulos, J.: Visual variability analysis for goal models. In: Proc. of the IEEE Int. Req. Eng. Conf. (RE), pp. 198–207 (2004)

    Google Scholar 

  99. Letier, E., van Lamsweerde, A.: Reasoning about partial goal satisfaction for requirements and design engineering. In: Proc. of ACM SIGSOFT Found. on Soft. Eng. (FSE), pp. 53–62 (2004)

    Google Scholar 

  100. Liaskos, S., Alexei, Yu, Y., Yu, E., Mylopoulos, J.: On goal-based variability acquisition and analysis. In: Proc. of the IEEE Int. Req. Eng. Conf. (RE), pp. 76–85 (2006)

    Google Scholar 

  101. Sutcliffe, A., Chang, W.C., Neville, R.: Evolutionary requirements analysis. In: Proc. of the IEEE Int. Req. Eng. Conf. (RE), pp. 264–273 (2003)

    Google Scholar 

  102. Bultan, T.: Action language: A specification language for model checking reactive systems. In: Proc. of the IEEE Int. Conf. on Soft. Eng. (ICSE), pp. 335–344 (2000)

    Google Scholar 

  103. Dillon, L.K., Stirewalt, R.E.K.: Inference graphs: A computational structure supporting generation of customizable and correct analysis components. IEEE Trans. on Soft. Eng. 29(2), 133–150 (2003)

    Article  Google Scholar 

  104. Whittle, J., Saboo, J., Kwan, R.: From scenarios to code: An air traffic control case study. In: Proc. of the IEEE Int. Conf. on Soft. Eng. (ICSE), pp. 490–497 (2003)

    Google Scholar 

  105. Bush, D., Finkelstein, A.: Requirements stability assessment using scenarios. In: Proc. of the IEEE Int. Req. Eng. Conf. (RE), pp. 23–32 (2003)

    Google Scholar 

  106. Gregoriades, A.: Scenario-based assessment of nonfunctional requirements. IEEE Trans. Softw. Eng. 31(5), 392–409 (2005); Member-Alistair Sutcliffe

    Article  Google Scholar 

  107. Ryser, J., Glinz, M.: A scenario-based approach to validating and testing software systems using statecharts. In: 12th International Conference on Software and Systems Engineering and their Applications (ICSSEA 1999), Paris, France (1999)

    Google Scholar 

  108. Chan, W., Anderson, R.J., Beame, P., Burns, S., Modugno, F., Notkin, D., Reese, J.D.: Model checking large software specifications. IEEE Trans. on Soft. Eng. 24(7), 498–520 (1998)

    Article  Google Scholar 

  109. Easterbrook, S., Chechik, M.: A framework for multi-valued reasoning over inconsistent viewpoints. In: Proc. of the IEEE Int. Conf. on Soft. Eng. (ICSE), pp. 411–420 (2001)

    Google Scholar 

  110. Sreemani, T., Atlee, J.M.: Feasibility of model checking software requirements. In: Conf. on Comp. Assur., pp. 77–88. National Institute of Standards and Technology (1996)

    Google Scholar 

  111. Buhne, S., Lauenroth, K., Pohl, K.: Modelling requirements variability across product lines. In: Proc. of the IEEE Int. Req. Eng. Conf. (RE), pp. 41–52 (2005)

    Google Scholar 

  112. Czarnecki, K., Eisenecker, U.W.: Generative Programming. Addison-Wesley, Reading (2000)

    Book  Google Scholar 

  113. Reiser, M.O., Weber, M.: Managing highly complex product families with multi-level feature trees. In: Proc. of the IEEE Int. Req. Eng. Conf. (RE), pp. 146–155 (2006)

    Google Scholar 

  114. Schmid, K.: The product line mapping approach to defining and structuring product portfolios. In: Proc. of the IEEE Int. Req. Eng. Conf. (RE), pp. 219–226 (2002)

    Google Scholar 

  115. Alspaugh, T.A., Antón, A.I.: Scenario networks for software specification and scenario management. Technical Report TR-2001-12, North Carolina State University at Raleigh (2001)

    Google Scholar 

  116. Weber, M., Weisbrod, J.: Requirements engineering in automotive development experiences and challenges. In: Proc. of the IEEE Int. Req. Eng. Conf. (RE), pp. 331–340 (2002)

    Google Scholar 

  117. Damian, D., Moitra, D. (eds.): Global software development. IEEE Soft. special issue 23(5) (2006)

    Google Scholar 

  118. Cleland-Huang, J., Zemont, G., Lukasik, W.: A heterogeneous solution for improving the return on investment of requirements traceability. In: Proc. of the IEEE Int. Req. Eng. Conf. (RE), pp. 230–239 (2004)

    Google Scholar 

  119. Hayes, J.H., Dekhtyar, A., Sundaram, S.K.: Advancing candidate link generation for requirements tracing: The study of methods. IEEE Trans. on Soft. Eng. 32(1), 4–19 (2006)

    Article  Google Scholar 

  120. Sabetzadeh, M., Easterbrook, S.: Traceability in viewpoint merging: a model management perspective. In: Proc. of the Int. Work. on Trace. in Emerg. Forms of Soft. Eng., pp. 44–49 (2005)

    Google Scholar 

  121. Settimi, R., Berezhanskaya, E., BenKhadra, O., Christina, S., Cleland-Huang, J.: Goal-centric traceability for managing non-functional requirements. In: Proc. of the IEEE Int. Conf. on Soft. Eng. (ICSE), pp. 362–371 (2005)

    Google Scholar 

  122. Zave, P.: Classification of research efforts in requirements engineering. ACM Comp. Sur. 29(4), 315–321 (1997)

    Article  Google Scholar 

  123. France, R., Rumpe, B.: Model-driven development of complex systems: A research roadmap. In: Future of Software Engineering 2007. IEEE-CS Press, Los Alamitos (2007)

    Google Scholar 

  124. Gogolla, M., Ziemann, P., Kuske, S.: Towards an integrated graph based semantics for UML. In: Bottoni, P., Minas, M. (eds.) Graph Transf. and Vis. Model. Tech. ENTCS, vol. 72(3). Elsevier, Amsterdam (2002)

    Google Scholar 

  125. Fantechi, A., Gnesi, S., Lami, G., Maccari, A.: Application of linguistic techniques for use case analysis. In: Proc. of the IEEE Int. Req. Eng. Conf. (RE), pp. 157–164 (2002)

    Google Scholar 

  126. Sawyer, P., Rayson, P., Cosh, K.: Shallow knowledge as an aid to deep understanding in early phase requirements engineering. IEEE Trans. on Soft. Eng. 31(11), 969–981 (2005)

    Article  Google Scholar 

  127. Campbell, L.A., Cheng, B.H.C., McUmber, W.E., Stirewalt, R.E.K.: Automatically detecting and visualizing errors in UML diagrams. Req. Eng. J. 37(10), 74–86 (2002)

    Google Scholar 

  128. Lauesen, S.: COTS tenders and integration requirements. In: Proc. of the IEEE Int. Req. Eng. Conf. (RE), pp. 166–175 (2004)

    Google Scholar 

  129. Ryan, K.: The role of natural language in requirements engineering. In: Proceedings of the IEEE International Symposium on Requirements Engineering, San Diego, CA, pp. 240–242. IEEE Computer Society Press, Los Alamitos (1993)

    Google Scholar 

  130. Marcus, A., Maletic, J.: Recovering documentation-to-source-code traceability links using latent semantic indexing. In: Proc. of the IEEE Int. Conf. on Soft. Eng. (ICSE), pp. 125–135 (2003)

    Google Scholar 

  131. Damian, D.E., Zowghi, D.: The impact of stakeholders? geographical distribution on managing requirements in a multi-site organization. In: Proc. of the IEEE Int. Req. Eng. Conf. (RE), pp. 319–330 (2002)

    Google Scholar 

  132. Lloyd, W.J., Rosson, M.B., Arthur, J.D.: Effectiveness of elicitation techniques in distributed requirements engineering. In: Proc. of the IEEE Int. Req. Eng. Conf. (RE), pp. 311–318 (2002)

    Google Scholar 

  133. Maiden, N., Robertson, S.: Developing use cases and scenarios in the requirements process. In: Proc. of the IEEE Int. Conf. on Soft. Eng. (ICSE), pp. 561–570 (2005)

    Google Scholar 

  134. Moody, D.L., Sindre, G., Brasethvik, T., Solvberg, A.: Evaluating the quality of information models: Empirical testing of a conceptual model quality framework. In: Proc. of the IEEE Int. Conf. on Soft. Eng. (ICSE), pp. 295–307 (2003)

    Google Scholar 

  135. Damian, D., Chisan, J.: An empirical study of the complex relationships between requirements engineering processes and other processes that lead to payoffs in productivity, quality, and risk management. IEEE Trans. on Soft. Eng. 32(7), 433–453 (2006)

    Article  Google Scholar 

  136. Damian, D., Eberlein, A., Shaw, M., Gaines, B.: An exploratory study of facilitation in distributed requirements engineering. Req. Eng. J. 8(1), 23–41 (2003)

    Article  Google Scholar 

  137. Freimut, B., Hartkopf, S., Kaiser, P., Kontio, J., Kobitzsch, W.: An industrial case study of implementing software risk management. In: Proc. of ACM SIGSOFT Found. on Soft. Eng. (FSE), pp. 277–287 (2001)

    Google Scholar 

  138. Dong, J.S., Lee, C.H., Li, Y.F., Wang, H.: Verifying DAML+OIL and beyond in Z/EVES. In: Proc. of the IEEE Int. Conf. on Soft. Eng. (ICSE), pp. 201–210 (2004)

    Google Scholar 

  139. Berstel, J., Roussel, G., Reghizzi, S.C., Pietro, P.S.: A scalable formal method for design and automatic checking of user interfaces. In: Proc. of the IEEE Int. Conf. on Soft. Eng. (ICSE), pp. 453–462 (2001)

    Google Scholar 

  140. Davis, A., Dieste, O., Hickey, A., Juristo, N., Moreno, A.M.: Effectiveness of requirements elicitation techniques: Empirical results derived from a systematic review. In: Proc. of the IEEE Int. Req. Eng. Conf. (RE), pp. 176–185 (2006)

    Google Scholar 

  141. Easterbrook, S., Yu, E., Aranda, J., Fan, Y., Horkoff, J., Leica, M., Qadir, R.A.: Do viewpoints lead to better conceptual models? an exploratory case study. In: Proc. of the IEEE Int. Req. Eng. Conf. (RE), pp. 199–208 (2005)

    Google Scholar 

  142. Ardis, M.A., Chaves, J.A., Jagadeesan, L.J., Mataga, P., Puchol, C., Staskauskas, M.G., Olnhausen, J.V.: A framework for evaluating specification methods for reactive systems experience report. IEEE Trans. on Soft. Eng. 22(6), 378–389 (1996)

    Article  Google Scholar 

  143. Porter, A., Votta, L.: Comparing detection methods for software requirements inspections: A replication using professional subjects. Empir. Soft. Eng. 3(4), 355–379 (1998)

    Article  Google Scholar 

  144. Antón, A.I., Potts, C.: Functional paleontology: The evolution of user-visible system services. IEEE Trans. on Soft. Eng. 29(2), 151–166 (2003)

    Article  Google Scholar 

  145. Lutz, R., Mikulski, I.C.: Operational anomalies as a cause of safety-critical requirements evolution. J. of Sys. and Soft., 155–161 (2003)

    Google Scholar 

  146. Shaw, M.: What makes good research in software engineering? Int. Jour. of Soft. Tools for Tech. Trans. 4(1), 1–7 (2002)

    Article  Google Scholar 

  147. Redwine Jr., S.T., Riddle, W.E.: Software technology maturation. In: Proc. of the IEEE Int. Conf. on Soft. Eng. (ICSE), May 1985, pp. 1989–2001 (1985)

    Google Scholar 

  148. Basili, V.R.: The experimental paradigm in software engineering. In: Proc. of the Int. Work. on Exper. Soft. Eng. Issues: Crit. Assess. and Futr. Dir., pp. 3–12. Springer, Heidelberg (1993)

    Google Scholar 

  149. Kuhn, T.: The Nature and Necessity of Scientific Revolutions. University of Chicago Press (1962) Book chapter transcribed by Andy Blunden in 1998; proofed and corrected (March 2005)

    Google Scholar 

  150. Neville, R., Sutcliffe, A., Chang, W.C.: Optimizing system requirements with genetic algorithms. In: IEEE World Congress on Computational Intelligence, pp. 495–499 (May 2002)

    Google Scholar 

  151. Sutcliffe, A., Maiden, N.: The domain theory for requirements engineering. IEEE Trans. on Soft. Eng. 24(3), 174–196 (1998)

    Article  Google Scholar 

  152. Cleland-Huang, J., Settimi, R., Duan, C., Zou, X.: Utilizing supporting evidence to improve dynamic requirements traceability. In: Proc. of the IEEE Int. Req. Eng. Conf. (RE), pp. 135–144 (2005)

    Google Scholar 

  153. Zave, P.: Feature interactions and formal specifications in telecommunications. IEEE Comp. 26(8), 20–29 (1993)

    Google Scholar 

  154. Weiss, M., Esfandiari, B.: On feature interactions among web services. In: Proc. of the IEEE Int. Conf. on Web Serv. (ICWS), pp. 88–95 (2004)

    Google Scholar 

  155. Dulac, N., Viguier, T., Leveson, N.G., Storey, M.A.D.: On the use of visualization in formal requirements specification. In: Proc. of the IEEE Int. Req. Eng. Conf. (RE), pp. 71–80 (2002)

    Google Scholar 

  156. Harel, D.: Statecharts: A visual formalism for complex systems. Sci. Comp. Prog. 8(3), 231–274 (1987)

    Article  MATH  MathSciNet  Google Scholar 

  157. Konrad, S., Cheng, B.H.C.: Real-time specification patterns. In: Proceedings of the International Conference on Software Engineering (ICSE 2005), St Louis, MO, USA, 372–381 (May 2005)

    Google Scholar 

  158. Antón, A.I.: Goal-based requirements analysis. In: Proc. of the IEEE Int. Req. Eng. Conf. (RE), pp. 136–144 (1996)

    Google Scholar 

  159. Jeffords, R.D., Heitmeyer, C.L.: A strategy for efficiently verifying requirements. In: Proc. of ACM SIGSOFT Found. on Soft. Eng. (FSE), pp. 28–37 (2003)

    Google Scholar 

  160. Robertson, S., Robertson, J.: Mastering the Requirements Process. Addison-Wesley, Reading (1999)

    Google Scholar 

  161. Glinz, M., Wieringa, R.J.: Guest editors’ introduction: Stakeholders in requirements engineering. IEEE Software 24(2), 18–20 (2007)

    Article  Google Scholar 

  162. Cyber-Physical Systems (October 2006), http://varma.ece.cmu.edu/cps

  163. Workshop on High-Confidence Automotive Cyber-Physical Systems (April 2008), http://varma.ece.cmu.edu/Auto-CPS

  164. Lero: The irish software engineering research centre, http://www.lero.ie

  165. Center of excellence for research in adaptive systems, https://www.cs.uwaterloo.ca/twiki/view/CERAS

  166. Center for ultra-large-scale software-intensive systems. Industry/University Collaborative Research Center, http://ulssis.cs.virginia.edu/

  167. Networked european software and services initiative, http://www.nessi-europe.com

  168. Basili, V.R. (ed.): Empirical Software Engineering: An International Journal

    Google Scholar 

  169. Damian, D., Chisan, J., Vaidyanathasamy, L., Pal, Y.: Requirements engineering and downstream software development: Findings from a case study. Empirical Soft. Eng. 10(3), 255–283 (2005)

    Article  Google Scholar 

  170. Damian, D., Zowghi, D., Vaidyanathasamy, L., Pal, Y.: An industrial case study of immediate benefits of requirements engineering process improvement at the australian center for unisys software. Empirical Soft. Eng. 9(1-2), 45–75 (2004)

    Article  Google Scholar 

  171. Broy, M.: The ’grand challenge’ in informatics: Engineering software-intensive systems. IEEE Computer 39(10), 72–80 (2006)

    Google Scholar 

  172. Ebert, C.: Understanding the product life cycle: Four key requirements engineering techniques. IEEE Soft 23(3), 19–25 (2006)

    Article  MathSciNet  Google Scholar 

  173. Pohl, K., Weyer, T.: 5. In: Documenting Variability in Requirements Artefacts. Software Product Line Engineering. Springer, Heidelberg (2005)

    Google Scholar 

  174. Herbsleb, J.D.: Global software engineering: The future of socio-technical coordination. In: Future of Software Engineering (2007)

    Google Scholar 

  175. Herbsleb, J., Mockus, A.: An empirical study of speed and communication in globally distributed software development. IEEE Trans. on Soft. Eng. 29(6), 481–494 (2003)

    Article  Google Scholar 

  176. Damian, D., Lanubile, F., Mallardo, T.: An empirical study of the impact of asynchronous discussions on remote synchronous requirements meetings. In: Baresi, L., Heckel, R. (eds.) FASE 2006. LNCS, vol. 3922, pp. 155–169. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  177. Fisler, K., Krishnamurthi, S.: Modular verification of collaboration-based software designs. In: ESEC/FSE-9: Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering, pp. 152–163. ACM, New York (2001)

    Chapter  Google Scholar 

  178. Holzmann, G.J., Bosnacki, D.: The design of a multicore extension of the spin model checker. IEEE Transactions on Software Engineering 33(10), 659–674 (2007)

    Article  Google Scholar 

  179. Dwyer, M.B., Elbaum, S., Person, S., Purandare, R.: Parallel randomized state-space search. In: ICSE 2007: Proceedings of the 29th international conference on Software Engineering, Washington, DC, USA, pp. 3–12. IEEE Computer Society, Los Alamitos (2007)

    Google Scholar 

  180. Fereira, M.: Genetic algorithm for model checking concurrent programs. In: Proceedings of ACM Genetic And Evolutionary Computation Conference, GECCO (2008)

    Google Scholar 

  181. Jackson, M., Zave, P.: Domain descriptions. In: Proc. of the IEEE Int. Req. Eng. Conf. (RE), pp. 54–64 (1993)

    Google Scholar 

  182. Shaw, M.: ”Self-Healing”: Softening precision to avoid brittleness. In: Work. on Self-Healing Sys (WOSS) (November 2002) Position paper

    Google Scholar 

  183. Wassyng, A., Lawford, M., Hu, X.: Timing tolerances in safety-critical software. In: Proc. of the Int. Sym. of Form. Meth. Eur., pp. 157–172 (2005)

    Google Scholar 

  184. Northrup, L., Feiler, P., Gabriel, R.P., Goodenough, J., Linger, R., Longstaff, T., Kazman, R., Klein, M., Schmidt, D., Sullivan, K., Wallnau, K.: Ultra-Large-Scale Systems: The Software Challenge of the Future. Software Engineering Institute, Carnegie Mellon (2006)

    Google Scholar 

  185. van Lamsweerde, A.: Evaluating alternative options. Private Communication (2007)

    Google Scholar 

  186. Ganti, R.K., Jayachandran, P., Abdelzaher, T.F., Stankovic, J.A.: SATIRE: A softwarwe architecture for smart atTIRE. In: Proc. of the Inl. Conf. on Mobile Sys., Appl., and Serv (Mobisys), pp. 110–123 (2006)

    Google Scholar 

  187. Maurice, P.A., Harmon, T.C.: Environmental embedded sensor networks. Environmental Engineering Science 24(1) (2007); Special issue on environmental embedded sensor networks

    Google Scholar 

  188. Jackson, M.: What can we expect from program verification? IEEE Computer 39(10), 65–71 (2006)

    Google Scholar 

  189. Silverman, B.G., Johns, M., Cornwell, J., O’Brien, K.: Human behavior models for agents in simulators and games: Part I: enabling science with PMFserv. Presence: Teleoper. Virtual Environ. 15(2), 139–162 (2006)

    Article  Google Scholar 

  190. Alur, R., Henzinger, T., Lafferriere, G., Pappas, G.: Discrete abstractions of hybrid systems. Proc. of IEEE 88(7) (July 2000)

    Google Scholar 

  191. Kramer, J., Magee, J.: Self-managed systems: An architectural challenge. In: Future of Software Engineering (2007)

    Google Scholar 

  192. Allen, R., Douence, R., Garlan, D.: Specifying and analyzing dynamic software architectures. In: Astesiano, E. (ed.) FASE 1998. LNCS, vol. 1382, pp. 21–37. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  193. Canal, C., Pimentel, E., Troya, J.M.: Specification and refinement of dynamic software architectures. In: Proc. of the TC2 First Work. IFIP Conf. on Soft. Arch. (WICSA), pp. 107–126. Kluwer, Dordrecht (1999)

    Google Scholar 

  194. Kramer, J., Magee, J.: Analysing dynamic change in software architectures: a case study. In: Proc. of 4th IEEE International Conference on Configurable Distributed Systems, Annapolis (May 1998)

    Google Scholar 

  195. Kulkarni, S., Biyani, K.: Correctness of component-based adaptation. In: Crnković, I., Stafford, J.A., Schmidt, H.W., Wallnau, K. (eds.) CBSE 2004. LNCS, vol. 3054, pp. 48–58. Springer, Heidelberg (2004)

    Google Scholar 

  196. Zhang, J., Cheng, B.H.C.: Specifying adaptation semantics. In: Proc. of the Work. on Architecting Depend. Sys. (WADS), pp. 1–7 (2005)

    Google Scholar 

  197. Zhou, Z., Zhang, J., McKinley, P.K., Cheng, B.H.C.: TA-LTL: Specifying adaptation timing properties in autonomic systems. In: Proc. of the IEEE Work. on Eng. of Auton. Sys. (EASe) (2006)

    Google Scholar 

  198. Fickas, S., Feather, M.S.: Requirements monitoring in dynamic environments. In: Proc. of the IEEE Int. Req. Eng. Conf. (RE), pp. 140–147 (1995)

    Google Scholar 

  199. Robinson, W.N.: Monitoring web service requirements. In: Proc. of the IEEE Int. Req. Eng. Conf. (RE), pp. 65–74 (2003)

    Google Scholar 

  200. Savor, T., Seviora, R.: An approach to automatic detection of software failures in realtime systems. In: Proc. IEEE Real-Time Tech. and Appl. Sym., pp. 136–147 (1997)

    Google Scholar 

  201. Garlan, D., Cheng, S.W., Huang, A.C., Schmerl, B., Steenkiste, P.: Rainbow: architecture-based self-adaptation with reusable infrastructure. IEEE Computer 37(10), 46–54 (2004)

    Google Scholar 

  202. Clark, P., Rilee, M.L., Curtis, S.A., Truszkowski, W., Marr, G., Cheung, C., Rudisill, M.: BEES for ANTS: Space mission applications for the autonomous nanotechnology swarm. In: AIAA 1st Intelligent Systems Technical Conference, American Institute of Aeronautics and Astronautics (2004)

    Google Scholar 

  203. McKinley, P.K., Cheng, B.H., Ofria, C., Knoester, D., Beckmann, B., Goldsby, H.: Harnessing digital evolution. IEEE Computer 41(1) (January 2008)

    Google Scholar 

  204. Goldsby, H., Knoester, D., Cheng, B.H., McKinley, P., Ofria, C.: Digitally evolving models for dynamically adaptive systems. Technical Report MSU-CSE-07-4, Computer Science and Engineering, Michigan State University, East Lansing, Michigan (January 2007)

    Google Scholar 

  205. Goldsby, H., Cheng, B.H.C.: Avida-MDE: Harnessing digital evolution to evolve adaptive systems. In: Proceedings of ACM Genetic And Evolutionary Computation Conference (GECCO) (2008)

    Google Scholar 

  206. Goldsby, H.J., Cheng, B.H., McKinley, P.K.: Digital evolution of behavioral models for autonomic systems. In: Proceedings of the 5th IEEE International Conference on Autonomic Computing, Chicago, Illinois (June 2008)

    Google Scholar 

  207. Goldsby, H., Cheng, B.H.C.: Harnessing digital evolution to deal with uncertainty. In: Model-Driven Engineering Languages and Systems (2008) (accepted to appear)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Michigan State University, East Lansing, MI 48824, USA

    Betty H. C. Cheng

  2. University of Waterloo, Waterloo, Ontario, N2L 3G1, Canada

    Joanne M. Atlee

Authors
  1. Betty H. C. Cheng
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Joanne M. Atlee
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Case Western Reserve University, Cleveland, OH, USA

    Kalle Lyytinen

  2. Loughborough University, UK

    Pericles Loucopoulos

  3. University of Toronto, ON, Canada

    John Mylopoulos

  4. Georgia State University, Atlanta, GA, USA

    Bill Robinson

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cheng, B.H.C., Atlee, J.M. (2009). Current and Future Research Directions in Requirements Engineering. In: Lyytinen, K., Loucopoulos, P., Mylopoulos, J., Robinson, B. (eds) Design Requirements Engineering: A Ten-Year Perspective. Lecture Notes in Business Information Processing, vol 14. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-92966-6_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-92966-6_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-92965-9

  • Online ISBN: 978-3-540-92966-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation