{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,4]],"date-time":"2025-10-04T21:47:42Z","timestamp":1759614462263},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319118536"},{"type":"electronic","value":"9783319118543"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11854-3_62","type":"book-chapter","created":{"date-parts":[[2014,8,26]],"date-time":"2014-08-26T06:09:04Z","timestamp":1409033344000},"page":"717-725","source":"Crossref","is-referenced-by-count":2,"title":["Argument Algebra: A Formalization of Assurance Case Development"],"prefix":"10.1007","author":[{"given":"Shuichiro","family":"Yamamoto","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"62_CR1","unstructured":"Kelly, T.P.: A Six-Step Method for the Development of Goal Structures. York Software Engineering (1997)"},{"key":"62_CR2","doi-asserted-by":"crossref","unstructured":"Kelly, T.: Arguing Safety, a Systematic Approach to Managing Safety Cases. PhD Thesis, Department of Computer Science, University of York (1998)","DOI":"10.1007\/3-540-48249-0_2"},{"key":"62_CR3","first-page":"1","volume-title":"SCS 2001: Proceedings of the Sixth Australian Workshop on Safety Critical Systems and Software","author":"J.A. McDermid","year":"2001","unstructured":"McDermid, J.A.: Software safety: Where\u2019s the evidence? In: SCS 2001: Proceedings of the Sixth Australian Workshop on Safety Critical Systems and Software, pp. 1\u20136. Australian Computer Society, Inc., Darlinghurst (2001)"},{"key":"62_CR4","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1016\/S0951-8320(03)00094-2","volume":"81","author":"I. Bate","year":"2003","unstructured":"Bate, I., Kelly, T.: Architectural considerations in the certification of modular systems. Reliability Engineering and System Safety\u00a081, 303\u2013324 (2003)","journal-title":"Reliability Engineering and System Safety"},{"key":"62_CR5","unstructured":"Kelly, T., Weaver, R.: The Goal Structuring Notation \u2013 A Safety Argument Notation. In: Proceedings of the Dependable Systems and Networks 2004 Workshop on Assurance Cases (July 2004)"},{"key":"62_CR6","doi-asserted-by":"crossref","unstructured":"Despotou, G., Kelly, T.: Investigating the use of argument modularity to optimize throughlife system safety assurance. In: Proc. 3rd IET Int. Conf. on System Safety (ICSS). IET (2008)","DOI":"10.1049\/cp:20080746"},{"key":"62_CR7","doi-asserted-by":"crossref","unstructured":"Kelly, T., McDermid, J.: Safety Case Construction and Reuse using Patterns (1998)","DOI":"10.1007\/978-1-4471-0997-6_5"},{"key":"62_CR8","unstructured":"Alexander, R., Kelly, T., Kurd, Z., McDermid, J.: Safety Cases for Advanced Control Software: Safety Case Patterns (2007)"},{"key":"62_CR9","unstructured":"Wardzinski, A.: Safety Argument Strategies for Autonomous Vehicles (2008)"},{"key":"62_CR10","doi-asserted-by":"crossref","unstructured":"Denny, E., Pai, G.: A Lightweight Methodology for Safety Case Assembly (2012)","DOI":"10.1007\/978-3-642-33678-2_1"},{"key":"62_CR11","doi-asserted-by":"crossref","unstructured":"Hauge, A., Stolen, K.: A Pattern-Based Method for Safe Control Systems Exemplified within Nuclear Power Production (2012)","DOI":"10.1007\/978-3-642-33678-2_2"},{"key":"62_CR12","doi-asserted-by":"crossref","unstructured":"Ruiz, A., Habli, I., Espinoza, H.: Towards a Case-Based Reasoning Approach for Safety Assurance Reuse (2012)","DOI":"10.1007\/978-3-642-33675-1_3"},{"key":"62_CR13","doi-asserted-by":"crossref","unstructured":"Graydon, P., Kelly, T.: Assessing Software Interference Management When Modifying Safety-Related Software (2012)","DOI":"10.1007\/978-3-642-33675-1_11"},{"key":"62_CR14","doi-asserted-by":"crossref","unstructured":"Denny, E., Pai, G.: Formal verification of a safety argumentation and application to a complex UAV system AdvoCATE: An Assurance Case Automation Toolset (2012)","DOI":"10.1007\/978-3-642-33675-1_2"},{"key":"62_CR15","doi-asserted-by":"crossref","unstructured":"Bloomfield, R., Bishop, P.: Safety and Assurance Cases: Past. Present and Possible Future \u2013 an Adelard Perspective (2010)","DOI":"10.1007\/978-1-84996-086-1_4"},{"key":"62_CR16","doi-asserted-by":"crossref","unstructured":"Yamamoto, S., Matsuno, Y.: An Evaluation of Argument Patterns to Reduce Pitfalls of Applying Assurance Case, pp.12\u201317, Assure (2013)","DOI":"10.1109\/ASSURE.2013.6614265"},{"key":"62_CR17","unstructured":"Hawkins, R., Kelly, T.: A Software Safety Argument Pattern Catalogue, YCS-2013-482 (2013)"},{"key":"62_CR18","unstructured":"Open Group Standard, Real-Time and Embedded Systems: Dependability through AssurednessTM (O-DA) Framework (2013)"}],"container-title":["Communications in Computer and Information Science","Knowledge-Based Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11854-3_62","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,15]],"date-time":"2022-04-15T15:01:55Z","timestamp":1650034915000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11854-3_62"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319118536","9783319118543"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11854-3_62","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2014]]}}}