{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T02:54:17Z","timestamp":1769741657848,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642407925","type":"print"},{"value":"9783642407932","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40793-2_3","type":"book-chapter","created":{"date-parts":[[2013,8,27]],"date-time":"2013-08-27T02:10:59Z","timestamp":1377569459000},"page":"21-32","source":"Crossref","is-referenced-by-count":37,"title":["A Formal Basis for Safety Case Patterns"],"prefix":"10.1007","author":[{"given":"Ewen","family":"Denney","sequence":"first","affiliation":[]},{"given":"Ganesh","family":"Pai","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Alexander, R., Kelly, T., Kurd, Z., McDermid, J.: Safety Cases for Advanced Control Software: Safety Case Patterns. Final Report, NASA Contract FA8655-07-1-3025, Univ. of York (October 2007)"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Denney, E., Habli, I., Pai, G.: Perspectives on Software Safety Case Development for Unmanned Aircraft. In: Proc. 42nd IEEE\/IFIP Intl. Conf. Dep. Sys. and Networks (June 2012)","DOI":"10.1109\/DSN.2012.6263939"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-33678-2_1","volume-title":"Computer Safety, Reliability and Security","author":"E. Denney","year":"2012","unstructured":"Denney, E., Pai, G.: A lightweight methodology for safety case assembly. In: Ortmeier, F., Lipaczewski, M. (eds.) SAFECOMP 2012. LNCS, vol.\u00a07612, pp. 1\u201312. Springer, Heidelberg (2012)"},{"key":"3_CR4","unstructured":"Denney, E., Pai, G., Pohl, J.: Automating the generation of heterogeneous aviation safety cases. Tech. Rep. NASA\/CR-2011-215983, NASA Ames Research Center (August 2011)"},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/978-3-642-33675-1_2","volume-title":"Computer Safety, Reliability, and Security","author":"E. Denney","year":"2012","unstructured":"Denney, E., Pai, G., Pohl, J.: AdvoCATE: An Assurance Case Automation Toolset. In: Ortmeier, F., Daniel, P. (eds.) SAFECOMP Workshops 2012. LNCS, vol.\u00a07613, pp. 8\u201321. Springer, Heidelberg (2012)"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Denney, E., Pai, G., Pohl, J.: Heterogeneous aviation safety cases: Integrating the formal and the non-formal. In: 17th IEEE Intl. Conf. Engineering of Complex Computer Systems pp. 199\u2013208 (July 2012)","DOI":"10.1109\/ICECCS20050.2012.6299215"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"478","DOI":"10.1007\/978-3-642-38088-4_37","volume-title":"NASA Formal Methods","author":"E. Denney","year":"2013","unstructured":"Denney, E., Pai, G., Whiteside, I.: Hierarchical safety cases. In: Brat, G., Rungta, N., Venet, A. (eds.) NFM 2013. LNCS, vol.\u00a07871, pp. 478\u2013483. Springer, Heidelberg (2013)"},{"key":"3_CR8","unstructured":"Goal Structuring Notation Working Group: GSN Community Standard Version 1 (November 2011), http:\/\/www.goalstructuringnotation.info\/"},{"key":"3_CR9","unstructured":"Industrial Avionics Working Group: Modular Software Safety Case Process, Parts A and B: Process and Guidance. Tech. Rep. IAWG-AJT-301, Issue 2 (October 2007)"},{"key":"3_CR10","unstructured":"Kelly, T.: Arguing Safety: A Systematic Approach to Managing Safety Cases. Ph.D. thesis, Univ. of York (1998)"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Kelly, T., McDermid, J.: Safety case construction and reuse using patterns. In: Daniel, P. (ed.) Safe Comp 1997, pp. 55\u201369 (1997)","DOI":"10.1007\/978-1-4471-0997-6_5"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Menon, C., Hawkins, R., McDermid, J.: Interim standard of best practice on software in the context of DS 00-56 Issue 4. SSEI Standard of Best Practice (Issue 1). Univ. of York (2009)","DOI":"10.1007\/978-1-84996-086-1_9"},{"key":"3_CR13","unstructured":"Object Management Group: Structured Assurance Case Metamodel (SACM) version 1.0. Formal\/2013-02-01 (February 2013), http:\/\/www.omg.org\/spec\/SACM\/"},{"key":"3_CR14","unstructured":"Sun, L., Kelly, T.: Elaborating the concept of evidence in Safety Cases. In: Proc. 21st Safety Critical Sys. Symp. (February 2013)"},{"key":"3_CR15","unstructured":"Weaver, R.: The Safety of Software \u2013 Constructing and Assuring Arguments. Ph.D. thesis, Dept. of Comp. Sci., Univ. of York (2003)"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40793-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,2]],"date-time":"2020-08-02T16:18:07Z","timestamp":1596385087000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40793-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642407925","9783642407932"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40793-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}