{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T05:09:18Z","timestamp":1748668158255,"version":"3.40.3"},"publisher-location":"Cham","reference-count":48,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031197550"},{"type":"electronic","value":"9783031197567"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"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":[[2022]]},"DOI":"10.1007\/978-3-031-19756-7_10","type":"book-chapter","created":{"date-parts":[[2022,10,19]],"date-time":"2022-10-19T07:02:54Z","timestamp":1666162974000},"page":"174-192","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Executable Documentation: From Documentation Languages to\u00a0Purpose-Specific Languages"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8271-9072","authenticated-orcid":false,"given":"Tim","family":"Tegeler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9454-6757","authenticated-orcid":false,"given":"Steve","family":"Bo\u00dfelmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1587-0549","authenticated-orcid":false,"given":"Jonas","family":"Sch\u00fcrmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2470-0880","authenticated-orcid":false,"given":"Steven","family":"Smyth","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6483-3162","authenticated-orcid":false,"given":"Sebastian","family":"Teumert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9619-1558","authenticated-orcid":false,"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,10,17]]},"reference":[{"key":"10_CR1","unstructured":"Explore DORA\u2019s research program, https:\/\/www.devops-research.com\/research.html. Accessed 8 Oct 2020"},{"key":"10_CR2","unstructured":"Spring boot. https:\/\/spring.io\/projects\/spring-boot. Accessed 24 Jul 2022"},{"key":"10_CR3","unstructured":"Aghajani, E.: Software documentation: automation and challenges. Ph.D. thesis, Universit\u00e0 della Svizzera italiana (2020)"},{"key":"10_CR4","unstructured":"Allspaw, J., Hammond, P.: 10+ deploys per day: Dev and ops cooperation at Flickr. In: Velocity: Web Performance and Operations Conference, June 2009. https:\/\/www.youtube.com\/watch?v=LdOe18KhtT4"},{"key":"10_CR5","unstructured":"Beck, K., et al.: Manifesto for Agile Software Development. https:\/\/agilemanifesto.org (2001). Accessed 4 Mar 2014"},{"key":"10_CR6","unstructured":"Ben-Kiki, O., Evans, C., d\u00f6t Net, I.: YAML Ain\u2019t Markup Language (YAML$$^{\\rm TM}$$) Version 1.2. https:\/\/yaml.org\/spec\/1.2\/spec.html (2009). Accessed 22 Jun 2021"},{"key":"10_CR7","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. LNCS, vol. 9953, pp. 809\u2013832. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47169-3_60"},{"key":"10_CR8","doi-asserted-by":"publisher","unstructured":"Broy, M.: Object-oriented programming and software development\u2013a critical assessment. In: In: McIver, A., Morgan, C. (eds.) Programming Methodology. Monographs in Computer Science, pp. 211\u2013221. Springer, New York (2003). https:\/\/doi.org\/10.1007\/978-0-387-21798-7_10","DOI":"10.1007\/978-0-387-21798-7_10"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/978-3-319-91908-9_15","volume-title":"Computing and Software Science","author":"R Chatley","year":"2019","unstructured":"Chatley, R., Donaldson, A., Mycroft, A.: The next 7000 programming languages. In: Steffen, B., Woeginger, G. (eds.) Computing and Software Science. LNCS, vol. 10000, pp. 250\u2013282. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-319-91908-9_15"},{"key":"10_CR10","unstructured":"Dagger: A portable devkit for ci\/cd pipelines. https:\/\/dagger.io\/. Accessed 27 July 2022"},{"issue":"8","key":"10_CR11","first-page":"3","volume":"24","author":"P Debois","year":"2011","unstructured":"Debois, P., et al.: DEVOPS: a software revolution in the making. J. Inf. Technol. Manag. 24(8), 3\u201339 (2011)","journal-title":"J. Inf. Technol. Manag."},{"issue":"1","key":"10_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4018\/jdm.2008010101","volume":"19","author":"B Dobing","year":"2008","unstructured":"Dobing, B., Parsons, J.: Dimensions of UML diagram use: a survey of practitioners. J. Database Manage. (JDM) 19(1), 1\u201318 (2008)","journal-title":"J. Database Manage. (JDM)"},{"key":"10_CR13","doi-asserted-by":"publisher","unstructured":"Forward, A., Lethbridge, T.C.: The relevance of software documentation, tools and technologies: a survey. In: Proceedings of the 2002 ACM Symposium on Document Engineering, pp. 26\u201333. DocEng 2002, Association for Computing Machinery, New York, NY, USA (2002). https:\/\/doi.org\/10.1145\/585058.585065","DOI":"10.1145\/585058.585065"},{"key":"10_CR14","unstructured":"Fowler, M.: Domain-specific languages guide. https:\/\/martinfowler.com\/dsl.html. Accessed 06 Sept 2016"},{"key":"10_CR15","unstructured":"Goldap, P., et al.: PG 601 - Bridging the Gap. Technical report, TU Dortmund (2017)"},{"key":"10_CR16","unstructured":"Gruber, J.: Markdown: Syntax. https:\/\/daringfireball.net\/projects\/markdown\/syntax"},{"key":"10_CR17","unstructured":"Hoare, C.A.: Hints on programming language design. Stanford Univ ca Dept of Computer Science, Technical report (1973)"},{"key":"10_CR18","unstructured":"Hurvitz, D.: Quotes via dan hurvitz. https:\/\/softwarequotes.com\/author\/via-dan-hurvitz. Accessed 20 July 2022"},{"key":"10_CR19","doi-asserted-by":"publisher","unstructured":"Kelly, S., Tolvanen, J.P.: Domain-Specific Modeling: Enabling Full Code Generation. Wiley-IEEE Computer Society Press, Hoboken (2008). https:\/\/doi.org\/10.1002\/9780470249260","DOI":"10.1002\/9780470249260"},{"key":"10_CR20","doi-asserted-by":"publisher","unstructured":"Kluyver, T., et al.: Jupyter notebooks\u2013a publishing format for reproducible computational workflows. In: Loizides, F., Scmidt, B. (eds.) Positioning and Power in Academic Publishing: Players, Agents and Agendas, pp. 87\u201390. IOS Press (2016). https:\/\/doi.org\/10.3233\/978-1-61499-649-1-87, https:\/\/eprints.soton.ac.uk\/403913\/","DOI":"10.3233\/978-1-61499-649-1-87"},{"issue":"2","key":"10_CR21","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1093\/comjnl\/27.2.97","volume":"27","author":"DE Knuth","year":"1984","unstructured":"Knuth, D.E.: Literate programming. Comput. J. 27(2), 97\u2013111 (1984)","journal-title":"Comput. J."},{"key":"10_CR22","unstructured":"Labouardy, M.: Pipeline as code: continuous delivery with Jenkins, Kubernetes, and terraform. Manning (2021). https:\/\/books.google.de\/books?id=Lt9EEAAAQBAJ"},{"key":"10_CR23","doi-asserted-by":"crossref","unstructured":"Madsen, O.L., M\u00f8ller-Pedersen, B.: Using supplementary properties to reduce the need for documentation. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022. LNCS, vol. 13702, pp. 35\u201359. Springer (2022)","DOI":"10.1007\/978-3-031-19756-7_4"},{"key":"10_CR24","unstructured":"Mellor, S.J., Balcer, M.J.: Executable UML: A Foundation for Model-Driven Architecture. Addison-Wesley Professional (2002)"},{"issue":"3","key":"10_CR25","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/s10009-017-0453-6","volume":"20","author":"S Naujokat","year":"2017","unstructured":"Naujokat, S., Lybecait, M., Kopetzki, D., Steffen, B.: CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools. Software Tools for Technology Transfer 20(3), 327\u2013354 (2017). https:\/\/doi.org\/10.1007\/s10009-017-0453-6","journal-title":"Software Tools for Technology Transfer"},{"key":"10_CR26","unstructured":"Object Management Group (OMG): Documents associated with Object Constraint Language (OCL), Version 2.4 (2017). https:\/\/www.omg.org\/spec\/UML\/2.5.1\/. Accessed 08 Feb 209"},{"key":"10_CR27","unstructured":"O\u2019Connor, C.: The norway problem - why StrictYAML refuses to do implicit typing and so should you. https:\/\/hitchdev.com\/strictyaml\/why\/implicit-typing-removed\/. Accessed 3 Sept 2021"},{"key":"10_CR28","doi-asserted-by":"publisher","unstructured":"Rangnau, T., Buijtenen, R.v., Fransen, F., Turkmen, F.: Continuous security testing: a case study on integrating dynamic security testing tools in ci\/cd pipelines. In: 2020 IEEE 24th International Enterprise Distributed Object Computing Conference (EDOC), pp. 145\u2013154 (2020). https:\/\/doi.org\/10.1109\/EDOC49727.2020.00026","DOI":"10.1109\/EDOC49727.2020.00026"},{"key":"10_CR29","doi-asserted-by":"publisher","first-page":"3909","DOI":"10.1109\/ACCESS.2017.2685629","volume":"5","author":"M Shahin","year":"2017","unstructured":"Shahin, M., Babar, M.A., Zhu, L.: Continuous integration, delivery and deployment: a systematic review on approaches, tools, challenges and practices. IEEE Access 5, 3909\u20133943 (2017). https:\/\/doi.org\/10.1109\/ACCESS.2017.2685629","journal-title":"IEEE Access"},{"key":"10_CR30","doi-asserted-by":"crossref","unstructured":"Smyth, S., et al.: Executable documentation: test-first in action. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022. LNCS, vol. 13702, pp. 135\u2013156. Springer (2022)","DOI":"10.1007\/978-3-031-19756-7_8"},{"key":"10_CR31","unstructured":"de St. Germain, H.J.: Commenting (jim\u2019s cs topics). https:\/\/www.cs.utah.edu\/~germain\/PPS\/Topics\/commenting.html (2003), https:\/\/www.cs.utah.edu\/~germain\/PPS\/Topics\/commenting.html. Accessed 22 Jul 2022"},{"issue":"4","key":"10_CR32","first-page":"299","volume":"199","author":"AE Stallings","year":"2012","unstructured":"Stallings, A.E.: After a Greek proverb. Poetry 199(4), 299\u2013299 (2012)","journal-title":"Poetry"},{"key":"10_CR33","unstructured":"Steffen, B.: Inter- & intradepartmental knowledge management barriers when offering single unit solutions (2016). https:\/\/essay.utwente.nl\/70224\/"},{"key":"10_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-030-89159-6_6","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"B Steffen","year":"2021","unstructured":"Steffen, B., Howar, F., Tegeler, T., Steffen, B.: Agile business engineering: from transformation towards continuousinnovation. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021. LNCS, vol. 13036, pp. 77\u201394. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-89159-6_6"},{"key":"10_CR35","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-030-89159-6_4","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"B Steffen","year":"2021","unstructured":"Steffen, B., Steffen, B.: Asking why. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation, pp. 55\u201367. Springer International Publishing, Cham (2021)"},{"key":"10_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-319-91908-9_17","volume-title":"Computing and Software Science","author":"B Steffen","year":"2019","unstructured":"Steffen, B., Gossen, F., Naujokat, S., Margaria, T.: Language-driven engineering: from general-purpose to purpose-specific languages. In: Steffen, B., Woeginger, G. (eds.) Computing and Software Science. LNCS, vol. 10000, pp. 311\u2013344. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-319-91908-9_17"},{"issue":"11","key":"10_CR37","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/MC.2007.386","volume":"40","author":"B Steffen","year":"2007","unstructured":"Steffen, B., Narayan, P.: Full life-cycle support for end-to-end processes. IEEE Comput. 40(11), 64\u201373 (2007). https:\/\/doi.org\/10.1109\/MC.2007.386","journal-title":"IEEE Comput."},{"key":"10_CR38","doi-asserted-by":"crossref","unstructured":"Stevens, P.: Models as documents, documents as models. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022. LNCS, vol. 13702, pp. 28\u201334. Springer (2022)","DOI":"10.1007\/978-3-031-19756-7_3"},{"issue":"2","key":"10_CR39","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1109\/TSMC.1981.4308636","volume":"11","author":"K Sugiyama","year":"1981","unstructured":"Sugiyama, K., Tagawa, S., Toda, M.: Methods for visual understanding of hierarchical system structures. IEEE Trans. Syst. Man Cybern. 11(2), 109\u2013125 (1981)","journal-title":"IEEE Trans. Syst. Man Cybern."},{"key":"10_CR40","doi-asserted-by":"publisher","unstructured":"Tegeler, T., Gossen, F., Steffen, B.: A model-driven approach to continuous practices for modern cloud-based web applications. In: 2019 9th International Conference on Cloud Computing, Data Science Engineering (Confluence), pp. 1\u20136 (2019). https:\/\/doi.org\/10.1109\/CONFLUENCE.2019.8776962","DOI":"10.1109\/CONFLUENCE.2019.8776962"},{"key":"10_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-030-89159-6_1","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"T Tegeler","year":"2021","unstructured":"Tegeler, T., Teumert, S., Sch\u00fcrmann, J., Bainczyk, A., Busch, D., Steffen, B.: An Introduction to graphical modeling of CI\/CD Workflows with rig. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021. LNCS, vol. 13036, pp. 3\u201317. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-89159-6_1"},{"key":"10_CR42","unstructured":"Teumert, S.: Rig | low-code ci\/cd modeling. https:\/\/scce.gitlab.io\/rig\/. Accessed 07 Jan 2022"},{"key":"10_CR43","doi-asserted-by":"crossref","unstructured":"Toghraei, M.: Piping and Instrumentation Diagram Development. Wiley (2019). https:\/\/books.google.de\/books?id=ICONDwAAQBAJ","DOI":"10.1002\/9781119329503"},{"key":"10_CR44","unstructured":"Wortmann, N.: Modellbasierte Modellierung von industriellen Zentrifugen mit Codegenerierung f\u00fcr Steuerungssysteme. Bachelor thesis, M\u00fcnster University of Applied Sciences (2015)"},{"key":"10_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"774","DOI":"10.1007\/978-3-319-47169-3_58","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications","author":"N Wortmann","year":"2016","unstructured":"Wortmann, N., Michel, M., Naujokat, S.: A fully model-based approach to software development for industrial centrifuges. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9953, pp. 774\u2013783. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47169-3_58"},{"key":"10_CR46","doi-asserted-by":"publisher","unstructured":"Zampetti, F., Geremia, S., Bavota, G., Di Penta, M.: Ci\/cd pipelines evolution and restructuring: a qualitative and quantitative study. In: 2021 IEEE International Conference on Software Maintenance and Evolution (ICSME),. pp. 471\u2013482 (2021). https:\/\/doi.org\/10.1109\/ICSME52107.2021.00048","DOI":"10.1109\/ICSME52107.2021.00048"},{"key":"10_CR47","doi-asserted-by":"publisher","unstructured":"Zweihoff, P.: Aligned and collaborative language-driven engineering. Dissertation, TU Dortmund, Dortmund, Germany (2022). https:\/\/doi.org\/10.17877\/DE290R-22594, https:\/\/eldorado.tu-dortmund.de\/handle\/2003\/40736","DOI":"10.17877\/DE290R-22594"},{"key":"10_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"426","DOI":"10.1007\/978-3-030-89159-6_27","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"P Zweihoff","year":"2021","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, vol. 13036, pp. 426\u2013449. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-89159-6_27"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-19756-7_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,5]],"date-time":"2023-04-05T00:06:16Z","timestamp":1680653176000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-19756-7_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031197550","9783031197567"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-19756-7_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"17 October 2022","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":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 October 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 October 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.isola-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}