{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T04:30:18Z","timestamp":1771993818656,"version":"3.50.1"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030155377","type":"print"},{"value":"9783030155384","type":"electronic"}],"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-15538-4_9","type":"book-chapter","created":{"date-parts":[[2019,3,11]],"date-time":"2019-03-11T00:02:33Z","timestamp":1552262553000},"page":"124-131","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Assessment of the Quality of Safety Cases: A Research Preview"],"prefix":"10.1007","author":[{"given":"Jose Luis","family":"de la Vara","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriel","family":"Jim\u00e9nez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roy","family":"Mendieta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eugenio","family":"Parra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,3,8]]},"reference":[{"key":"9_CR1","unstructured":"Adelard: ASCE Software. https:\/\/www.adelard.com\/asce\/ . Accessed 26 Sept 2018"},{"issue":"11","key":"9_CR2","first-page":"1536","volume":"24","author":"JM Alvarez-Rodriguez","year":"2018","unstructured":"Alvarez-Rodriguez, J.M., et al.: Enabling system artefact exchange and selection through a linked data layer. J. Univ. Comput. Sci. 24(11), 1536\u20131560 (2018)","journal-title":"J. Univ. Comput. Sci."},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Bloomfield, R., Bishop, P.: Safety and assurance cases: past, present and possible future - an adelard perspective. In: SCSS (2010)","DOI":"10.1007\/978-1-84996-086-1_4"},{"key":"9_CR4","unstructured":"Cruickshank, K.J., et al.: A validation metrics framework for safety-critical software-intensive systems. In: SoSE (2009)"},{"issue":"12","key":"9_CR5","doi-asserted-by":"publisher","first-page":"1095","DOI":"10.1109\/TSE.2016.2553032","volume":"42","author":"JL Vara de la","year":"2016","unstructured":"de la Vara, J.L., et al.: An industrial survey on safety evidence change impact analysis practice. IEEE Trans. Softw. Eng. 42(12), 1095\u20131117 (2016)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"9_CR6","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1007\/s10515-017-0230-5","volume":"25","author":"E Denney","year":"2018","unstructured":"Denney, E., Pai, G.: Tool support for assurance case development. Autom. Soft. Eng. 25, 435\u2013499 (2018)","journal-title":"Autom. Soft. Eng."},{"key":"9_CR7","unstructured":"Goal Structuring Notation: GSN Community Standard Version 1 (2011)"},{"key":"9_CR8","unstructured":"Greenwell, W.S., et al.: A taxonomy of fallacies in system safety arguments. In: ISSC (2006)"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Hatcliff, J., et al.: Certifiably safe software-dependent systems. In: FOSE (2014)","DOI":"10.1145\/2593882.2593895"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Kelly, T.: Safety cases. In: Handbook of Safety Principles. Wiley, Hoboken (2018)","DOI":"10.1002\/9781119443070.ch16"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Langari, Z., Maibaum, T.: Safety cases: a review of challenges. In: ASSURE (2013)","DOI":"10.1109\/ASSURE.2013.6614263"},{"key":"9_CR12","unstructured":"Leveson, N.: The Use of Safety Cases in Certification and Regulation. MIT (2011)"},{"key":"9_CR13","series-title":"STUDFUZZ","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/978-3-540-44405-3_8","volume-title":"Soft Computing in Software Engineering","author":"J Llorens","year":"2004","unstructured":"Llorens, J., Morato, J., Genova, G.: RSHP: an information representation model based on relationships. In: Damiani, E., Madravio, M., Jain, L.C. (eds.) Soft Computing in Software Engineering. STUDFUZZ, vol. 159, pp. 221\u2013253. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-44405-3_8"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Maksimov, M., et al.: Two decades of assurance case tools: a survey. In: ASSURE (2018)","DOI":"10.1007\/978-3-319-99229-7_6"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Mendieta, R., et al.: Towards Effective SysML Model Reuse. In: MODELSWARD (2017)","DOI":"10.5220\/0006267605360541"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"MoD: Defence Standard 00-56 Issue 4 (2007)","DOI":"10.17925\/EOR.2007.00.00.56"},{"issue":"7","key":"9_CR17","doi-asserted-by":"publisher","first-page":"689","DOI":"10.1016\/j.infsof.2014.03.001","volume":"56","author":"S Nair","year":"2014","unstructured":"Nair, S., et al.: An extended systematic literature review on provision of evidence for safety certification. Inform. Softw. Tech. 56(7), 689\u2013717 (2014)","journal-title":"Inform. Softw. Tech."},{"key":"9_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.infsof.2014.12.002","volume":"60","author":"S Nair","year":"2015","unstructured":"Nair, S., et al.: Evidence management for compliance of critical systems with safety standards: a survey on the state of practice. Inform. Softw. Tech. 60, 1\u201315 (2015)","journal-title":"Inform. Softw. Tech."},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Parra, E., et al.: Analysis of requirements quality evolution. In: ICSE (2018)","DOI":"10.1145\/3183440.3195095"},{"key":"9_CR20","unstructured":"Rinehart, D.J., et al.: Current Practices in Constructing and Evaluating Assurance Cases With Applications to Aviation. NASA (2015)"},{"key":"9_CR21","unstructured":"The REUSE Company: Verification Studio. https:\/\/www.reusecompany.com\/verification-studio . Accessed 26 Sep 2018"},{"key":"9_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1007\/978-3-642-21292-5_12","volume-title":"Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems","author":"A Wassyng","year":"2011","unstructured":"Wassyng, A., Maibaum, T., Lawford, M., Bherer, H.: Software certification: is there a case against safety cases? In: Calinescu, R., Jackson, E. (eds.) Monterey Workshop 2010. LNCS, vol. 6662, pp. 206\u2013227. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-21292-5_12"}],"container-title":["Lecture Notes in Computer Science","Requirements Engineering: Foundation for Software Quality"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-15538-4_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,13]],"date-time":"2022-09-13T16:16:52Z","timestamp":1663085812000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-15538-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030155377","9783030155384"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-15538-4_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"8 March 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"REFSQ","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Working Conference on Requirements Engineering: Foundation for Software Quality","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Essen","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 March 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 March 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"refsq2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/refsq.org\/2019\/welcome\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}