{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T04:21:20Z","timestamp":1775881280960,"version":"3.50.1"},"publisher-location":"Cham","reference-count":37,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319738963","type":"print"},{"value":"9783319738970","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"adesso AG"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-73897-0_2","type":"book-chapter","created":{"date-parts":[[2018,6,13]],"date-time":"2018-06-13T14:44:40Z","timestamp":1528901080000},"page":"25-36","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Formal Methods and Agile Development: Towards a Happy Marriage"],"prefix":"10.1007","author":[{"given":"Carlo","family":"Ghezzi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,6,14]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Avizienis, A., Laprie, J.-C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secure Comput. 1, 11\u201333 (2004)","DOI":"10.1109\/TDSC.2004.2"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Baresi, L., Ghezzi, C.: The disappearing boundary between development-time and run-time. In: Proceedings of the FSE\/SDP Workshop on Future of Software Engineering Research, FoSER \u201910, pp. 17\u201322 (2010)","DOI":"10.1145\/1882362.1882367"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Baresi, L., Di Nitto, E., Ghezzi, C.: Toward open-world software: issue and challenges. IEEE Comput. 39(12), 36\u201343 (2006)","DOI":"10.1109\/MC.2006.362"},{"key":"2_CR4","unstructured":"Baresi, L., Ghezzi, C., Ma, X., Panzica La Manna, V.: Efficient dynamic updates of distributed components through version consistency. IEEE Trans. Softw. Eng. 43(4), 340\u2013358 (2017)"},{"key":"2_CR5","unstructured":"Bass, L., Weber, I., Zhu, L.: DevOps: A Software Architect\u2019s Perspective. Addison-Wesley Professional, Reading (2015)"},{"key":"2_CR6","unstructured":"Belady, L.A., Lehman, M.M.: A model of large program development. IBM Syst. J. 15(3), 225\u2013252 (1976)"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Bianculli, D., Filieri, A., Ghezzi, C., Mandrioli, D.: Incremental syntactic-semantic reliability analysis of evolving structured workflows. In: International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp. 41\u201355 (2014)","DOI":"10.1007\/978-3-662-45234-9_4"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Bianculli, D., Filieri, A., Ghezzi, C., Mandrioli, D., Rizzi, A.M.: Syntax-driven program verification of matching logic properties. In: Proceedings of FME Workshop on Formal Methods in Software Engineering (2015)","DOI":"10.1109\/FormaliSE.2015.18"},{"issue":"10","key":"2_CR9","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. IEEE Comput. 42(10), 22\u201327 (2009)","journal-title":"IEEE Comput."},{"issue":"9","key":"2_CR10","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/2330667.2330686","volume":"55","author":"R Calinescu","year":"2012","unstructured":"Calinescu, R., Ghezzi, C., Kwiatkowska, M., Mirandola, R.: Self-adaptive software needs quantitative verification at runtime. Commun. ACM 55(9), 69\u201377 (2012)","journal-title":"Commun. ACM"},{"key":"2_CR11","unstructured":"Cheng, B., et al.: Software engineering for self-adaptive systems: a research roadmap. In: Software Engineering for Self-adaptive Systems, pp. 1\u201326. Springer, Berlin (2009)"},{"key":"2_CR12","doi-asserted-by":"publisher","DOI":"10.1201\/b21841","volume-title":"Engineering Modeling Languages: Turning Domain Knowledge into Tools","author":"B Combemale","year":"2016","unstructured":"Combemale, B., France, R., J\u00e9z\u00e9quel, J.M., Rumpe, B., Steel, J., Vojtisek, D.: Engineering Modeling Languages: Turning Domain Knowledge into Tools. CRC Press, Boca Raton (2016)"},{"key":"2_CR13","unstructured":"De Lemos, R., et al.: Software engineering for self-adaptive systems: a second research roadmap. In: Software Engineering for Self-adaptive Systems II, pp. 1\u201332. Springer, Berlin (2013)"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Epifani, I., Ghezzi, C., Mirandola, R., Tamburrelli, G.: Model evolution by run-time parameter adaptation. In: IEEE 31st International Conference on Software Engineering, pp. 111\u2013121 (2009)","DOI":"10.1109\/ICSE.2009.5070513"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Filieri, A., Ghezzi, C., Tamburrelli, G.: Run-time efficient probabilistic model checking. In: Proceedings of the 33rd International Conference on Software Engineering, pp. 341\u2013350 (2011)","DOI":"10.1145\/1985793.1985840"},{"issue":"2","key":"2_CR16","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/s00165-011-0207-2","volume":"24","author":"A Filieri","year":"2012","unstructured":"Filieri, A., Ghezzi, C., Tamburrelli, G.: A formal approach to adaptive software: continuous assurance of non-functional requirements. Form. Asp. Comput. 24(2), 163\u2013186 (2012)","journal-title":"Form. Asp. Comput."},{"issue":"1","key":"2_CR17","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1109\/TSE.2015.2421318","volume":"42","author":"A Filieri","year":"2016","unstructured":"Filieri, A., Tamburrelli, G., Ghezzi, C.: Supporting self-adaptation via quantitative verification and sensitivity analysis at run time. IEEE Trans. Softw. Eng. 42(1), 75\u201399 (2016)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"2_CR18","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1007\/978-3-319-34096-8_2","volume-title":"Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, June 20\u201324, 2016","author":"C Ghezzi","year":"2016","unstructured":"Ghezzi, C.: Dependability of adaptable and evolvable distributed systems. In: Bernardo, M., De Nicola, R., Hillston, J. (eds.) Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, June 20\u201324, 2016, pp. 36\u201360. Springer, Berlin (2016)"},{"key":"2_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1002\/smr.1888","volume":"29","author":"C Ghezzi","year":"2017","unstructured":"Ghezzi, C.: Of software and change. J. Softw. Evol. Process 29, 1\u201314 (2017)","journal-title":"J. Softw. Evol. Process"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Ghezzi, C., Tamburrelli, G.: Reasoning on non-functional requirements for integrated services. In: Proceedings of 17th IEEE International Requirements Engineering Conference, pp. 69\u201378 (2009)","DOI":"10.1109\/RE.2009.34"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Ghezzi, C., Pinto Sales, L., Spoletini, P., Tamburrelli, G.: Managing non-functional uncertainty via model-driven adaptivity. In: Proceedings of the 2013 International Conference on Software Engineering, pp. 33\u201342 (2013)","DOI":"10.1109\/ICSE.2013.6606549"},{"key":"2_CR22","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-642-37395-4_3","volume-title":"Perspectives on the Future of Software Engineering: Essays in Honor of Dieter Rombach","author":"C Ghezzi","year":"2013","unstructured":"Ghezzi, C., Sharifloo Molzam, A., Menghi, C.: Towards agile verification. In: M\u00fcnch, J., Schmid, K. (eds.) Perspectives on the Future of Software Engineering: Essays in Honor of Dieter Rombach, pp. 31\u201347. Springer, Berlin (2013)"},{"key":"2_CR23","unstructured":"Ghezzi, C., Panzica La Manna, V., Motta, A., Tamburrelli, G.: Performance-driven dynamic service selection. Concurr. Comput. Pract. Exp. 27(3), 633\u2013650 (2015)"},{"issue":"4","key":"2_CR24","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1109\/MC.2008.123","volume":"41","author":"S Hallsteinsen","year":"2008","unstructured":"Hallsteinsen, S., Hinchey, M., Sooyong P., Schmid, K.: Dynamic software product lines. IEEE Comput. 41(4), 93\u201395 (2008)","journal-title":"IEEE Comput."},{"issue":"1","key":"2_CR25","doi-asserted-by":"publisher","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."},{"issue":"11","key":"2_CR26","doi-asserted-by":"publisher","first-page":"1293","DOI":"10.1109\/32.60317","volume":"16","author":"J Kramer","year":"1990","unstructured":"Kramer, J., Magee, J.: The evolving philosophers problem: dynamic change management. IEEE Trans. Softw. Eng. 16(11), 1293\u20131306 (1990)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"2_CR27","volume-title":"Program Evolution: Processes of Software Change","author":"MM Lehman","year":"1985","unstructured":"Lehman, M.M., Belady, L.A.: Program Evolution: Processes of Software Change. Academic Press Professional, Inc., San Diego (1985)"},{"key":"2_CR28","doi-asserted-by":"crossref","unstructured":"Menghi, C.: Verifying incomplete and evolving specifications. In: Companion Proceedings of the 36th International Conference on Software Engineering, pp. 670\u2013673 (2014)","DOI":"10.1145\/2591062.2591090"},{"key":"2_CR29","unstructured":"Menghi, C., Spoletini, P., Ghezzi, C.: Dealing with incompleteness in automata-based model checking. In: FM 2016: Formal Methods - 21st International Symposium, Limassol, November 9\u201311, 2016, Proceedings, pp. 531\u2013550 (2016)"},{"key":"2_CR30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-05155-0","volume-title":"Agile!: The Good, the Hype and the Ugly","author":"B Meyer","year":"2014","unstructured":"Meyer, B.: Agile!: The Good, the Hype and the Ugly. Springer Science, Berlin (2014)"},{"issue":"12","key":"2_CR31","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1145\/361598.361623","volume":"15","author":"DL Parnas","year":"1972","unstructured":"Parnas, D.L.: On the criteria to be used in decomposing systems into modules. Commun. ACM 15(12), 1053\u20131058 (1972)","journal-title":"Commun. ACM"},{"issue":"1","key":"2_CR32","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/TSE.1976.233797","volume":"2","author":"DL Parnas","year":"1976","unstructured":"Parnas, D.L.: On the design and development of program families. IEEE Trans. Softw. Eng. 2(1), 1\u20139 (1976)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"2","key":"2_CR33","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1109\/TSE.1986.6312940","volume":"12","author":"DL Parnas","year":"1986","unstructured":"Parnas, D.L.: A rational design process: How and why to fake it. IEEE Trans. Softw. Eng. 12(2), 251\u2013257 (1986)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"2_CR34","unstructured":"Parnas, D.L.: Software aging. In: Proceedings of the 16th International Conference on Software Engineering, pp. 279\u2013287 (1994)"},{"issue":"4","key":"2_CR35","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/s00450-012-0233-1","volume":"28","author":"S Uchitel","year":"2013","unstructured":"Uchitel, S., Alrajeh, D., Ben-David, S., Braberman, V., Chechik, M., De Caso, G., D\u2019Ippolito, N., Fischbein, D., Garbervetsky, D., Kramer, J., Russo, A., Sibay, G.: Supporting incremental behaviour model elaboration. Comput. Sci. Res. Dev. 28(4), 279\u2013293 (2013)","journal-title":"Comput. Sci. Res. Dev."},{"issue":"12","key":"2_CR36","doi-asserted-by":"publisher","first-page":"856","DOI":"10.1109\/TSE.2007.70733","volume":"33","author":"Y Vandewoude","year":"2007","unstructured":"Vandewoude, Y., Ebraert, P., Berbers, Y., D\u2019Hondt, T.: Tranquility: a low disruptive alternative to quiescence for ensuring safe dynamic updates. IEEE Trans. Softw. Eng. 33(12), 856\u2013868 (2007)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"2_CR37","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/237432.237434","volume":"6","author":"P Zave","year":"1997","unstructured":"Zave, P., Jackson, M.: Four dark corners of requirements engineering. ACM Trans. Softw. Eng. Methodol. 6(1), 1\u201330 (1997)","journal-title":"ACM Trans. Softw. Eng. Methodol."}],"container-title":["The Essence of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-73897-0_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,3]],"date-time":"2020-03-03T03:19:54Z","timestamp":1583205594000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-73897-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319738963","9783319738970"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-73897-0_2","relation":{},"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"14 June 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}