Current and future research directions in requirements engineering

Lecture Notes in Business Information Processing

Volumn 14 LNBIP, Issue , 2009, Pages 11-43

  Cheng, Betty H C ^a   Atlee, Joanne M ^b  

^a MICHIGAN STATE UNIVERSITY   (United States)

^b UNIVERSITY OF WATERLOO   (Canada)

Author keywords

Analysis; Elicitation; Modeling; Requirements engineering

Indexed keywords

DESIGN; MODELS; REQUIREMENTS ENGINEERING;

ANALYSIS; ELICITATION; FUTURE RESEARCH DIRECTIONS; RESEARCH RESULTS; RESEARCH TOPICS; STATE OF THE ART;

RESEARCH;

EID: 84876572533     PISSN: 18651348     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-540-92966-6_2     Document Type: Conference Paper

References (207)

1. Nuseibeh, B., Easterbrook, S.: Requirements engineering: a roadmap. In: Proc. of the IEEE Int. Conf. on Soft. Eng. (ICSE), pp. 35-46 (2000)
2. Parnas, D.L.: Software engineering programmes are not computer science programmes. Ann. Soft. Eng. 6(1), 19-37 (1999)
3. Finkelstein, A. (ed.): The Future of Software Engineering. In: Proc. of the IEEE Int. Conf. on Soft. Eng. (ICSE) (2000)
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)
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) (Pubitemid 39019798)
6. Leveson, N.G.: Intent specifications: An approach to building human-centered specifications. IEEE Trans. on Soft. Eng. 26(1), 15-35 (2000) (Pubitemid 30584678)
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)
8. Cockburn, A.: Writing Effective Use Cases. Addison-Wesley, Reading (2001)
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)
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)
11. Damm, W., Harel, D.: LSCs: Breathing life into message sequence charts. Form. Meth. in Sys. Des. 19(1), 45-80 (2001) (Pubitemid 32697643)
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) (Pubitemid 35009100)
13. Yu, E.: Agent orientation as a modelling paradigm. Wirtschaftsinformatik 43(3), 123-132 (2001) (Pubitemid 33640655)
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)
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)
16. van Lamsweerde, A.: Elaborating security requirements by construction of intentional antimodels. In: Proc. of the IEEE Int. Conf. on Soft. Eng. (ICSE), pp. 148-157 (2004)
17. Chung, L., Nixon, B., Yu, E., Mylopoulos, J.: Non-functional Requirements in Software Engineering. Kluwer, Dordrecht (1999)
18. Gilb, T.: Competitive Engineering: A Handbook for System Engineering, Requirements Engineering, and Software Engineering using Planguage. Butterworth-Heinemann (2005)
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)
20. Pisan, Y.: Extending requirement specifications using analogy. In: Proc. of the IEEE Int. Conf. on Soft. Eng. (ICSE), pp. 70-76 (2000)
21. Potts, C.: Metaphors of intent. In: Proc. of the IEEE Int. Req. Eng. Conf. (RE), pp. 31-39 (2001)
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) (Pubitemid 41563779)
23. Cooper, A.: The Inmates are Running the Asylum. Sams (1999)
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) (Pubitemid 41563780)
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)
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)
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) (Pubitemid 128092369)
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)
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) (Pubitemid 40498786)
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)
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)
32. Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press, Cambridge (2006)
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)
34. Janicki, R., Parnas, D.L., Zucker, J.: Tabular representations in relational documents. Relational methods in computer science, 184-196 (1997)
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)
36. Arimoto, Y., Nakamura, M., Futatsugi, K.: Toward a domain description with CafeOBJ. In: Proc. 23rd JSSST Convention (2006)
37. Bellini, P., Mattolini, R., Nesi, P.: Temporal logics for real-time system specification. ACM Comp. Sur. 32(1), 12-42 (2000)
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)
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) (Pubitemid 43218811)
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)
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) (Pubitemid 32485673)
42. Niu, J., Atlee, J., Day, N.: Template semantics for model-based systems. IEEE Trans. on Soft. Eng. 29(10), 866-882 (2003)
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) (Pubitemid 44618563)
44. Jackson, M.: Problem Frames. Addison-Wesley, Reading (2003)
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)
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)
47. Parnas, D.L., Madey, J.: Functional documents for computer systems. Sci. of Comp. Prog. 25(1), 41-61 (1995)
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)
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)
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)
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)
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)
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) (Pubitemid 35009101)
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)
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)
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) (Pubitemid 41158286)
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)
58. Ambriola, V., Gervasi, V.: Processing natural language requirements. In: IEEE Int. Conf. on Aut. Soft. Eng., pp. 36-45 (1997)
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) (Pubitemid 47129398)
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)
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) (Pubitemid 41568518)
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) (Pubitemid 32485670)
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)
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)
65. Sabetzadeh, M., Easterbrook, S.: View merging in the presence of incompleteness and inconsistency. Req. Eng. J. 11(3), 174-193 (2006) (Pubitemid 43881235)
66. Uchitel, S., Chechik, M.: Merging partial behavioural models. In: Proc. of ACM SIGSOFT Found. on Soft. Eng. (FSE), pp. 43-52 (2004) (Pubitemid 40787566)
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)
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) (Pubitemid 47129397)
69. Uchitel, S., Kramer, J., Magee, J.: Synthesis of behavioral models from scenarios. IEEE Trans. on Soft. Eng. 29(2), 99-115 (2003)
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)
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) (Pubitemid 32399978)
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) (Pubitemid 351424213)
73. In, H., Rodgers, T., Deutsch, M., Boehm, B.: Applying Win Win to quality requirements: A case study. In: Proc. of the IEEE Int. Conf. on Soft. Eng. (ICSE), pp. 555-564 (2001) (Pubitemid 32490648)
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)
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) (Pubitemid 32878080)
76. Robinson, W.N., Pawlowski, S.D., Volkov, V.: Requirements interaction management. ACM Comp. Sur. 35(2), 132-190 (2003)
77. Potts, C., Takahashi, K., Antón, A.: Inquiry-based requirements analysis. IEEE Soft. 11(2), 21-32 (1994)
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)
79. Fagan, M.: Advances in software inspections. IEEE Trans. on Soft. Eng. 12(7), 744-751 (1986)
80. Parnas, D.L., Weiss, D.M.: Active design reviews: principles and practices. J. Sys. Soft. 7(4), 259-265 (1987) (Pubitemid 18549732)
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) (Pubitemid 41563795)
82. Berry, D., Kamsties, E.: 2. In: Ambiguity in Requirements Specification. Perspectives on Software Requirements. Kluwer Academic Publishers, Dordrecht (2004)
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)
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) (Pubitemid 351424195)
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) (Pubitemid 35466923)
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) (Pubitemid 126417405)
87. Nentwich, C., Emmerich, W., Finkelstein, A., Ellmer, E.: Flexible consistency checking. ACM Trans. on Soft. Eng. & Meth. 12(1), 28-63 (2003)
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)
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) (Pubitemid 35009102)
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) (Pubitemid 44710304)
91. van Lamsweerde, A., Letier, E.: Handling obstacles in goal-oriented requirements engineering. IEEE Trans. on Soft. Eng. 26(10), 978-1005 (2000) (Pubitemid 32031734)
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) (Pubitemid 40455710)
93. Wyatt, V., DiStefano, J., Chapman, M., Aycoth, E.: A metrics based approach for identifying requirements risks. In: Software Engineering Workshop, p. 23 (2003)
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)
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) (Pubitemid 43218809)
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) (Pubitemid 41563798)
97. Berenbach, B., Borotto, G.: Metrcs for model driven requirements development. In: IEEE International Conference on Software Engineering, Shanghai, China (2006)
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) (Pubitemid 40498784)
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) (Pubitemid 40787567)
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) (Pubitemid 351424202)
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)
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)
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)
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)
105. Bush, D., Finkelstein, A.: Requirements stability assessment using scenarios. In: Proc. of the IEEE Int. Req. Eng. Conf. (RE), pp. 23-32 (2003)
106. Gregoriades, A.: Scenario-based assessment of nonfunctional requirements. IEEE Trans. Softw. Eng. 31(5), 392-409 (2005); Member-Alistair Sutcliffe (Pubitemid 41046927)
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)
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) (Pubitemid 128741970)
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) (Pubitemid 32485671)
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)
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)
112. Czarnecki, K., Eisenecker, U.W.: Generative Programming. Addison-Wesley, Reading (2000)
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) (Pubitemid 351424209)
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)
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)
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)
117. Damian, D., Moitra, D. (eds.): Global software development. IEEE Soft. special issue 23(5) (2006)
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) (Pubitemid 40498787)
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) (Pubitemid 43193062)
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)
121. Settimi, R., Berezhanskaya, E., BenKhadra, O., Christina, S., Cleland-Huang, J.: Goalcentric traceability for managing non-functional requirements. In: Proc. of the IEEE Int. Conf. on Soft. Eng. (ICSE), pp. 362-371 (2005)
122. Zave, P.: Classification of research efforts in requirements engineering. ACM Comp. Sur. 29(4), 315-321 (1997)
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)
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)
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)
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) (Pubitemid 46395337)
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)
128. Lauesen, S.: COTS tenders and integration requirements. In: Proc. of the IEEE Int. Req. Eng. Conf. (RE), pp. 166-175 (2004) (Pubitemid 40498781)
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)
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)
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)
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)
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)
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)
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) (Pubitemid 46405277)
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) (Pubitemid 36921478)
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) (Pubitemid 35466932)
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)
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) (Pubitemid 32485675)
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) (Pubitemid 351424212)
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) (Pubitemid 41563790)
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) (Pubitemid 126771677)
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)
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)
145. Lutz, R., Mikulski, I.C.: Operational anomalies as a cause of safety-critical requirements evolution. J. of Sys. and Soft., 155-161 (2003)
146. Shaw, M.: What makes good research in software engineering? Int. Jour. of Soft. Tools for Tech. Trans. 4(1), 1-7 (2002)
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)
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)
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)
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)
151. Sutcliffe, A., Maiden, N.: The domain theory for requirements engineering. IEEE Trans. on Soft. Eng. 24(3), 174-196 (1998) (Pubitemid 128740274)
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) (Pubitemid 41563784)
153. Zave, P.: Feature interactions and formal specifications in telecommunications. IEEE Comp. 26(8), 20-29 (1993)
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)
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)
156. Harel, D.: Statecharts: A visual formalism for complex systems. Sci. Comp. Prog. 8(3), 231-274 (1987) (Pubitemid 17617706)
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)
158. Antón, A.I.: Goal-based requirements analysis. In: Proc. of the IEEE Int. Req. Eng. Conf. (RE), pp. 136-144 (1996)
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)
160. Robertson, S., Robertson, J.: Mastering the Requirements Process. Addison-Wesley, Reading (1999)
161. Glinz, M., Wieringa, R.J.: Guest editors' introduction: Stakeholders in requirements engineering. IEEE Software 24(2), 18-20 (2007) (Pubitemid 46510288)
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
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) (Pubitemid 40925155)
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)
171. Broy, M.: The 'grand challenge' in informatics: Engineering software-intensive systems. IEEE Computer 39(10), 72-80 (2006) (Pubitemid 44593693)
172. Ebert, C.: Understanding the product life cycle: Four key requirements engineering techniques. IEEE Soft 23(3), 19-25 (2006)
173. Pohl, K., Weyer, T.: 5. In: Documenting Variability in Requirements Artefacts. Software Product Line Engineering. Springer, Heidelberg (2005)
174. Herbsleb, J.D.: Global software engineering: The future of socio-technical coordination. In: Future of Software Engineering (2007)
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)
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) (Pubitemid 44019308)
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) (Pubitemid 35466920)
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) (Pubitemid 47455978)
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) (Pubitemid 47430636)
180. Fereira, M.: Genetic algorithm for model checking concurrent programs. In: Proceedings of ACM Genetic And Evolutionary Computation Conference, GECCO (2008)
181. Jackson, M., Zave, P.: Domain descriptions. In: Proc. of the IEEE Int. Req. Eng. Conf. (RE), pp. 54-64 (1993)
182. Shaw, M.: "Self-Healing": Softening precision to avoid brittleness. In: Work. on Self-Healing Sys (WOSS) (November 2002) Position paper
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) (Pubitemid 41436055)
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)
185. van Lamsweerde, A.: Evaluating alternative options. Private Communication (2007)
186. Ganti, R.K., Jayachandran, P., Abdelzaher, T.F., Stankovic, J.A.: SATIRE: A softwarwe architecture for smart at TIRE. In: Proc. of the Inl. Conf. on Mobile Sys., Appl., and Serv (Mobisys), pp. 110-123 (2006) (Pubitemid 44440792)
187. Maurice, P.A., Harmon, T.C.: Environmental embedded sensor networks. Environmental Engineering Science 24(1) (2007); Special issue on environmental embedded sensor networks
188. Jackson, M.: What can we expect from program verification? IEEE Computer 39(10), 65-71 (2006) (Pubitemid 44593692)
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) (Pubitemid 43823772)
190. Alur, R., Henzinger, T., Lafferriere, G., Pappas, G.: Discrete abstractions of hybrid systems. Proc. of IEEE 88(7) (July 2000)
191. Kramer, J., Magee, J.: Self-managed systems: An architectural challenge. In: Future of Software Engineering (2007)
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) (Pubitemid 128055704)
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)
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)
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) (Pubitemid 39738013)
196. Zhang, J., Cheng, B.H.C.: Specifying adaptation semantics. In: Proc. of the Work. on Architecting Depend. Sys. (WADS), pp. 1-7 (2005)
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)
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)
199. Robinson, W.N.: Monitoring web service requirements. In: Proc. of the IEEE Int. Req. Eng. Conf. (RE), pp. 65-74 (2003)
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)
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)
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)
203. McKinley, P.K., Cheng, B.H., Ofria, C., Knoester, D., Beckmann, B., Goldsby, H.: Harnessing digital evolution. IEEE Computer 41(1) (January 2008)
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)
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)
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)
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)