{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T16:42:00Z","timestamp":1742920920985,"version":"3.40.3"},"publisher-location":"Cham","reference-count":16,"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_13","type":"book-chapter","created":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T17:57:10Z","timestamp":1633975030000},"page":"195-201","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Programming - What is Next?"],"prefix":"10.1007","author":[{"given":"Klaus","family":"Havelund","sequence":"first","affiliation":[]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,10,12]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Balasubramanian, D., Coglio, A., Dubey, A., Karsai, G.: Towards model-based intent-driven adaptive software. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021, LNCS 13036, pp. 378\u2013392. Springer, Heidelberg (2021)","DOI":"10.1007\/978-3-030-89159-6_24"},{"key":"13_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-47169-3_1","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications","author":"M Broy","year":"2016","unstructured":"Broy, M., Havelund, K., Kumar, R., Steffen, B.: Towards a unified view of modeling and programming (track summary). In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9953, pp. 3\u201310. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47169-3_1"},{"key":"13_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-030-03418-4_1","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Modeling","author":"M Broy","year":"2018","unstructured":"Broy, M., Havelund, K., Kumar, R., Steffen, B.: Towards a unified view of modeling and programming (ISoLA 2018 Track Introduction). In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11244, pp. 3\u201321. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03418-4_1"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Harel, D., Marron, A.: Introducing dynamical systems and chaos early in computer science and software engineering education can help advance theory and practice of software development and computing. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021, LNCS 13036, pp. 322\u2013334. Springer, Heidelberg (2021)","DOI":"10.1007\/978-3-030-89159-6_20"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Hatcliff, J., Belt, J., Robby, Carpenter, T.: HAMR: An AADL multi-platform code generation toolset. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021, LNCS 13036, pp. 274\u2013295. Springer, Heidelberg (2021)","DOI":"10.1007\/978-3-030-89159-6_18"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Havelund, K., Bocchino, R.: Integrated modeling and development of component-based embedded software in Scala. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021, LNCS 13036, pp. 233\u2013252. Springer, Heidelberg (2021)","DOI":"10.1007\/978-3-030-89159-6_16"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Lee, E.A., Lohstroh, M.: Time for all programs, not just real-time programs. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021, LNCS 13036, pp. 213\u2013232. Springer, Heidelberg (2021)","DOI":"10.1007\/978-3-030-89159-6_15"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Lethbridge, T.C.: Low-code is often high-code, so we must design low-code platforms to enable proper software engineering. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021, LNCS 13036, pp. 202\u2013212. Springer, Heidelberg (2021)","DOI":"10.1007\/978-3-030-89159-6_14"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Margaria, T., Chaudhary, H.A.A., Guevara, I., Ryan, S., Schieweck, A.: The interoperability challenge: Building a model-driven digital thread platform for CPS. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021, LNCS 13036, pp. 393\u2013413. Springer, Heidelberg (2021)","DOI":"10.1007\/978-3-030-89159-6_25"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Mosses, P.D.: Fundamental constructs in programming languages. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021, LNCS 13036, pp. 296\u2013321. Springer, Heidelberg (2021)","DOI":"10.1007\/978-3-030-89159-6_19"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Robby, Hatcliff, J.: Slang: The Sireum programming language. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021, LNCS 13036, pp. 253\u2013273. Springer, Heidelberg (2021)","DOI":"10.1007\/978-3-030-89159-6_17"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Seli\u0107, B., Pierantonio, A.: Fixing classification: a viewpoint-based approach. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021, LNCS 13036, pp. 346\u2013356. Springer, Heidelberg (2021)","DOI":"10.1007\/978-3-030-89159-6_22"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Stevens, P.: The future of programming and modelling: a vision. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021, LNCS 13036, pp. 357\u2013377. Springer, Heidelberg (2021)","DOI":"10.1007\/978-3-030-89159-6_23"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Voelter, M.: Programming vs. that thing subject matter experts do. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021, LNCS 13036, pp. 414\u2013425. Springer, Heidelberg (2021)","DOI":"10.1007\/978-3-030-89159-6_26"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Wadler, P.: GATE: Gradual effect types. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021, LNCS 13036, pp. 335\u2013345. Springer, Heidelberg (2021)","DOI":"10.1007\/978-3-030-89159-6_21"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Zweihoff, P., Tegeler, T., Sch\u00fcrmann, J., Bainczyk, A., Steffen, B.: Aligned, purpose-driven cooperation: the future way of system development. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021, LNCS 13036, pp. 426\u2013449. Springer, Heidelberg (2021)","DOI":"10.1007\/978-3-030-89159-6_27"}],"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_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,24]],"date-time":"2022-03-24T21:11:55Z","timestamp":1648156315000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-89159-6_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030891589","9783030891596"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-89159-6_13","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"}}]}}