{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:34:22Z","timestamp":1742913262530,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"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_3","type":"book-chapter","created":{"date-parts":[[2022,10,19]],"date-time":"2022-10-19T07:02:54Z","timestamp":1666162974000},"page":"28-34","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Models as\u00a0Documents, Documents as\u00a0Models"],"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":[[2022,10,17]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Aghajani, E., et al.: Software documentation: the practitioners\u2019 perspective. In: Rothermel, G., Bae, D.-H. (eds.) ICSE 2020: 42nd International Conference on Software Engineering, Seoul, South Korea, June 27 - July 19 2020, pp. 590\u2013601. ACM (2020)","DOI":"10.1145\/3377811.3380405"},{"key":"3_CR2","unstructured":"Anderson, T., Quach, K.: GitHub copilot auto-coder snags emerge, from seemingly spilled secrets to bad code, but some love it. https:\/\/www.theregister.com\/2021\/07\/06\/github_copilot_autocoder_caught_spilling\/ (2021)"},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/j.jlamp.2017.05.002","volume":"91","author":"JJ Camilleri","year":"2017","unstructured":"Camilleri, J.J., Schneider, G.: Modelling and analysis of normative documents. J. Log. Algebraic Methods Program. 91, 33\u201359 (2017)","journal-title":"J. Log. Algebraic Methods Program."},{"issue":"1","key":"3_CR4","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/320434.320440","volume":"1","author":"PP Chen","year":"1976","unstructured":"Chen, P.P.: The entity-relationship model - toward a unified view of data. ACM Trans. Database Syst. 1(1), 9\u201336 (1976)","journal-title":"ACM Trans. Database Syst."},{"key":"3_CR5","unstructured":"Cybersprint: Swagger API: discovery of API data and security flaws. https:\/\/www.cybersprint.com\/blog\/swagger-api-discovery-of-api-data-and-security-flaws (2020)"},{"issue":"1","key":"3_CR6","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1109\/52.976934","volume":"19","author":"J Daniels","year":"2002","unstructured":"Daniels, J.: Modeling with a sense of purpose. IEEE Softw. 19(1), 8\u201310 (2002)","journal-title":"IEEE Softw."},{"key":"3_CR7","unstructured":"de Jong, M., et al.: Terms of service; didn\u2019t read. https:\/\/tosdr.org\/ (2011)"},{"issue":"1","key":"3_CR8","first-page":"49","volume":"3","author":"M Ericsson","year":"2012","unstructured":"Ericsson, M., Wingkvist, A., L\u00f6we, W.: The design and implementation of a software infrastructure for IQ assessment. Int. J. Inf. Qual. 3(1), 49\u201370 (2012)","journal-title":"Int. J. Inf. Qual."},{"key":"3_CR9","unstructured":"Fowler, M.: UmlAsBlueprint. https:\/\/martinfowler.com\/bliki\/UmlAsBlueprint.html (2003)"},{"key":"3_CR10","unstructured":"Fowler, M.: UmlMode. https:\/\/martinfowler.com\/bliki\/UmlMode.html (2003)"},{"key":"3_CR11","unstructured":"Howard, J.: Is github copilot a blessing, or a curse? https:\/\/www.fast.ai\/2021\/07\/19\/copilot\/ (2021)"},{"key":"3_CR12","unstructured":"Ralphson, M.: What we learned from 200,000 OpenAPI files. https:\/\/blog.postman.com\/what-we-learned-from-200000-openapi-files\/ (2021)"},{"key":"3_CR13","unstructured":"Sferruzza, D.: Plateforme extensible de mod\u00e9lisation et de construction d\u2019applications web correctes et \u00e9volutives, avec hypoth\u00e8se de variabilit\u00e9. (Towards an extensible framework for modelling and implementing correct and evolutive web applications, under variability hypothesis), Ph. D thesis, University of Nantes, France (2018)"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Sferruzza, D.: Top-down model-driven engineering of web services from extended OpenAPI models. In: Huchard, M., K\u00e4stner, C., Fraser, G. (eds.) Proceedings of the 33rd ACM\/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, 3\u20137 September 2018, pp. 940\u2013943. ACM (2018)","DOI":"10.1145\/3238147.3241536"},{"key":"3_CR15","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"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Wilson, S., et al.: The creation and analysis of a website privacy policy corpus. In: Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics, ACL 2016, 7\u201312 August 2016, Berlin, Germany, vol. 1: Long Papers. The Association for Computer Linguistics (2016)","DOI":"10.18653\/v1\/P16-1126"},{"key":"3_CR17","unstructured":"Zurcher, F.W., Randell, B.: Iterative multi-level modelling. a methodology for computer system design. In: Morrel, A.J.H., (ed.) Information Processing, Proceedings of IFIP Congress 1968, Edinburgh, UK, 5\u201310 August 1968, vol. 2 - Hardware, Applications, pp. 867\u2013871 (1968)"}],"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_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,5]],"date-time":"2023-04-05T00:03:47Z","timestamp":1680653027000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-19756-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031197550","9783031197567"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-19756-7_3","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"}}]}}