{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T02:35:30Z","timestamp":1743129330670,"version":"3.40.3"},"publisher-location":"Cham","reference-count":36,"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_24","type":"book-chapter","created":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T17:57:10Z","timestamp":1633975030000},"page":"378-392","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Towards Model-Based Intent-Driven Adaptive Software"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Balasubramanian","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Coglio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abhishek","family":"Dubey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabor","family":"Karsai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,10,12]]},"reference":[{"issue":"2","key":"24_CR1","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1016\/0304-3975(91)90224-P","volume":"82","author":"M Abadi","year":"1991","unstructured":"Abadi, M., Lamport, L.: The existence of refinement mappings. J. Theo. Comput. Sci. 82(2), 253\u2013284 (1991)","journal-title":"J. Theo. Comput. Sci."},{"key":"24_CR2","doi-asserted-by":"crossref","unstructured":"Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press (1996)","DOI":"10.1017\/CBO9780511624162"},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"Bj\u00f8rner, D.: Domain Engineering: Technology, Management, Research and Engineering. JAIST Press (2009)","DOI":"10.1007\/978-1-84882-736-3_1"},{"key":"24_CR4","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.) Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, pp. 809\u2013832. Springer, Cham (2016)"},{"key":"24_CR5","unstructured":"Coglio, A.: Pop-refinement. Archive of Formal Proofs, July 2014. http:\/\/afp.sf.net\/entries\/Pop_Refinement.shtml, Formal proof development"},{"key":"24_CR6","doi-asserted-by":"publisher","unstructured":"Coglio, A., Kaufmann, M., Smith, E.: A versatile, sound tool for simplifying definitions. In: Proceedings 14th International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2-2017), pp. 61\u201377 (2017). https:\/\/doi.org\/10.4204\/EPTCS.249.5","DOI":"10.4204\/EPTCS.249.5"},{"key":"24_CR7","unstructured":"Coglio, A., Westfold, S.: Isomorphic data type transformations. In: Proceedings 16th International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2-2020) (2020)"},{"key":"24_CR8","doi-asserted-by":"publisher","unstructured":"Crapo, A., Moitra, A., McMillan, C., Russell, D.: Requirements capture and analysis in assert(tm). In: 2017 IEEE 25th International Requirements Engineering Conference (RE), pp. 283\u2013291 (2017). https:\/\/doi.org\/10.1109\/RE.2017.54","DOI":"10.1109\/RE.2017.54"},{"issue":"3","key":"24_CR9","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/BF01933419","volume":"8","author":"EW Dijkstra","year":"1968","unstructured":"Dijkstra, E.W.: A constructive approach to the problem of program correctness. BIT 8(3), 174\u2013186 (1968)","journal-title":"BIT"},{"key":"24_CR10","unstructured":"Documentation, S.: Simulation and model-based design (2020). https:\/\/www.mathworks.com\/products\/simulink.html"},{"issue":"6\u201313","key":"24_CR11","first-page":"72","volume":"2","author":"L Fuentes-Fern\u00e1ndez","year":"2004","unstructured":"Fuentes-Fern\u00e1ndez, L., Vallecillo-Moreno, A.: An introduction to UML profiles. UML Model Eng. 2(6\u201313), 72 (2004)","journal-title":"UML Model Eng."},{"key":"24_CR12","unstructured":"Heung, K.H.: A tool for generating UML diagram from source code (2013)"},{"issue":"4","key":"24_CR13","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"CAR Hoare","year":"1972","unstructured":"Hoare, C.A.R.: Proof of correctness of data representations. Acta Informatica 1(4), 271\u2013281 (1972)","journal-title":"Acta Informatica"},{"issue":"2104","key":"24_CR14","doi-asserted-by":"publisher","first-page":"20150399","DOI":"10.1098\/rsta.2015.0399","volume":"375","author":"WA Hunt Jr","year":"2017","unstructured":"Hunt, W.A., Jr., Kaufmann, M., Moore, J.S., Slobodova, A.: Industrial hardware and software verification with acl2. Philos. Trans. R. Soc. A Math. Phys. Eng. Sci. 375(2104), 20150399 (2017)","journal-title":"Philos. Trans. R. Soc. A Math. Phys. Eng. Sci."},{"key":"24_CR15","doi-asserted-by":"publisher","unstructured":"Jolak, R., Ho-Quang, T., Chaudron, M.R., Schiffelers, R.R.: Model-based software engineering: a multiple-case study on challenges and development efforts. In: Proceedings of the 21th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems, pp. 213\u2013223. MODELS 2018. Association for Computing Machinery, New York (2018). https:\/\/doi.org\/10.1145\/3239372.3239404","DOI":"10.1145\/3239372.3239404"},{"key":"24_CR16","unstructured":"Jones, C.: Systematic Software Development using VDM, 2nd edn. Prentice Hall (1990)"},{"key":"24_CR17","unstructured":"Kaufmann, M., Moore, J.S.: The ACL2 theorem prover. http:\/\/www.cs.utexas.edu\/users\/moore\/acl2"},{"key":"24_CR18","unstructured":"Kestrel Institute: APT (Automated Program Transformations). http:\/\/www.kestrel.edu\/home\/projects\/apt"},{"key":"24_CR19","unstructured":"Kestrel Institute: Specware. http:\/\/www.specware.org"},{"key":"24_CR20","unstructured":"Mar\u00f3ti, M., et al.: Next generation (meta) modeling: web-and cloud-based collaborative tool infrastructure (2014)"},{"key":"24_CR21","unstructured":"Milner, R.: An algebraic definition of simulation between programs. Tech. Rep. CS-205, Stanford University (1971)"},{"key":"24_CR22","unstructured":"Morgan, C.: Programming from Specifications, 2nd edn. Prentice Hall (1998)"},{"key":"24_CR23","doi-asserted-by":"publisher","unstructured":"Nierstrasz, O., Achermann, F.: Supporting compositional styles for software evolution. In: Proceedings International Symposium on Principles of Software Evolution, pp. 14\u201322 (2000). https:\/\/doi.org\/10.1109\/ISPSE.2000.913216","DOI":"10.1109\/ISPSE.2000.913216"},{"key":"24_CR24","unstructured":"Parr, T.: The Definitive ANTLR 4 Reference. Pragmatic Bookshelf (2013)"},{"issue":"3","key":"24_CR25","first-page":"365","volume":"20","author":"RD Roberts","year":"2016","unstructured":"Roberts, R.D.: Why software really will eat the world-and whether we should worry. Independent Rev. 20(3), 365\u2013368 (2016)","journal-title":"Independent Rev."},{"key":"24_CR26","doi-asserted-by":"publisher","first-page":"72239","DOI":"10.1109\/ACCESS.2020.2987631","volume":"8","author":"O Rodriguez-Prieto","year":"2020","unstructured":"Rodriguez-Prieto, O., Mycroft, A., Ortin, F.: An efficient and scalable platform for java source code analysis using overlaid graph representations. IEEE Access 8, 72239\u201372260 (2020). https:\/\/doi.org\/10.1109\/ACCESS.2020.2987631","journal-title":"IEEE Access"},{"key":"24_CR27","unstructured":"Ronacher, A.: Jinja2 documentation. Welcome to Jinja2-Jinja2 Documentation (2.8-dev) (2008)"},{"key":"24_CR28","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-030-00623-5_1","volume-title":"Software Process Improvement and Capability Determination","author":"M S\u00e1nchez-Gord\u00f3n","year":"2018","unstructured":"S\u00e1nchez-Gord\u00f3n, M., Colomo-Palacios, R.: Characterizing DevOps culture: a systematic literature review. In: Stamelos, I., O\u2019Connor, R.V., Rout, T., Dorling, A. (eds.) Software Process Improvement and Capability Determination, pp. 3\u201315. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-00623-5_1"},{"issue":"3","key":"24_CR29","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/s10515-008-0035-7","volume":"15","author":"B Selic","year":"2008","unstructured":"Selic, B.: Personal reflections on automation, programming culture, and model-based software engineering. Autom. Softw. Eng. 15(3), 379\u2013391 (2008)","journal-title":"Autom. Softw. Eng."},{"issue":"9","key":"24_CR30","doi-asserted-by":"publisher","first-page":"1024","DOI":"10.1109\/32.58788","volume":"16","author":"DR Smith","year":"1990","unstructured":"Smith, D.R.: KIDS: a semi-automatic program development system. IEEE Trans. Softw. Eng. Spec. Issue Formal Method. 16(9), 1024\u20131043 (1990)","journal-title":"IEEE Trans. Softw. Eng. Spec. Issue Formal Method."},{"key":"24_CR31","unstructured":"Smith, E.: Software Synthesis with ACL2. https:\/\/www.cs.utexas.edu\/users\/moore\/acl2\/workshop-2015\/slides\/eric-smith-synthesis\/eric-smith-software-synthesis.pdf"},{"key":"24_CR32","unstructured":"Spivey, J.M.: The Z Notation: A Reference Manual, 2nd edn. Prentice Hall (1992)"},{"issue":"4","key":"24_CR33","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1109\/2.585163","volume":"30","author":"J Sztipanovits","year":"1997","unstructured":"Sztipanovits, J., Karsai, G.: Model-integrated computing. Computer 30(4), 110\u2013111 (1997). https:\/\/doi.org\/10.1109\/2.585163","journal-title":"Computer"},{"key":"24_CR34","unstructured":"Voelter, M.: DSL Engineering: Designing, Implementing and Using Domain-specific Languages. CreateSpace Independent Publishing Platform (2013)"},{"key":"24_CR35","doi-asserted-by":"crossref","unstructured":"Voelter, M., Pech, V.: Language modularity with the MPS language workbench. In: 2012 34th International Conference on Software Engineering (ICSE), pp. 1449\u20131450. IEEE (2012)","DOI":"10.1109\/ICSE.2012.6227070"},{"issue":"4","key":"24_CR36","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1145\/362575.362577","volume":"14","author":"N Wirth","year":"1971","unstructured":"Wirth, N.: Program development by stepwise refinement. Commun. ACM 14(4), 221\u2013227 (1971)","journal-title":"Commun. ACM"}],"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_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,25]],"date-time":"2022-03-25T08:07:47Z","timestamp":1648195667000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-89159-6_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030891589","9783030891596"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-89159-6_24","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"}}]}}