{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T11:45:49Z","timestamp":1726055149043},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030309848"},{"type":"electronic","value":"9783030309855"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-30985-5_15","type":"book-chapter","created":{"date-parts":[[2019,10,8]],"date-time":"2019-10-08T21:53:39Z","timestamp":1570571619000},"page":"239-249","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Comparing Results of Natural Language Disambiguation Tools with Reports of Manual Reviews of Safety-Related Standards"],"prefix":"10.1007","author":[{"given":"Isabella","family":"Biscoglio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Attilio","family":"Ciancabilla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mario","family":"Fusani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giuseppe","family":"Lami","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gianluca","family":"Trentanni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,10,9]]},"reference":[{"issue":"3","key":"15_CR1","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/BF01384048","volume":"4","author":"A Fantechi","year":"1994","unstructured":"Fantechi, A., Gnesi, S., Ristori, G., Carenini, M., Vanocchi, M., Moreschini, P.: Assisting requirement formalization by means of natural language translation. Formal Methods Syst. Des. 4(3), 243\u2013263 (1994)","journal-title":"Formal Methods Syst. Des."},{"key":"15_CR2","unstructured":"Fabbrini, F., Fusani, M., Gnesi, S., Lami, G.: An automatic quality evaluation for natural language requirements. In: Proceedings of 7th REFSQ (2001)"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Fantechi, A., Ferrari, A., Gnesi, S., Semini, L.: Hacking an ambiguity detection tool to extract variation points: an experience report. In: Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems, pp. 1\u201313 (2018)","DOI":"10.1145\/3168365.3168381"},{"key":"15_CR4","unstructured":"Ferrari, A., Trentanni, G., Gnesi, S.: An automatic quality evaluation for natural language requirements. In: Proceedings of 1st Workshop on Natural Language Processing for Requirements Engineering and NLP Tool Showcase, RESFQ 2018, March 19th - Utrecht, The Netherlands (2019)"},{"key":"15_CR5","unstructured":"Gnesi, S., Lami, G., Trentanni, G.: An automatic tool for the analysis of natural language requirements. IJCSSE 20(1) (2005)"},{"key":"15_CR6","unstructured":"CENELEC: EN 50128 - Railway applications - Communication, signalling and processing systems - Software for railway control and protection systems (2011)"},{"key":"15_CR7","unstructured":"CENELEC: EN 50126\u20131 - Railway Applications - The Specification and Demonstration of Reliability, Availability, Maintainability and Safety (RAMS) - Part 1: Generic RAMS Process (2017)"},{"key":"15_CR8","unstructured":"CENELEC: Internal Regulations Part 2: Common Rules For Standardization Works (2017)"},{"key":"15_CR9","unstructured":"CENELEC: Internal Regulations Part 3: Principles and rules for the structure and drafting of CEN and CENELEC documents (2017)"},{"issue":"11","key":"15_CR10","doi-asserted-by":"publisher","first-page":"1002","DOI":"10.1109\/32.730547","volume":"24","author":"N Fenton","year":"1998","unstructured":"Fenton, N., Neil, M.: A strategy for improving safety related software engineering standards. IEEE Trans. Software Eng. 24(11), 1002\u20131013 (1998)","journal-title":"IEEE Trans. Software Eng."},{"key":"15_CR11","unstructured":"Fantechi, A., Gnesi, S., Lami, G., Maccari, A.: Application of linguistic techniques for use case analysis. In: Proceedings of IEEE 10th RE, pp. 157\u2013164 (2002)"},{"key":"15_CR12","unstructured":"Ferrari, A., Trentanni, G., Gnesi, S.: Research on NLP for RE at CNR-ISTI: a Report. In: Proceedings of 1st Workshop on Natural Language Processing for Requirements Engineering and NLP Tool Showcase, RESFQ 2018, 19th March 2018, Utrecht, The Netherlands (2018)"},{"key":"15_CR13","unstructured":"Gnesi, S: Trentanni, G.: QuARS: a NLP tool for requirements analysis. In: Proceedings of 2nd Workshop on Natural Language Processing for Requirements Engineering and NLP Tool Showcase, RESFQ 2019, 18th March 2019, Essen, Germany (2019)"},{"key":"15_CR14","unstructured":"Graydon, P., Holloway, C.: Planning the unplanned experiment: assessing the efficacy of standards for safety critical software. NASA\/TM-2015-218804, September 2015"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Biscoglio, I., Coco, A., Fusani, M., Gnesi, S., Trentanni, G.: An approach to ambiguity analysis in safety-related standards. In: Proceedings of International Conference on the Quality of Information and Communications Technology (QUATIC 2010), pp. 146\u2013176 (2010)","DOI":"10.1109\/QUATIC.2010.83"},{"key":"15_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-68499-4_17","volume-title":"Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, RSSRail","author":"A Ferrari","year":"2017","unstructured":"Ferrari, A., Fusani, M., Gnesi, S.: Are standards an ambiguity-free reference for product validation? In: Fantechi, A., Lecomte, T., Romanovsky, A. (eds.) RSSRail. Lecture Notes in Computer Science, vol. 10598. Springer, Cham (2017). \n                      https:\/\/doi.org\/10.1007\/978-3-319-68499-4_17"},{"issue":"6","key":"15_CR17","doi-asserted-by":"publisher","first-page":"3684","DOI":"10.1007\/s10664-018-9596-7","volume":"23","author":"A Ferrari","year":"2018","unstructured":"Ferrari, A., et al.: Detecting requirements defects with NLP patterns: an industrial experience in the railway domain. IEEE Empir. Softw. Eng. 23(6), 3684\u20133733 (2018)","journal-title":"IEEE Empir. Softw. Eng."}],"container-title":["Lecture Notes in Computer Science","From Software Engineering to Formal Methods and Tools, and Back"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-30985-5_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,8]],"date-time":"2019-10-08T21:56:38Z","timestamp":1570571798000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-30985-5_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030309848","9783030309855"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-30985-5_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"9 October 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}