{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:33:19Z","timestamp":1750221199811,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":6,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,5,27]],"date-time":"2018-05-27T00:00:00Z","timestamp":1527379200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,5,27]]},"DOI":"10.1145\/3183440.3195037","type":"proceedings-article","created":{"date-parts":[[2018,6,18]],"date-time":"2018-06-18T12:28:18Z","timestamp":1529324898000},"page":"420-421","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Assurance cases for scientific computing software"],"prefix":"10.1145","author":[{"given":"Spencer","family":"Smith","sequence":"first","affiliation":[{"name":"McMaster University, Hamilton, Ontario"}]},{"given":"Mojdeh Sayari","family":"Nejad","sequence":"additional","affiliation":[{"name":"McMaster University, Hamilton, Ontario"}]},{"given":"Alan","family":"Wassyng","sequence":"additional","affiliation":[{"name":"McMaster University, Hamilton, Ontario"}]}],"member":"320","published-online":{"date-parts":[[2018,5,27]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Fletcher J. Buckley A.M. Davis and J.W. Horch. 1993. IEEE Recommended Practice for Software Requirements Specifications. Technical Report. The institute of Electrical and Electronics Engineers Inc. New York USA."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.77"},{"volume-title":"General Principles of Software Validation","author":"Center for Devices and Radiological Health, CDRH. 2002.","key":"e_1_3_2_1_3_1","unstructured":"Center for Devices and Radiological Health, CDRH. 2002. General Principles of Software Validation; Final Guidance for Industry and FDA Staff. Technical Report. US Department Of Health and Human Services Food and Drug Administration Center for Devices and Radiological Health Center for Biologies Evaluation and Research, York, England."},{"key":"e_1_3_2_1_5_1","first-page":"7900","article-title":"A methodology for safely case development","volume":"113","author":"Eklunda Anders","year":"2016","unstructured":"Anders Eklunda, Thomas Nichols, and Hans Knutssona. 2016. A methodology for safely case development. Proceedings of the National Academy of Sciences of the United States of America (PNAS) 113, 28 (2016), 7900--7905.","journal-title":"Proceedings of the National Academy of Sciences of the United States of America (PNAS)"},{"volume-title":"A Case Study in Assurance Case Development for Scientific Software. Master's thesis","author":"Nejad Mojdeh Sayari","key":"e_1_3_2_1_6_1","unstructured":"Mojdeh Sayari Nejad. 2017. A Case Study in Assurance Case Development for Scientific Software. Master's thesis. McMaster University, Hamilton, ON, Canada."},{"key":"e_1_3_2_1_8_1","volume-title":"Mischa Geven, Nicholas Proscia, Hao Wang. Mark Lawford, and Tom Maibaum.","author":"Wassyng Alan","year":"2015","unstructured":"Alan Wassyng, Neeraj Kumar Singh, Mischa Geven, Nicholas Proscia, Hao Wang. Mark Lawford, and Tom Maibaum. 2015. Can Product-Specific Assurance Case Templates Be Used as Medical Device Standards? IEEE Design & Test 32, 5 (2015). 45--55."}],"event":{"name":"ICSE '18: 40th International Conference on Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"],"location":"Gothenburg Sweden","acronym":"ICSE '18"},"container-title":["Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3183440.3195037","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3183440.3195037","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:39:26Z","timestamp":1750210766000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3183440.3195037"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,27]]},"references-count":6,"alternative-id":["10.1145\/3183440.3195037","10.1145\/3183440"],"URL":"https:\/\/doi.org\/10.1145\/3183440.3195037","relation":{},"subject":[],"published":{"date-parts":[[2018,5,27]]},"assertion":[{"value":"2018-05-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}