{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T19:59:27Z","timestamp":1743105567297,"version":"3.40.3"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030760199"},{"type":"electronic","value":"9783030760205"}],"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-76020-5_7","type":"book-chapter","created":{"date-parts":[[2021,6,3]],"date-time":"2021-06-03T23:33:49Z","timestamp":1622763229000},"page":"121-134","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Language and Communication Problems in Formalization: A Natural Language Approach"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Fantechi","sequence":"first","affiliation":[]},{"given":"Stefania","family":"Gnesi","sequence":"additional","affiliation":[]},{"given":"Laura","family":"Semini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,6,4]]},"reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"500","DOI":"10.1007\/BFb0027252","volume-title":"Formal Methods for Industrial Applications","author":"J-R Abrial","year":"1996","unstructured":"Abrial, J.-R.: Steam-boiler control specification problem. In: Abrial, J.-R., B\u00f6rger, E., Langmaack, H. (eds.) Formal Methods for Industrial Applications. LNCS, vol. 1165, pp. 500\u2013509. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/BFb0027252"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0027227","volume-title":"Formal Methods for Industrial Applications","year":"1996","unstructured":"Abrial, J.-R., B\u00f6rger, E., Langmaack, H. (eds.): Formal Methods for Industrial Applications. LNCS, vol. 1165. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/BFb0027227"},{"key":"7_CR3","unstructured":"Berry, D., Kamsties, E., Krieger, M.: From contract drafting to software specification: Linguistic sources of ambiguity - a handbook version 1.0. (2003)"},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/3-540-60609-2_12","volume-title":"SOFSEM 1995: Theory and Practice of Informatics","author":"E B\u00f6rger","year":"1995","unstructured":"B\u00f6rger, E.: Why use evolving algebras for hardware and software engineering? In: Bartosek, M., Staudek, J., Wiedermann, J. (eds.) SOFSEM 1995. LNCS, vol. 1012, pp. 236\u2013271. Springer, Heidelberg (1995). https:\/\/doi.org\/10.1007\/3-540-60609-2_12"},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/978-3-540-39910-0_6","volume-title":"Verification: Theory and Practice","author":"E B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E.: The ASM ground model method as a foundation of requirements engineering. In: Dershowitz, N. (ed.) Verification: Theory and Practice. LNCS, vol. 2772, pp. 145\u2013160. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-39910-0_6"},{"issue":"2","key":"7_CR6","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1093\/logcom\/exu077","volume":"27","author":"E B\u00f6rger","year":"2017","unstructured":"B\u00f6rger, E.: The abstract state machines method for modular design and analysis of programming languages. J. Log. Comput. 27(2), 417\u2013439 (2017)","journal-title":"J. Log. Comput."},{"issue":"1","key":"7_CR7","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1002\/aris.1440370103","volume":"37","author":"GG Chowdhury","year":"2003","unstructured":"Chowdhury, G.G.: Natural language processing. Annu. Rev. Inf. Sci. Technol. 37(1), 51\u201389 (2003)","journal-title":"Annu. Rev. Inf. Sci. Technol."},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/BFb0025774","volume-title":"Logics of Programs","author":"EM Clarke","year":"1982","unstructured":"Clarke, E.M., Emerson, E.A.: Design and synthesis of synchronization skeletons using branching time temporal logic. In: Kozen, D. (ed.) Logic of Programs 1981. LNCS, vol. 131, pp. 52\u201371. Springer, Heidelberg (1982). https:\/\/doi.org\/10.1007\/BFb0025774"},{"key":"7_CR9","unstructured":"Fabbrini, F., Fusani, M., Gnesi, S., Lami, G.: An automatic quality evaluation for natural language requirements. In: Proceedings of the 7th International Workshop on Requirements Engineering: Foundation for Software Quality (REFSQ), vol. 1, pp. 4\u20135 (2001)"},{"key":"7_CR10","unstructured":"Gnesi, S., Lami, G., Trentanni, G.: An automatic tool for the analysis of natural language requirements. Comput. Syst. Sci. Eng. 20(1) (2005)"},{"issue":"4","key":"7_CR11","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/BF01995674","volume":"2","author":"R Koymans","year":"1990","unstructured":"Koymans, R.: Specifying real-time properties with metric temporal logic. Real Time Syst. 2(4), 255\u2013299 (1990)","journal-title":"Real Time Syst."},{"issue":"3","key":"7_CR12","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/s00766-011-0119-y","volume":"16","author":"H Yang","year":"2011","unstructured":"Yang, H., De Roeck, A.N., Gervasi, V., Willis, A., Nuseibeh, B.: Analysing anaphoric ambiguity in natural language requirements. Requir. Eng. 16(3), 163\u2013189 (2011)","journal-title":"Requir. Eng."}],"container-title":["Lecture Notes in Computer Science","Logic, Computation and Rigorous Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-76020-5_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T14:21:37Z","timestamp":1709821297000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-76020-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030760199","9783030760205"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-76020-5_7","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":"4 June 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}