{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T04:18:29Z","timestamp":1745986709116,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":53,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642359910"},{"type":"electronic","value":"9783642359927"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-35992-7_7","type":"book-chapter","created":{"date-parts":[[2013,1,2]],"date-time":"2013-01-02T06:22:16Z","timestamp":1357107736000},"page":"271-296","source":"Crossref","is-referenced-by-count":8,"title":["Requirements for Self-adaptation"],"prefix":"10.1007","author":[{"given":"Nelly","family":"Bencomo","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Bencomo, N., Whittle, J., Sawyer, P., Finkelstein, A., Letier, E.: Requirements reflection: requirements as runtime entities. In: Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering, ICSE 2010, vol.\u00a02, pp. 199\u2013202 (2010)","DOI":"10.1145\/1810295.1810329"},{"key":"7_CR2","unstructured":"Fickas, S., Feather, M.: Requirements monitoring in dynamic environments. In: Second IEEE International Symposium on Requirements Engineering, RE 1995 (1995)"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Feather, M., Fickas, S., van Lamsweerde, A., Ponsard, C.: Reconciling system requirements and runtime behavior. In: Proceedings of Ninth International Workshop on Software Specification and Design, pp. 50\u201359 (April 1998)","DOI":"10.1109\/IWSSD.1998.667919"},{"issue":"4","key":"7_CR4","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1145\/643550.643553","volume":"6","author":"L. Capra","year":"2002","unstructured":"Capra, L., Blair, G., Mascolo, C., Emmerich, W., Grace, P.: Exploiting reflection in mobile computing middleware. ACM SIGMOBILE Mobile Computing and Communications Review\u00a06(4), 34\u201344 (2002)","journal-title":"ACM SIGMOBILE Mobile Computing and Communications Review"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Sawyer, P., Bencomo, N., Whittle, J., Letier, E., Finkelstein, A.: Requirements-aware systems: A research agenda for re for self-adaptive systems. In: IEEE International Conference on Requirements Engineering, pp. 95\u2013103 (2010)","DOI":"10.1109\/RE.2010.21"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Kramer, J., Magee, J.: Self-managed systems: an architectural challenge. In: 2007 Future of Software Engineering, FOSE 2007, pp. 259\u2013268. IEEE Computer Society (2007)","DOI":"10.1109\/FOSE.2007.19"},{"issue":"10","key":"7_CR7","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/MC.2004.175","volume":"37","author":"D. Garlan","year":"2004","unstructured":"Garlan, D., Cheng, S.W., Huang, A.C., Schmerl, B., Steenkiste, P.: Rainbow: Architecture-based self-adaptation with reusable infrastructure. IEEE Computer\u00a037(10), 46\u201354 (2004)","journal-title":"IEEE Computer"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Coulson, G., Blair, G., Grace, P., Joolia, A., Lee, K., Ueyama, J., Sivaharan, T.: A generic component model for building systems software. ACM Transactions on Computer Systems (February 2008)","DOI":"10.1145\/1328671.1328672"},{"issue":"3","key":"7_CR9","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1109\/5254.769885","volume":"14","author":"P. Oreizy","year":"1999","unstructured":"Oreizy, P., Gorlick, M.M., Taylor, R.N., Heimbigner, D., Johnson, G., Medvidovic, N., Quilici, A., Rosenblum, D.S., Wolf, A.L.: An architecture-based approach to self-adaptive software. IEEE Intelligent Systems and Their Applications\u00a014(3), 54\u201362 (1999)","journal-title":"IEEE Intelligent Systems and Their Applications"},{"key":"7_CR10","unstructured":"Hughes, D., Greenwood, P., Coulson, G., Blair, G., Pappenberger, F., Smith, P., Beven, K.: Gridstix: Supporting flood prediction using embedded hardware and next generation grid middleware. In: 4th International Workshop on Mobile Distributed Computing (MDC 2006), Niagara Falls, USA (2006)"},{"issue":"1","key":"7_CR11","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/s00766-005-0016-3","volume":"11","author":"W. Robinson","year":"2005","unstructured":"Robinson, W.: A requirements monitoring framework for enterprise systems. Requirements Engineering\u00a011(1), 17\u201341 (2005)","journal-title":"Requirements Engineering"},{"key":"7_CR12","first-page":"193","volume-title":"Proceedings of the 2nd International Conference on Service Oriented Computing, ICSOC 2004","author":"L. Baresi","year":"2004","unstructured":"Baresi, L., Ghezzi, C., Guinea, S.: Smart monitors for composed services. In: Proceedings of the 2nd International Conference on Service Oriented Computing, ICSOC 2004, pp. 193\u2013202. ACM, New York (2004)"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/978-3-642-02161-9_2","volume-title":"Software Engineering for Self-Adaptive Systems","author":"J. Andersson","year":"2009","unstructured":"Andersson, J., Lemos, R., Malek, S., Weyns, D.: Modeling Dimensions of Self-Adaptive Software Systems. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Software Engineering for Self-Adaptive Systems. LNCS, vol.\u00a05525, pp. 27\u201347. Springer, Heidelberg (2009)"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Goldsby, H.J., Sawyer, P., Bencomo, N., Hughes, D., Cheng, B.H.: Goal-based modeling of dynamically adaptive system requirements. In: 15th Annual IEEE International Conference on the Engineering of Computer Based Systems, ECBS (2008)","DOI":"10.1109\/ECBS.2008.22"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Welsh, K., Sawyer, P., Bencomo, N.: Towards requirements aware systems: Run-time resolution of design-time assumptions. In: 26th IEEE\/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, KS, USA, pp. 560\u2013563 (2011)","DOI":"10.1109\/ASE.2011.6100125"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Zhang, J., Cheng, B.H.: Model-based development of dynamically adaptive software. In: International Conference on Software Engineering (ICSE 2006), China (2006)","DOI":"10.1145\/1134285.1134337"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Hughes, D., Bencomo, N., Blair, G.S., Coulson, G., Grace, P., Porter, B.: Exploiting extreme heterogeneity in a flood warning scenario using the gridkit middleware. In: Middleware (Companion), pp. 54\u201357 (2008)","DOI":"10.1145\/1462735.1462748"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Sawyer, P., Bencomo, N., Hughes, D., Grace, P., Goldsby, H.J., Cheng, B.H.C.: Visualizing the analysis of dynamically adaptive systems using i* and dsls. In: REV 2007: 2nd Interl Workshop on Requirements Engineering Visualization, India (2007)","DOI":"10.1109\/REV.2007.10"},{"key":"7_CR19","unstructured":"Yu, E.S.K.: Towards modeling and reasoning support for early-phase requirements engineering. In: Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE 1997), Washington, DC, USA (1997)"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Whittle, J., Sawyer, P., Bencomo, N., Cheng, B.H., Bruel, J.M.: Relax: Incorporating uncertainty into the specification of self-adaptive systems. In: 17th IEEE International Requirements Engineering Conference, RE 2009 (2009)","DOI":"10.1109\/RE.2009.36"},{"key":"7_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"468","DOI":"10.1007\/978-3-642-04425-0_36","volume-title":"Model Driven Engineering Languages and Systems","author":"B.H. Cheng","year":"2009","unstructured":"Cheng, B.H., Sawyer, P., Bencomo, N., Whittle, J.: A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty. In: Sch\u00fcrr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol.\u00a05795, pp. 468\u2013483. Springer, Heidelberg (2009)"},{"key":"7_CR22","unstructured":"Halpern, J.Y.: Reasoning about uncertainty. MIT Press (2005)"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Probabilistic symbolic model checking with prism: A hybrid approach. International Journal on Software Tools for Technology Transfer (STTT), 52\u201366 (2002)","DOI":"10.1007\/3-540-46002-0_5"},{"issue":"7","key":"7_CR24","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1016\/S0950-7051(00)00071-X","volume":"14","author":"N.E. Fenton","year":"2001","unstructured":"Fenton, N.E., Neil, M.: Making decisions: using bayesian nets and mcda. Knowl.-Based Syst.\u00a014(7), 307\u2013325 (2001)","journal-title":"Knowl.-Based Syst."},{"key":"7_CR25","unstructured":"Stewart, M., Melchers, R.: Probabilistic Risk Assessment of Engineering Systems. Springer (2007)"},{"key":"7_CR26","doi-asserted-by":"crossref","unstructured":"Gollier, C.: The Economics of Risk and Time. MIT (2001)","DOI":"10.7551\/mitpress\/2622.001.0001"},{"key":"7_CR27","unstructured":"Courtney, H.: 20\/20 Foresight: Crafting Strategy in an Uncertain World. Harvard Business School Press (2001)"},{"key":"7_CR28","unstructured":"Maes, P.: Computional reflection. PhD thesis, Vrije Universiteit (1987)"},{"key":"7_CR29","unstructured":"van Lamsweerde, A.: Requirements Engineering: From System Goals to UML Models to Software Specifications. John Wiley & Sons (2009)"},{"issue":"10","key":"7_CR30","doi-asserted-by":"publisher","first-page":"978","DOI":"10.1109\/32.879820","volume":"26","author":"A. Lamsweerde van","year":"2000","unstructured":"van Lamsweerde, A., Letier, E.: Handling obstacles in goal-oriented requirements engineering. IEEE Trans. Software Eng.\u00a026(10), 978\u20131005 (2000)","journal-title":"IEEE Trans. Software Eng."},{"issue":"10","key":"7_CR31","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1109\/MC.2009.326","volume":"42","author":"G. Blair","year":"2009","unstructured":"Blair, G., Bencomo, N., France, R.B.: Models@ run.time. Computer\u00a042(10), 22\u201327 (2009)","journal-title":"Computer"},{"key":"7_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/978-3-540-69100-6_21","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"A. Goknil","year":"2008","unstructured":"Goknil, A., Kurtev, I., Berg, K.: A Metamodeling Approach for Reasoning about Requirements. In: Schieferdecker, I., Hartman, A. (eds.) ECMDA-FA 2008. LNCS, vol.\u00a05095, pp. 310\u2013325. Springer, Heidelberg (2008)"},{"key":"7_CR33","doi-asserted-by":"crossref","unstructured":"Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Science of Computer Programming, 3\u201350 (1993)","DOI":"10.1016\/0167-6423(93)90021-G"},{"key":"7_CR34","doi-asserted-by":"crossref","unstructured":"Bencomo, N., Welsh, K., Sawyer, P., Whittle, J.: Self-explanation in adaptive systems. In: 17th IEEE Int. Conf. International Conference on Engineering of Complex Computer Systems, ICECCS (2012)","DOI":"10.1109\/ICECCS20050.2012.6299211"},{"key":"7_CR35","doi-asserted-by":"crossref","unstructured":"Cheng, B.H.C., Atlee, J.M.: Research directions in requirements engineering. In: FOSE 2007, pp. 285\u2013303 (2007)","DOI":"10.1109\/FOSE.2007.17"},{"key":"7_CR36","first-page":"238","volume-title":"Proceedings of the 12th International Conference on Software Engineering, ICSE 1990","author":"W.L. Johnson","year":"1990","unstructured":"Johnson, W.L., Feather, M.: Building an evolution transformation library. In: Proceedings of the 12th International Conference on Software Engineering, ICSE 1990, pp. 238\u2013248. IEEE Computer Society Press, Los Alamitos (1990)"},{"key":"7_CR37","doi-asserted-by":"crossref","unstructured":"Egyed, A.: Fixing inconsistencies in uml design models. In: ICSE, pp. 292\u2013301 (2007)","DOI":"10.1109\/ICSE.2007.38"},{"issue":"2","key":"7_CR38","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/s10515-008-0027-7","volume":"15","author":"E. Letier","year":"2008","unstructured":"Letier, E., Kramer, J., Magee, J., Uchitel, S.: Deriving event-based transition systems from goal-oriented requirements models. Autom. Softw. Eng.\u00a015(2), 175\u2013206 (2008)","journal-title":"Autom. Softw. Eng."},{"key":"7_CR39","doi-asserted-by":"crossref","unstructured":"Baresi, L., Pasquale, L.: Fuzzy goals for requirements-driven adaptatio. In: 18th International IEEE Requirements Engineering Conference, RE 2010 (2010)","DOI":"10.1109\/RE.2010.25"},{"key":"7_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"782","DOI":"10.1007\/978-3-540-87875-9_54","volume-title":"Model Driven Engineering Languages and Systems","author":"B. Morin","year":"2008","unstructured":"Morin, B., Fleurey, F., Bencomo, N., Jezequel, J.M., Solberg, A., Dehlen, V., Blair, G.: An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 782\u2013796. Springer, Heidelberg (2008)"},{"key":"7_CR41","doi-asserted-by":"crossref","unstructured":"Bencomo, N., Grace, P., Flores, C., Hughes, D., Blair, G.: Genie: Supporting the model driven development of reflective, component-based adaptive systems. In: ICSE 2008 - Formal Research Demonstrations Track (2008)","DOI":"10.1145\/1368088.1368207"},{"key":"7_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-642-02161-9_10","volume-title":"Software Engineering for Self-Adaptive Systems","author":"N. Bencomo","year":"2009","unstructured":"Bencomo, N., Blair, G.: Using Architecture Models to Support the Generation and Operation of Component-Based Adaptive Systems. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Software Engineering for Self-Adaptive Systems. LNCS, vol.\u00a05525, pp. 183\u2013200. Springer, Heidelberg (2009)"},{"key":"7_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/978-3-642-21455-4_7","volume-title":"Formal Methods for Eternal Networked Software Systems","author":"V. Issarny","year":"2011","unstructured":"Issarny, V., Bennaceur, A., Bromberg, Y.-D.: Middleware-Layer Connector Synthesis: Beyond State of the Art in Middleware Interoperability. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol.\u00a06659, pp. 217\u2013255. Springer, Heidelberg (2011)"},{"key":"7_CR44","unstructured":"Berry, D., Cheng, B., Zhang, J.: The four levels of requirements engineering for and in dynamic adaptive systems. In: 11th International Workshop on Requirements Engineering: Foundation for Software Quality (REFSQ 2005), Porto, Portugal (2005)"},{"key":"7_CR45","doi-asserted-by":"crossref","unstructured":"Morin, B., Barais, O., Nain, G., Jezequel, J.M.: Taming dynamically adaptive systems using models and aspects. In: International Conference in Software Engineering, ICSE (2009)","DOI":"10.1109\/ICSE.2009.5070514"},{"key":"7_CR46","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1145\/1774088.1774180","volume-title":"Proceedings of the 2010 ACM Symposium on Applied Computing, SAC 2010","author":"D. Sykes","year":"2010","unstructured":"Sykes, D., Heaven, W., Magee, J., Kramer, J.: Exploiting non-functional preferences in architectural adaptation for self-managed systems. In: Proceedings of the 2010 ACM Symposium on Applied Computing, SAC 2010, pp. 431\u2013438. ACM, New York (2010)"},{"key":"7_CR47","unstructured":"Lapouchnian, A.: Exploiting Requirements Variability for Software Customization and Adaptation. PhD thesis, University of Toronto (2011)"},{"key":"7_CR48","doi-asserted-by":"crossref","unstructured":"Silva Souza, V.E., Lapouchnian, A., Robinson, W.N., Mylopoulos, J.: Awareness requirements for adaptive systems. Technical report, University of Trento (2010)","DOI":"10.1145\/1988008.1988018"},{"key":"7_CR49","doi-asserted-by":"crossref","unstructured":"Letier, E., van Lamsweerde, A.: Reasoning about partial goal satisfaction for requirements and design engineering. In: Proc. of 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 53\u201362 (2004)","DOI":"10.1145\/1029894.1029905"},{"key":"7_CR50","unstructured":"DeLoach, S.A., Miller, M.: A goal model for adaptive complex systems. International Journal of Computational Intelligence: Theory and Practice\u00a05(2) (2010)"},{"key":"7_CR51","doi-asserted-by":"crossref","unstructured":"Chen, B., Peng, X., Yu, Y., Zhao, W.: Are your sites down? requirements-driven self-tuning for the survivability of web systems. In: 19th International Conference on Requirements Engineering (2011)","DOI":"10.1109\/RE.2011.6051650"},{"issue":"2","key":"7_CR52","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/s00766-010-0101-0","volume":"15","author":"J. Whittle","year":"2010","unstructured":"Whittle, J., Sawyer, P., Bencomo, N., Cheng, B.H.C., Bruel, J.M.: Relax: a language to address uncertainty in self-adaptive systems requirement. Requir. Eng.\u00a015(2), 177\u2013196 (2010)","journal-title":"Requir. Eng."},{"key":"7_CR53","doi-asserted-by":"crossref","unstructured":"Ramirez, A.J., Jensen, A.C., Cheng, B.H.C., Knoester, D.B.: Automatically exploring how uncertainty impacts behavior of dynamically adaptive systems. In: 26th IEEE\/ACM International Conference on Automated Software Engineering, ASE, pp. 568\u2013571 (2011)","DOI":"10.1109\/ASE.2011.6100127"}],"container-title":["Lecture Notes in Computer Science","Generative and Transformational Techniques in Software Engineering IV"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35992-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T15:33:53Z","timestamp":1745940833000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35992-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642359910","9783642359927"],"references-count":53,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35992-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}