{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T11:28:49Z","timestamp":1742988529941,"version":"3.40.3"},"publisher-location":"Cham","reference-count":51,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030891589"},{"type":"electronic","value":"9783030891596"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-89159-6_23","type":"book-chapter","created":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T17:57:10Z","timestamp":1633975030000},"page":"357-377","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["The Future of Programming andModelling: A Vision"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3975-7612","authenticated-orcid":false,"given":"Perdita","family":"Stevens","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,10,12]]},"reference":[{"key":"23_CR1","unstructured":"Anjorin, A., Diskin, Z., Jouault, F., Ko, H.-S., Leblebici, E., Westfechtel, B.: Benchmarx reloaded: a practical benchmark framework for bidirectional transformations. In: BX@ETAPS, vol. 1827. CEUR Workshop Proceedings, pp. 15\u201330 (2017). CEUR-WS.org"},{"key":"23_CR2","unstructured":"B\u00e9zivin, J., Jouault, F., Valduriez, P.: On the need for megamodels. In: Proceedings OOPLSA\/GPCE Workshop: Best Practices for Model-Driven Software Development (2004)"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Bohannon, A., Nathan Foster, J., Pierce, B.C., Pilkiewicz, A., Schmitt, A.: Boomerang: resourceful lenses for string data. In: PoPL (2008)","DOI":"10.1145\/1328438.1328487"},{"key":"23_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"809","DOI":"10.1007\/978-3-319-47169-3_60","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications","author":"S Bo\u00dfelmann","year":"2016","unstructured":"Bo\u00dfelmann, S., et al.: DIME: a programming-less modeling environment for web applications. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016, Part II. LNCS, vol. 9953, pp. 809\u2013832. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47169-3_60"},{"key":"23_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1007\/978-3-642-37057-1_21","volume-title":"Fundamental Approaches to Software Engineering","author":"J Bradfield","year":"2013","unstructured":"Bradfield, J., Stevens, P.: Enforcing QVT-R with mu-calculus and games. In: Cortellessa, V., Varr\u00f3, D. (eds.) FASE 2013. LNCS, vol. 7793, pp. 282\u2013296. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-37057-1_21"},{"key":"23_CR6","unstructured":"Cheney, J., McKinna, J., Stevens, P., Gibbons, J.: Towards a repository of BX examples. In: Sel\u00e7uk Candan, K., Amer-Yahia, S., Schweikardt, N., Christophides, V., Leroy, V. (eds.) Proceedings of the Workshops of the EDBT\/ICDT 2014 Joint Conference (EDBT\/ICDT 2014), Athens, Greece, 28 March 2014, vol. 1133. CEUR Workshop Proceedings, pp. 87\u201391 (2014). CEUR-WS.org. http:\/\/bx-community.wikidot.com\/examples:home"},{"key":"23_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-642-19440-5_11","volume-title":"Software Language Engineering","author":"A Cicchetti","year":"2011","unstructured":"Cicchetti, A., Di Ruscio, D., Eramo, R., Pierantonio, A.: JTL: a bidirectional and change propagating transformation language. In: Malloy, B., Staab, S., van den Brand, M. (eds.) SLE 2010. LNCS, vol. 6563, pp. 183\u2013202. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-19440-5_11"},{"key":"23_CR8","doi-asserted-by":"publisher","unstructured":"Dijkstra, E.W.: On the role of scientific thought. In: Selected writings on Computing: A Personal Perspective, pp. 60\u201366. Springer, New York (1982). https:\/\/doi.org\/10.1007\/978-1-4612-5695-3_12","DOI":"10.1007\/978-1-4612-5695-3_12"},{"key":"23_CR9","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1016\/j.jss.2015.06.003","volume":"111","author":"Z Diskin","year":"2016","unstructured":"Diskin, Z., Gholizadeh, H., Wider, A., Czarnecki, K.: A three-dimensional taxonomy for bidirectional model synchronization. J. Syst. Softw. 111, 298\u2013322 (2016)","journal-title":"J. Syst. Softw."},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"Erdweg, S., Lichter, M., Weiel, M.: A sound and optimal incremental build system with dynamic dependencies. In: OOPSLA, pp. 89\u2013106. ACM (2015)","DOI":"10.1145\/2858965.2814316"},{"key":"23_CR11","unstructured":"Digital Economy European Commission and Skills (Unit F.4). Digital skills and jobs, November 2019. https:\/\/ec.europa.eu\/digital-single-market\/en\/policies\/digital-skills"},{"key":"23_CR12","unstructured":"Cedefop: European Centre for the Development of Vocational Training. ICT professionals: skills opportunities and challenges, November 2019. https:\/\/skillspanorama.cedefop.europa.eu\/en\/analytical_highlights\/ict-professionals-skills-opportunities-and-challenges-2019-update"},{"issue":"3","key":"23_CR13","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1145\/1232420.1232424","volume":"29","author":"J Nathan Foster","year":"2007","unstructured":"Nathan Foster, J., Greenwald, M.B., Moore, J.T., Pierce, B.C., Schmitt, A.: Combinators for bidirectional tree transformations: a linguistic approach to the view-update problem. ACM Trans. Program. Lang. Syst. 29(3), 17 (2007)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"23_CR14","unstructured":"Eclipse foundation. Emfatic: a textual syntax for EMF Ecore (meta-)models. https:\/\/www.eclipse.org\/emfatic\/"},{"key":"23_CR15","volume-title":"Domain-Specific Languages","author":"M Fowler","year":"2010","unstructured":"Fowler, M., Parsons, R.: Domain-Specific Languages. Addison-Wesley, Boston (2010)"},{"key":"23_CR16","unstructured":"Object Management Group: Model driven architecture (MDA) MDA guide Rev. 2.0 (2014)"},{"key":"23_CR17","unstructured":"Object Management Group: Unified modeling language v2.5.1. OMG document formal\/17-12-05 (2017). https:\/\/www.omg.org\/spec\/UML\/2.5.1"},{"key":"23_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-319-08789-4_9","volume-title":"Theory and Practice of Model Transformations","author":"F Hermann","year":"2014","unstructured":"Hermann, F., et al.: Triple graph grammars in the large for translating satellite procedures. In: Di Ruscio, D., Varr\u00f3, D. (eds.) ICMT 2014. LNCS, vol. 8568, pp. 122\u2013137. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-08789-4_9"},{"key":"23_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/978-3-319-79108-1_4","volume-title":"Bidirectional Transformations","author":"Z Hu","year":"2018","unstructured":"Hu, Z., Ko, H.-S.: Principles and practice of bidirectional programming in BiGUL. In: Gibbons, J., Stevens, P. (eds.) Bidirectional Transformations. LNCS, vol. 9715, pp. 100\u2013150. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-79108-1_4"},{"key":"23_CR20","doi-asserted-by":"crossref","unstructured":"Hutchinson, J.E., Whittle, J., Rouncefield, M., Kristoffersen, S.: Empirical assessment of MDE in industry. In: ICSE, pp. 471\u2013480. ACM (2011)","DOI":"10.1145\/1985793.1985858"},{"key":"23_CR21","doi-asserted-by":"crossref","unstructured":"Johnson, M., Rosebrugh, R.D.: Symmetric delta lenses and spans of asymmetric delta lenses. J. Object Technol. 16(1), 2:1\u20132:32 (2017)","DOI":"10.5381\/jot.2017.16.1.a2"},{"key":"23_CR22","unstructured":"Brooks Jr.,F.P.: No silver bullet - essence and accident in software engineering. In: Proceedings of the IFIP Tenth World Computing Conference, pp. 1069\u20131076 (1986)"},{"key":"23_CR23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-90800-7","volume-title":"Software Languages","author":"R L\u00e4mmel","year":"2018","unstructured":"L\u00e4mmel, R.: Software Languages. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-90800-7"},{"issue":"5","key":"23_CR24","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1016\/j.infsof.2007.04.003","volume":"50","author":"K Lano","year":"2008","unstructured":"Lano, K.: Constraint-driven development. Inf. Softw. Technol. 50(5), 406\u2013423 (2008)","journal-title":"Inf. Softw. Technol."},{"key":"23_CR25","unstructured":"Lutterkort, D.: Augeas: a Linux configuration API, version 0.10.0, December 2011. http:\/\/augeas.net\/"},{"issue":"2","key":"23_CR26","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1109\/TSE.2014.2362924","volume":"41","author":"N Mangano","year":"2015","unstructured":"Mangano, N., LaToza, T.D., Petre, M., van der Hoek, A.: How software designers interact with sketches at the whiteboard. IEEE Trans. Software Eng. 41(2), 135\u2013156 (2015)","journal-title":"IEEE Trans. Software Eng."},{"key":"23_CR27","doi-asserted-by":"crossref","unstructured":"Margaria, T., Steffen, B.: Business process modeling in the jABC. In: Cardoso, J.S., van der Aalst W.M.P. (eds.) Handbook of Research on Business Process Modeling, pp. 1\u201326. IGI Global (2009)","DOI":"10.4018\/978-1-60566-288-6.ch001"},{"key":"23_CR28","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/978-1-4471-2297-5_10","volume-title":"Conquering Complexity","author":"T Margaria","year":"2012","unstructured":"Margaria, T., Steffen, B.: Service-orientation: conquering complexity with XMDD. In: Hinchey, M., Coyle, L. (eds.) Conquering Complexity, pp. 217\u2013236. Springer, London (2012). https:\/\/doi.org\/10.1007\/978-1-4471-2297-5_10"},{"key":"23_CR29","unstructured":"marketsandmarkets.com: Low-code development platform market by component (solution and services (professional and managed)), deployment mode, organization size, vertical (telecom and it, BFSI, government), and region - global forecast to 2022, January 2018. https:\/\/www.marketsandmarkets.com\/Market-Reports\/low-code-development-platforms-market-103455110.html"},{"key":"23_CR30","doi-asserted-by":"crossref","unstructured":"Matsuda, K., Hu, Z., Nakano, K., Hamana, M., Takeichi, M.: Bidirectionalization transformation based on automatic derivation of view complement functions. In: ICFP, pp. 47\u201358 (2007)","DOI":"10.1145\/1291220.1291162"},{"key":"23_CR31","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, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-05155-0"},{"key":"23_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-319-11653-2_12","volume-title":"Model-Driven Engineering Languages and Systems","author":"G Mussbacher","year":"2014","unstructured":"Mussbacher, G., et al.: The relevance of model-driven engineering thirty years from now. In: Dingel, J., Schulte, W., Ramos, I., Abrah\u00e3o, S., Insfran, E. (eds.) MODELS 2014. LNCS, vol. 8767, pp. 183\u2013200. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11653-2_12"},{"issue":"2","key":"23_CR33","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S0164-1212(01)00036-X","volume":"58","author":"B Nuseibeh","year":"2001","unstructured":"Nuseibeh, B., Easterbrook, S.M., Russo, A.: Making inconsistency respectable in software development. J. Syst. Softw. 58(2), 171\u2013180 (2001)","journal-title":"J. Syst. Softw."},{"key":"23_CR34","unstructured":"OMG: MOF2.0 query\/view\/transformation (QVT) version 1.3. OMG document formal\/2016-06-03 (2016). www.omg.org"},{"key":"23_CR35","doi-asserted-by":"crossref","unstructured":"Petre, M.: UML in practice. In: ICSE, pp. 722\u2013731. IEEE Computer Society (2013)","DOI":"10.1109\/ICSE.2013.6606618"},{"key":"23_CR36","unstructured":"Reselman, B.: Why the promise of low-code software platforms is deceiving, January 2018. https:\/\/devopsagenda.techtarget.com\/opinion\/Why-the-promise-of-low-code-software-platforms-is-deceiving"},{"key":"23_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/3-540-59071-4_45","volume-title":"Graph-Theoretic Concepts in Computer Science","author":"A Sch\u00fcrr","year":"1995","unstructured":"Sch\u00fcrr, A.: Specification of graph translators with triple graph grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol. 903, pp. 151\u2013163. Springer, Heidelberg (1995). https:\/\/doi.org\/10.1007\/3-540-59071-4_45"},{"key":"23_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1007\/978-3-540-87405-8_28","volume-title":"Graph Transformations","author":"A Sch\u00fcrr","year":"2008","unstructured":"Sch\u00fcrr, A., Klar, F.: 15 years of triple graph grammars. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol. 5214, pp. 411\u2013425. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-87405-8_28"},{"key":"23_CR39","unstructured":"Shadbolt, S.N.: Shadbolt review of computer sciences degree accreditation and graduate employability, April 2016. https:\/\/www.gov.uk\/government\/publications\/computer-science-degree-accreditation-and-graduate-employability-shadbolt-review"},{"key":"23_CR40","unstructured":"Shapiro, S.: Research abstract. In: Aspray, W., Keil-Slawik, R., Parnas, D.L. (eds.) History of Software Engineering, pp. 45\u201346. Dagstuhl Seminar, August 1996"},{"issue":"1","key":"23_CR41","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/s10270-008-0109-9","volume":"9","author":"P Stevens","year":"2010","unstructured":"Stevens, P.: Bidirectional model transformations in QVT: semantic issues and open questions. J. Softw. Syst. Model. (SoSyM) 9(1), 7\u201320 (2010)","journal-title":"J. Softw. Syst. Model. (SoSyM)"},{"key":"23_CR42","doi-asserted-by":"crossref","unstructured":"Stevens, P.: A simple game-theoretic approach to checkonly QVT relations. J. Softw. Syst. Model. (SoSyM) 12(1), 175\u2013199 (2013). Published online, 16 March 2011","DOI":"10.1007\/s10270-011-0198-8"},{"key":"23_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-92997-2_1","volume-title":"Modelling Foundations and Applications","author":"P Stevens","year":"2018","unstructured":"Stevens, P.: Is bidirectionality important? In: Pierantonio, A., Trujillo, S. (eds.) ECMFA 2018. LNCS, vol. 10890, pp. 1\u201311. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-92997-2_1"},{"key":"23_CR44","doi-asserted-by":"crossref","unstructured":"Stevens, P.: Maintaining consistency in networks of models: bidirectional transformations in the large. Softw. Syst. Model. 19(1), 39\u201365 (2019). In print January 2020. Online first, May 2019","DOI":"10.1007\/s10270-019-00736-x"},{"key":"23_CR45","doi-asserted-by":"crossref","unstructured":"Stevens, P.: Connecting software build with maintaining consistency between models: towards sound, optimal, and flexible building from megamodels. Softw. Syst. Model. (2020, in press). Online first, March 2020","DOI":"10.1007\/s10270-020-00788-4"},{"key":"23_CR46","unstructured":"T\u00f6r\u00f6k, T.: Software development trends 2018: latest research and data, April 2018. https:\/\/codingsans.com\/blog\/software-development-trends-2018"},{"key":"23_CR47","unstructured":"VersionOne. 12th annual state of agile report. https:\/\/explore.versionone.com\/state-of-agile\/versionone-12th-annual-state-of-agile-report"},{"key":"23_CR48","unstructured":"Wessner, C.W. (ed.): New Vistas in Transatlantic Science and Technology Cooperation. National Academies Press (1999)"},{"key":"23_CR49","unstructured":"Stevens, P., Pooley, R.: Using UML: Software Engineering with objects and Components. Addison-Wesley Longman (1999). Current edition updated for UML2: first published 1998 (as Pooley and Stevens)"},{"key":"23_CR50","unstructured":"Witkop, S.: MDA users\u2019 requirements for QVT transformations. OMG document 05-02-04 (2005). www.omg.org"},{"key":"23_CR51","doi-asserted-by":"crossref","unstructured":"Zhu, Z., Zhang, Y., Ko, H.-S., Martins, P., Saraiva, J., Hu, Z.: Parsing and reflective printing, bidirectionally. In: van der Storm, T., Balland, E., Varr\u00f3, D. (eds.) Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, 31 October\u20131 November 2016, pp. 2\u201314. ACM (2016). http:\/\/biyacc.yozora.moe\/","DOI":"10.1145\/2997364.2997369"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-89159-6_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,25]],"date-time":"2022-03-25T08:08:13Z","timestamp":1648195693000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-89159-6_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030891589","9783030891596"],"references-count":51,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-89159-6_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"12 October 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rhodes","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 October 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 October 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/isola-conference.org\/isola2021\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}