{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,20]],"date-time":"2026-06-20T17:34:35Z","timestamp":1781976875234,"version":"3.54.5"},"publisher-location":"Cham","reference-count":51,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319741826","type":"print"},{"value":"9783319741833","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-74183-3_1","type":"book-chapter","created":{"date-parts":[[2018,1,17]],"date-time":"2018-01-17T13:02:43Z","timestamp":1516194163000},"page":"3-30","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":49,"title":["Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances"],"prefix":"10.1007","author":[{"given":"Rog\u00e9rio","family":"de Lemos","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"David","family":"Garlan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Carlo","family":"Ghezzi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Holger","family":"Giese","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jesper","family":"Andersson","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marin","family":"Litoiu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bradley","family":"Schmerl","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Danny","family":"Weyns","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Luciano","family":"Baresi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nelly","family":"Bencomo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yuriy","family":"Brun","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Javier","family":"Camara","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Radu","family":"Calinescu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Myra B.","family":"Cohen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alessandra","family":"Gorla","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vincenzo","family":"Grassi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lars","family":"Grunske","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Paola","family":"Inverardi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jean-Marc","family":"Jezequel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sam","family":"Malek","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Raffaela","family":"Mirandola","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marco","family":"Mori","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hausi A.","family":"M\u00fcller","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Romain","family":"Rouvoy","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Cec\u00edlia M. F.","family":"Rubira","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Eric","family":"Rutten","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mary","family":"Shaw","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Giordano","family":"Tamburrelli","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gabriel","family":"Tamura","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Norha M.","family":"Villegas","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thomas","family":"Vogel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Franco","family":"Zambonelli","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,1,18]]},"reference":[{"key":"1_CR1","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1007\/978-3-642-31072-0_25","volume-title":"Enterprise, Business-Process and Information Systems Modeling","author":"R Ali","year":"2012","unstructured":"Ali, R., Griggio, A., Franz\u00e9n, A., Dalpiaz, F., Giorgini, P.: Optimizing monitoring requirements in self-adaptive systems. In: Bider, I., Halpin, T., Krogstie, J., Nurcan, S., Proper, E., Schmidt, R., Soffer, P., Wrycza, S. (eds.) BPMDS\/EMMSAD -2012. LNBIP, vol. 113, pp. 362\u2013377. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-31072-0_25"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"\u00c5str\u00f6m, K.J., Murray, R.M.: Feedback Systems. An iNtroduction for Scientists and Engineers (2008)","DOI":"10.1515\/9781400828739"},{"key":"1_CR3","unstructured":"\u00c5str\u00f6m, K., Wittenmark, B.: Adaptive Control. Addison-Wesley series in Electrical Engineering: Control Engineering. Addison-Wesley (1995)"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Balzer, B., Litoiu, M., M\u00fcller, H., Smith, D., Storey, M.A., Tilley, S., Wong, K.: 4th international workshop on adoption-centric software engineering. In: Proceedings of the 26th International Conference on Software Engineering, ICSE 2004, pp. 748\u2013749. IEEE Computer Society, Washington, DC (2004)","DOI":"10.1109\/ICSE.2004.1317517"},{"key":"1_CR5","doi-asserted-by":"crossref","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. IEEE Comput. 42, 22\u201327 (2009)","journal-title":"IEEE Comput."},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Blanchette, Jr., S.: Assurance cases for design analysis of complex system of systems software. Technical report, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, April 2009","DOI":"10.2514\/6.2009-1921"},{"key":"1_CR7","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/978-1-84996-086-1_4","volume-title":"Making Systems Safer","author":"R Bloomfield","year":"2010","unstructured":"Bloomfield, R., Bishop, P.: Safety and assurance cases: past, present and possible future-an Adelard perspective. In: Dale, C., Anderson, T. (eds.) Making Systems Safer, pp. 51\u201367. Springer, London (2010). https:\/\/doi.org\/10.1007\/978-1-84996-086-1_4"},{"key":"1_CR8","unstructured":"Bloomfield, R., Peter, B., Jones, C., Froome, P.: ASCAD \u2013 Adelard Safety Case Development Manual. Adelard, 3 Coborn Road, London E3 2DA, UK (1998)"},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-642-02161-9_3","volume-title":"Software Engineering for Self-Adaptive Systems","author":"Y Brun","year":"2009","unstructured":"Brun, Y., Di Marzo Serugendo, G., Gacek, C., Giese, H., Kienle, H., Litoiu, M., M\u00fcller, H., Pezz\u00e8, M., Shaw, M.: Engineering self-adaptive systems through feedback loops. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Software Engineering for Self-Adaptive Systems. LNCS, vol. 5525, pp. 48\u201370. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02161-9_3"},{"issue":"3","key":"1_CR10","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1109\/TSE.2010.92","volume":"37","author":"R Calinescu","year":"2011","unstructured":"Calinescu, R., Grunske, L., Kwiatkowska, M., Mirandola, R., Tamburrelli, G.: Dynamic qos management and optimization in service-based systems. IEEE Trans. Softw. Eng. 37(3), 387\u2013409 (2011)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Casanova, P., Garlan, D., Schmerl, B., Abreu, R.: Diagnosing architectural run-time failures. In: Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2013, pp. 103\u2013112 (2013)","DOI":"10.1109\/SEAMS.2013.6595497"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Casanova, P., Garlan, D., Schmerl, B., Abreu, R.: Diagnosing unobserved components in self-adaptive systems. In: Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2014, pp. 75\u201384 (2014)","DOI":"10.1145\/2593929.2593946"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Checiu, L., Solomon, B., Ionescu, D., Litoiu, M., Iszlai, G.: Observability and controllability of autonomic computing systems for composed web services. In: Proceedings of the 6th IEEE International Symposium on Applied Computational Intelligence and Informatics, (SACI 2011), pp. 269\u2013274. IEEE (2011)","DOI":"10.1109\/SACI.2011.5873012"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-02161-9_1","volume-title":"Software Engineering for Self-Adaptive Systems","author":"BHC Cheng","year":"2009","unstructured":"Cheng, B.H.C., et al.: Software engineering for self-adaptive systems: a research roadmap. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Software Engineering for Self-Adaptive Systems. LNCS, vol. 5525, pp. 1\u201326. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02161-9_1"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/978-3-319-08915-7_4","volume-title":"Models@run.time","author":"BHC Cheng","year":"2014","unstructured":"Cheng, B.H.C., et al.: Using models at runtime to address assurance for self-adaptive systems. In: Bencomo, N., France, R., Cheng, B.H.C., A\u00dfmann, U. (eds.) Models@run.time. LNCS, vol. 8378, pp. 101\u2013136. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-08915-7_4"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Cheng, S.W., Garlan, D., Schmerl, B., Sousa, J.a.P., Spitznagel, B., Steenkiste, P.: Using architectural style as a basis for self-repair. In: Bosch, J., Gentleman, M., Hofmeister, C., Kuusela, J. (eds.) Proceedings of the 3rd Working IEEE\/IFIP Conference on Software Architecture, 25\u201331 August 2002, pp. 45\u201359. Kluwer Academic Publishers (2002)","DOI":"10.1007\/978-0-387-35607-5_3"},{"key":"1_CR17","first-page":"1137","volume":"2","author":"G Dumont","year":"2002","unstructured":"Dumont, G., Huzmezan, M.: Concepts, methods and techniques in adaptive control. IEEE American Control Conf. (ACC) 2, 1137\u20131150 (2002)","journal-title":"IEEE American Control Conf. (ACC)"},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/978-3-642-35813-5_9","volume-title":"Software Engineering for Self-adaptive Systems II","author":"N Esfahani","year":"2013","unstructured":"Esfahani, N., Malek, S.: Uncertainty in self-adaptive software systems. In: de Lemos, R., Giese, H., M\u00fcller, H.A., Shaw, M. (eds.) Software Engineering for Self-adaptive Systems II. LNCS, vol. 7475, pp. 214\u2013238. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-35813-5_9"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Filieri, A., Ghezzi, C., Tamburrelli, G.: Run-time efficient probabilistic model checking. In: 33rd International Conference on Software Engineering (ICSE), pp. 341\u2013350, May 2011","DOI":"10.1145\/1985793.1985840"},{"key":"1_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/978-3-642-36249-1_2","volume-title":"Assurances for Self-Adaptive Systems","author":"A Filieri","year":"2013","unstructured":"Filieri, A., Tamburrelli, G.: Probabilistic verification at runtime for self-adaptive systems. In: C\u00e1mara, J., de Lemos, R., Ghezzi, C., Lopes, A. (eds.) Assurances for Self-Adaptive Systems. LNCS, vol. 7740, pp. 30\u201359. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-36249-1_2"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Garlan, D.: Software engineering in an uncertain world. In: Proceedings of the FSE\/SDP Workshop on Future of Software Engineering Research, FoSER 2010, pp. 125\u2013128 (2010)","DOI":"10.1145\/1882362.1882389"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Hellerstein, J.L., Diao, Y., Parekh, S., Tilbury, D.M.: Feedback Control of Computing Systems. Wiley (2004)","DOI":"10.1002\/047166880X"},{"key":"1_CR23","unstructured":"IBM Corporation: An Architectural Blueprint for Autonomic Computing. IBM Corporation, Technical report (2006)"},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"Iftikhar, M.U., Weyns, D.: Activforms: active formal models for self-adaptation. In: Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2014, pp. 125\u2013134 (2014)","DOI":"10.1145\/2593929.2593944"},{"key":"1_CR25","doi-asserted-by":"crossref","unstructured":"Gil de la Iglesia, D., Weyns, D.: Guaranteeing robustness in a mobile learning application using formally verified MAPE loops. In: Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2013, pp. 83\u201392 (2013)","DOI":"10.1109\/SEAMS.2013.6595495"},{"key":"1_CR26","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-1-4471-0653-1_6","volume-title":"Current Issues in Safety-Critical Systems","author":"TP Kelly","year":"2003","unstructured":"Kelly, T.P.: Managing complex safety cases. In: Redmill, F., Anderson, T. (eds.) Current Issues in Safety-Critical Systems, pp. 99\u2013115. Springer, London (2003). https:\/\/doi.org\/10.1007\/978-1-4471-0653-1_6"},{"issue":"1","key":"1_CR27","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"JO Kephart","year":"2003","unstructured":"Kephart, J.O., Chess, D.M.: The vision of autonomic computing. IEEE Comput. 36(1), 41\u201350 (2003)","journal-title":"IEEE Comput."},{"key":"1_CR28","doi-asserted-by":"crossref","unstructured":"Kit, M., Gerostathopoulos, I., Bures, T., Hnetynka, P., Plasil, F.: An architecture framework for experimentations with self-adaptive cyber-physical systems. In: Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2015, pp. 93\u201396 (2015)","DOI":"10.1109\/SEAMS.2015.28"},{"key":"1_CR29","doi-asserted-by":"crossref","unstructured":"Kramer, J., Magee, J.: Self-Managed Systems: an Architectural Challenge. In: FOSE 2007: 2007 Future of Software Engineering, pp. 259\u2013268. IEEE Computer Society, Washington, DC (2007)","DOI":"10.1109\/FOSE.2007.19"},{"key":"1_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-35813-5_1","volume-title":"Software Engineering for Self-adaptive Systems II","author":"R Lemos de","year":"2013","unstructured":"de Lemos, R., et al.: Software engineering for self-adaptive systems: a second research roadmap. In: de Lemos, R., Giese, H., M\u00fcller, H.A., Shaw, M. (eds.) Software Engineering for Self-adaptive Systems II. LNCS, vol. 7475, pp. 1\u201332. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-35813-5_1"},{"issue":"1","key":"1_CR31","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/1216895.1216898","volume":"2","author":"M Litoiu","year":"2007","unstructured":"Litoiu, M.: A performance analysis method for autonomic computing systems. ACM Trans. Auton. Adapt. Syst. 2(1), 3 (2007)","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"key":"1_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/3-540-36554-0_3","volume-title":"Self-Adaptive Software: Applications","author":"G Karsai","year":"2003","unstructured":"Karsai, G., Ledeczi, A., Sztipanovits, J., Peceli, G., Simon, G., Kovacshazy, T.: An approach to self-adaptive software based on supervisory control. In: Laddaga, R., Shrobe, H., Robertson, P. (eds.) IWSAS 2001. LNCS, vol. 2614, pp. 24\u201338. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-36554-0_3"},{"key":"1_CR33","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/B978-0-12-802855-1.00003-4","volume-title":"Managing Trade-Offs in Adaptable Software Architectures","author":"S Mahdavi-Hezavehi","year":"2017","unstructured":"Mahdavi-Hezavehi, S., Avgeriou, P., Weyns, D.: A classification framework of uncertainty in architecture-based self-adaptive systems with multiple quality requirements. In: Mistrik, I., Ali, N., Kazman, R., Grundy, J., Schmerl, B. (eds.) Managing Trade-Offs in Adaptable Software Architectures, pp. 45\u201377. Morgan Kaufmann, Boston (2017)"},{"key":"1_CR34","doi-asserted-by":"crossref","unstructured":"Murray, R.M.: Control in an Information Rich World: Report of the Panel on Future Directions in Control, Dynamics, and Systems. SIAM (2003)","DOI":"10.1137\/1.9780898718010"},{"key":"1_CR35","doi-asserted-by":"crossref","unstructured":"Perez-Palacin, D., Mirandola, R.: Uncertainties in the modeling of self-adaptive systems: a taxonomy and an example of availability evaluation. In: Proceedings of the 5th ACM\/SPEC International Conference on Performance Engineering, ICPE 2014, pp. 3\u201314 (2014)","DOI":"10.1145\/2568088.2568095"},{"key":"1_CR36","unstructured":"Redondo, R.P.D., Arias, J.J.P., Vilas, A.F.: Reusing verification information of incomplete specifications. In: Component-based Software Engineering Workshop, Lund, Sweden (2002)"},{"key":"1_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1007\/978-3-319-74183-3_3","volume-title":"Self-Adaptive Systems III","author":"B Schmerl","year":"2017","unstructured":"Schmerl, B., et al.: Challenges in composing and decomposing assurances for self-adaptive systems. In: de Lemos, R., Garlan, D., Ghezzi, C., Giese, H. (eds.) Self-Adaptive Systems III. LNCS, vol. 9640, pp. 64\u201389. Springer, Heidelberg (2017)"},{"key":"1_CR38","doi-asserted-by":"crossref","unstructured":"Schmerl, B., C\u00e1mara, J., Gennari, J., Garlan, D., Casanova, P., Moreno, G.A., Glazier, T.J., Barnes, J.M.: Architecture-based self-protection: composing and reasoning about denial-of-service mitigations. In: HotSoS 2014: 2014 Symposium and Bootcamp on the Science of Security, 8\u20139 April 2014, Raleigh, NC, USA (2014)","DOI":"10.1145\/2600176.2600181"},{"issue":"5","key":"1_CR39","doi-asserted-by":"crossref","first-page":"823","DOI":"10.1109\/72.317733","volume":"5","author":"T Shibata","year":"1994","unstructured":"Shibata, T., Fukuda, T.: Hierarchical intelligent control for robotic motion. IEEE Trans. Neural Networks 5(5), 823\u2013832 (1994)","journal-title":"IEEE Trans. Neural Networks"},{"key":"1_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-642-29860-8_15","volume-title":"Runtime Verification","author":"SD Stoller","year":"2012","unstructured":"Stoller, S.D., Bartocci, E., Seyster, J., Grosu, R., Havelund, K., Smolka, S.A., Zadok, E.: Runtime verification with state estimation. In: Khurshid, S., Sen, K. (eds.) RV 2011. LNCS, vol. 7186, pp. 193\u2013207. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-29860-8_15"},{"key":"1_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-642-35813-5_5","volume-title":"Software Engineering for Self-adaptive Systems II","author":"G Tamura","year":"2013","unstructured":"Tamura, G., et al.: Towards practical runtime verification and validation of self-adaptive software systems. In: de Lemos, R., Giese, H., M\u00fcller, H.A., Shaw, M. (eds.) Software Engineering for Self-adaptive Systems II. LNCS, vol. 7475, pp. 108\u2013132. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-35813-5_5"},{"key":"1_CR42","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/B978-0-12-802855-1.00002-2","volume-title":"Managing Trade-Offs in Adaptable Software Architectures","author":"N Villegas","year":"2017","unstructured":"Villegas, N., Tamura, G., M\u00fcller, H.: Chapter 2 - Architecting software systems for runtime self-adaptation: concepts, models, and challenges. In: Mistrik, I., Ali, N., Kazman, R., Grundy, J., Schmerl, B. (eds.) Managing Trade-Offs in Adaptable Software Architectures, pp. 17\u201343. Morgan Kaufmann, Boston (2017)"},{"key":"1_CR43","doi-asserted-by":"crossref","unstructured":"Villegas, N., M\u00fcller, H., Tamura, G., Duchien, L., Casallas, R.: A framework for evaluating quality-driven self-adaptive software systems. In: Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2011), pp. 80\u201389. ACM (2011)","DOI":"10.1145\/1988008.1988020"},{"key":"1_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-642-35813-5_11","volume-title":"Software Engineering for Self-adaptive Systems II","author":"NM Villegas","year":"2013","unstructured":"Villegas, N.M., Tamura, G., M\u00fcller, H.A., Duchien, L., Casallas, R.: DYNAMICO: a reference model for governing control objectives and context relevance in self-adaptive software systems. In: de Lemos, R., Giese, H., M\u00fcller, H.A., Shaw, M. (eds.) Software Engineering for Self-adaptive Systems II. LNCS, vol. 7475, pp. 265\u2013293. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-35813-5_11"},{"issue":"4","key":"1_CR45","doi-asserted-by":"crossref","first-page":"18:1","DOI":"10.1145\/2555612","volume":"8","author":"T Vogel","year":"2014","unstructured":"Vogel, T., Giese, H.: Model-driven engineering of self-adaptive software with EUREMA. ACM Trans. Auton. Adapt. Syst. 8(4), 18:1\u201318:33 (2014)","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"key":"1_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/978-3-319-74183-3_2","volume-title":"Self-Adaptive Systems III","author":"D Weyns","year":"2017","unstructured":"Weyns, D., et al.: Perpetual assurances for self-adaptive systems. In: de Lemos, R., Garlan, D., Ghezzi, C., Giese, H. (eds.) Self-Adaptive Systems III. LNCS, vol. 9640, pp. 31\u201363. Springer, Heidelberg (2017)"},{"key":"1_CR47","doi-asserted-by":"crossref","unstructured":"Weyns, D., Calinescu, R.: Tele assistance: a self-adaptive service-based system examplar. In: Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-managing Systems, SEAMS 2015, pp. 88\u201392. IEEE Press, Piscataway (2015)","DOI":"10.1109\/SEAMS.2015.27"},{"key":"1_CR48","doi-asserted-by":"crossref","unstructured":"Weyns, D., Iftikhar, M.U., de la Iglesia, D.G., Ahmad, T.: A survey of formal methods in self-adaptive systems. In: Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering, C3S2E 2012, pp. 67\u201379(2012)","DOI":"10.1145\/2347583.2347592"},{"issue":"1","key":"1_CR49","doi-asserted-by":"crossref","first-page":"8:1","DOI":"10.1145\/2168260.2168268","volume":"7","author":"D Weyns","year":"2012","unstructured":"Weyns, D., Malek, S., Andersson, J.: FORMS: unifying reference model for formal specification of distributed self-adaptive systems. ACM Trans. Auton. Adapt. Syst. 7(1), 8:1\u20138:61 (2012)","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"key":"1_CR50","series-title":"CRPIT","first-page":"13","volume-title":"Ninth Australian Workshop on Safety-Related Programmable Systems (SCS 2004)","author":"F Ye","year":"2004","unstructured":"Ye, F., Kelly, T.: Contract-based justification for cots component within safety critical applications. In: Cant, T. (ed.) Ninth Australian Workshop on Safety-Related Programmable Systems (SCS 2004). CRPIT, vol. 47, pp. 13\u201322. ACS, Brisbane (2004)"},{"issue":"10","key":"1_CR51","doi-asserted-by":"crossref","first-page":"1361","DOI":"10.1016\/j.jss.2006.02.062","volume":"79","author":"J Zhang","year":"2006","unstructured":"Zhang, J., Cheng, B.H.: Using temporal logic to specify adaptive program semantics. J. Syst. Softw. 79(10), 1361\u20131369 (2006)","journal-title":"J. Syst. Softw."}],"container-title":["Lecture Notes in Computer Science","Software Engineering for Self-Adaptive Systems III. Assurances"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-74183-3_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,29]],"date-time":"2025-06-29T22:06:13Z","timestamp":1751234773000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-74183-3_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319741826","9783319741833"],"references-count":51,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-74183-3_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}