{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T04:12:50Z","timestamp":1748664770721,"version":"3.41.0"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319250151"},{"type":"electronic","value":"9783319250175"}],"license":[{"start":{"date-parts":[[2015,10,18]],"date-time":"2015-10-18T00:00:00Z","timestamp":1445126400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-25017-5_38","type":"book-chapter","created":{"date-parts":[[2015,10,18]],"date-time":"2015-10-18T23:39:25Z","timestamp":1445211565000},"page":"403-413","source":"Crossref","is-referenced-by-count":1,"title":["A Semantic Driven Approach for Consistency Verification Between Requirements and FMEA"],"prefix":"10.1007","author":[{"given":"Gabriella","family":"Gigante","sequence":"first","affiliation":[]},{"given":"Francesco","family":"Gargiulo","sequence":"additional","affiliation":[]},{"given":"Massimo","family":"Ficco","sequence":"additional","affiliation":[]},{"given":"Domenico","family":"Pascarella","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,10,18]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Wu, Z., Palmer, M.: Verbs semantics and lexical selection. In: Proceedings of the 32nd annual meeting on Association for Computational Linguistics, pp. 133\u2013138 (1998)","key":"38_CR1","DOI":"10.3115\/981732.981751"},{"doi-asserted-by":"crossref","unstructured":"Nuseibeh, B., Russo, A.: Completeness in formal specification language design for process-control systems. In Proceedings of the 3rd Workshop on Formal Methods in Software Practice, pp. 75\u201387 (2000)","key":"38_CR2","DOI":"10.1145\/349360.351140"},{"issue":"4","key":"38_CR3","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1109\/2.839317","volume":"33","author":"B Nuseibeh","year":"2000","unstructured":"Nuseibeh, B., Easterbrook, S., Russo, A.: Leveraging Inconsistency in Software development. IEEE Comput. 33(4), 24\u201329 (2000)","journal-title":"IEEE Comput."},{"doi-asserted-by":"crossref","unstructured":"Mens, T., Van Der Straeten, R., Simmonds, J.: A Framework for Managing Consistency of Evolving UML Models. http:\/\/citeseerx.ist.psu.edu\/viewdoc\/summary?doi=10.1.1.130.9786 (2005)","key":"38_CR4","DOI":"10.4018\/978-1-59140-462-0.ch001"},{"unstructured":"Kroha, P., Gayo, L.: Using semantic web technology in requirements specifications. ChemnitzerInformatik-Berichte CSR-08-02, ISSN 0947-5125, TU Chemnitz (2008)","key":"38_CR5"},{"doi-asserted-by":"crossref","unstructured":"Ficco, M., Daidone, A., Coppolino, L., Romano, L., Bondavalli, A.: An event correlation approach for fault diagnosis in SCADA infrastructures. In: Proceedings of the 13th European Workshop on Dependable Computing, May 2011, pp. 15\u201320 (2011)","key":"38_CR6","DOI":"10.1145\/1978582.1978586"},{"unstructured":"Wordnet search 3.1. http:\/\/wordnet.princeton.edu\/","key":"38_CR7"},{"doi-asserted-by":"crossref","unstructured":"Liu, X.Y., Zhou, Y.M., Zheng, R.S.: Measuring semantic similarity in WordNet. In: Proceedings of the IEEE International Conference on Machine Learning and Cybernetics, vol. 6, August 2007, pp. 3431\u20133435 (2007)","key":"38_CR8","DOI":"10.1109\/ICMLC.2007.4370741"},{"unstructured":"ISO, ISO 26262 Road vehicles Functional Safety, Part 1\u201310 (2011)","key":"38_CR9"},{"unstructured":"ECSS-E-40C, Safety Space Product Assurance, ECSS Secretariat ESA-ESTEC Re-quirements & Standards Division Noordwijk, The Netherlands, 6 March 2009","key":"38_CR10"},{"doi-asserted-by":"crossref","unstructured":"Zazzaro, G., Gigante, G., Zaccariello, E., Ficco, M., Di Martino, B.: Supporting development of certified aeronautical components by applying text analysis techniques. In: Proceedings of the 8th International Conference on Complex, Intelligent and Software Intensive Systems, pp. 602\u2013607 (2014)","key":"38_CR11","DOI":"10.1109\/CISIS.2014.86"},{"doi-asserted-by":"crossref","unstructured":"Ficco, M., Avolio, G., Battaglia, L., Manetti, V.: Hybrid simulation of distributed large-scale critical infrastructures. In: Proceedings of the International Conference on Intelligent Networking and Collaborative Systems, September 2014, pp. 616\u2013621 (2014)","key":"38_CR12","DOI":"10.1109\/INCoS.2014.35"},{"doi-asserted-by":"crossref","unstructured":"H\u00f6fig, A., Zeller, M., Grunske, L.: MetaFMEA-A framework for reusable FMEAs. In: Proceedings of the 4th International Symposium on Model-Based Safety and Assessment, pp. 110\u2013122 (2014)","key":"38_CR13","DOI":"10.1007\/978-3-319-12214-4_9"},{"key":"38_CR14","first-page":"427","volume":"570","author":"G Gigante","year":"2015","unstructured":"Gigante, G., Gargiulo, F., Ficco, M.: A semantic driven approach for requirements consistency verification. Intell. Distrib. Comput. VIII 570, 427\u2013436 (2015)","journal-title":"Intell. Distrib. Comput. VIII"},{"doi-asserted-by":"crossref","unstructured":"Gribaudo, M., Iacono, M.: An introduction to multiformalism modeling. In: Theory and Application of Multi-Formalism Modeling, pp. 314\u2013329 (2013)","key":"38_CR15","DOI":"10.4018\/978-1-4666-4659-9"}],"container-title":["Studies in Computational Intelligence","Intelligent Distributed Computing IX"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25017-5_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T02:10:46Z","timestamp":1748657446000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25017-5_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,18]]},"ISBN":["9783319250151","9783319250175"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25017-5_38","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2015,10,18]]}}}