{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T07:36:53Z","timestamp":1742974613576,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"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_1","type":"book-chapter","created":{"date-parts":[[2022,10,19]],"date-time":"2022-10-19T07:02:54Z","timestamp":1666162974000},"page":"3-9","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Discussing the\u00a0Future Role of\u00a0Documentation in\u00a0the\u00a0Context of\u00a0Modern Software Engineering (ISoLA 2022 Track Introduction)"],"prefix":"10.1007","author":[{"given":"Klaus","family":"Havelund","sequence":"first","affiliation":[]},{"given":"Tim","family":"Tegeler","sequence":"additional","affiliation":[]},{"given":"Steven","family":"Smyth","sequence":"additional","affiliation":[]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,10,17]]},"reference":[{"key":"1_CR1","unstructured":"Laravel - the PHP framework for web artisans. https:\/\/laravel.com\/docs. Accessed 31 Aug 2021"},{"key":"1_CR2","unstructured":"Vuepress. https:\/\/vuepress.vuejs.org. Accessed 31 Aug 2022"},{"key":"1_CR3","unstructured":"Your AI pair programmer. https:\/\/github.com\/features\/copilot. Accessed 31 Aug 2022"},{"key":"1_CR4","unstructured":"Aghajani, E.: Software documentation: automation and challenges. Ph.D. thesis, Universit\u00e0 della Svizzera italiana (2020)"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Broy, M.: Software system documentation: coherent description of software system properties. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS, vol. 13702, pp. 10\u201327. Springer, Cham (2022)","DOI":"10.1007\/978-3-031-19756-7_2"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Dams, D., Havelund, K., Kauffman, S.: Runtime verification as documentation. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS, vol. 13702, pp. 157\u2013173. Springer, Cham (2022)","DOI":"10.1007\/978-3-031-19756-7_9"},{"key":"1_CR7","doi-asserted-by":"publisher","unstructured":"Fern\u00e1ndez-S\u00e1ez, A.M., Caivano, D., Genero, M., Chaudron, M.R.: On the use of UML documentation in software maintenance: results from a survey in industry. In: 2015 ACM\/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 292\u2013301 (2015). https:\/\/doi.org\/10.1109\/MODELS.2015.7338260","DOI":"10.1109\/MODELS.2015.7338260"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"von Hanxleden, R., et al.: Pragmatics twelve years later: a report on lingua franca. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS, vol. 13702, pp. 60\u201389. Springer, Cham (2022)","DOI":"10.1007\/978-3-031-19756-7_5"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Hatcliff, J., Hugues, J., Stewart, D., Wrage, L.: Formalization of the AADL run-time services. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS, vol. 13702, pp. 105\u2013134. Springer, Cham (2022)","DOI":"10.1007\/978-3-031-19756-7_7"},{"key":"1_CR10","unstructured":"Hoare, C.A.: Hints on programming language design. Tech. rep., Stanford University Stanford, Stanford, CA Department of Computer Science (1973)"},{"key":"1_CR11","unstructured":"Javadoc. https:\/\/docs.oracle.com\/en\/java\/javase\/13\/javadoc\/javadoc.html. Accessed 02 Sept 2022"},{"key":"1_CR12","unstructured":"JML. http:\/\/www.eecs.ucf.edu\/~leavens\/JML. Accessed 02 Sept 2022"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Karsai, G., Balasubramanian, D.: Assurance provenance: the next challenge in software documentation. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS, vol. 13702, pp. 90\u2013104. Springer, Cham (2022)","DOI":"10.1007\/978-3-031-19756-7_6"},{"issue":"2","key":"1_CR14","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":"1_CR15","doi-asserted-by":"publisher","unstructured":"Leavens, G.T., Baker, A.L., Ruby, C.: Preliminary design of JML: a behavioral interface specification language for java. SIGSOFT Softw. Eng. Notes 31(3), 1\u201338 (2006). https:\/\/doi.org\/10.1145\/1127878.1127884","DOI":"10.1145\/1127878.1127884"},{"key":"1_CR16","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, Cham (2022)","DOI":"10.1007\/978-3-031-19756-7_4"},{"key":"1_CR17","unstructured":"Object Management Group (OMG): Documents associated with Object Constraint Language (OCL), Version 2.4. https:\/\/www.omg.org\/spec\/UML\/2.5.1\/ (2017). Accessed 8 Feb 2019"},{"key":"1_CR18","unstructured":"OpenAPI Initiative: Openapi specification v3.1.0. Febraury 2021. https:\/\/spec.openapis.org\/oas\/latest.html. Accessed 25 Mar 2022"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Smyth, S., et al.: Executable documentation: the real power of test-first. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS, vol. 13702, pp. 135\u2013156. Springer, Cham (2022)","DOI":"10.1007\/978-3-031-19756-7_8"},{"key":"1_CR20","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, Cham (2022)","DOI":"10.1007\/978-3-031-19756-7_3"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Tegeler, T., Bo\u00dfelmann, S., Sch\u00fcrmann, J., Smyth, S., Teumert, S., Steffen, B.: Executable documentation: from documentation languages to purpose-specific languages. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS, vol. 13702, pp. 174\u2013192. Springer, Cham (2022)","DOI":"10.1007\/978-3-031-19756-7_10"}],"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_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,5]],"date-time":"2023-04-05T00:04:54Z","timestamp":1680653094000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-19756-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031197550","9783031197567"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-19756-7_1","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"}}]}}