{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T16:57:38Z","timestamp":1772038658577,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642336744","type":"print"},{"value":"9783642336751","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33675-1_2","type":"book-chapter","created":{"date-parts":[[2012,9,10]],"date-time":"2012-09-10T16:33:04Z","timestamp":1347294784000},"page":"8-21","source":"Crossref","is-referenced-by-count":72,"title":["AdvoCATE: An Assurance Case Automation Toolset"],"prefix":"10.1007","author":[{"given":"Ewen","family":"Denney","sequence":"first","affiliation":[]},{"given":"Ganesh","family":"Pai","sequence":"additional","affiliation":[]},{"given":"Josef","family":"Pohl","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Adelard LLP: Assurance and safety case environment (ASCE), http:\/\/www.adelard.com\/asce\/ (last accessed May 2011)"},{"key":"2_CR2","unstructured":"Basili, V., Caldiera, G., Rombach, D.: Goal question metric approach. In: Encyclopedia of Software Engineering, pp. 528\u2013532. John Wiley (1994)"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-642-15651-9_6","volume-title":"Computer Safety, Reliability, and Security","author":"N. Basir","year":"2010","unstructured":"Basir, N., Denney, E., Fischer, B.: Deriving Safety Cases for Hierarchical Structure in Model-Based Development. In: Schoitsch, E. (ed.) SAFECOMP 2010. LNCS, vol.\u00a06351, pp. 68\u201381. Springer, Heidelberg (2010)"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Denney, E., Fischer, B.: Generating customized verifiers for automatically generated code. In: Proc. Conf. Generative Programming and Component Eng., pp. 77\u201387 (October 2008)","DOI":"10.1145\/1449913.1449926"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Denney, E., Habli, I., Pai, G.: Perspectives on software safety case development for unmanned aircraft. In: Proc. 42nd Intl. Conf. Dependable Systems and Networks (June 2012)","DOI":"10.1109\/DSN.2012.6263939"},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-642-27654-5","volume-title":"SAFECOMP 2012","author":"E. Denney","year":"2012","unstructured":"Denney, E., Pai, G.: A Lightweight Methodology for Safety Case Assembly. In: Ortmeier, F., Daniel, P. (eds.) SAFECOMP 2012. LNCS, vol.\u00a07612, pp. 1\u201312. Springer, Heidelberg (2012)"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Denney, E., Pai, G., Habli, I.: Towards measurement of confidence in safety cases. In: Proc. 5th Intl. Symp. Empirical Soft. Eng. and Measurement, pp. 380\u2013383 (September 2011)","DOI":"10.1109\/ESEM.2011.53"},{"key":"2_CR8","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 (July 2012)","DOI":"10.1109\/ICECCS20050.2012.6299215"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Denney, E., Trac, S.: A software safety certification tool for automatically generated guidance, navigation and control code. In: IEEE Aerospace Conf. Electronic Proc. (2008)","DOI":"10.1109\/AERO.2008.4526576"},{"key":"2_CR10","unstructured":"Goal Structuring Notation Working Group: GSN Community Standard Version 1 (November 2011), http:\/\/www.goalstructuringnotation.info\/"},{"key":"2_CR11","unstructured":"Graydon, P., Knight, J., Green, M.: Certification and safety cases. In: Proc. 28th Intl. System Safety Conf. (September 2010)"},{"key":"2_CR12","unstructured":"Kelly, T.P.: Reviewing Assurance Arguments - A Step-by-Step Approach. In: Proc. Workshop on Assurance Cases for Security - The Metrics Challenge, Dependable Systems and Networks (July 2007)"},{"key":"2_CR13","unstructured":"Kestrel Technology LLP and NASA Langley Research Center: CertWare tool, http:\/\/nasa.github.com\/CertWare\/ (last accessed May 2011)"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Matsuno, Y., Takamura, H., Ishikawa, Y.: Dependability case editor with pattern library. In: Proc. 12th IEEE Intl. Symp. High-Assurance Systems Eng., pp. 170\u2013171 (2010)","DOI":"10.1109\/HASE.2010.26"},{"key":"2_CR15","unstructured":"National Research Council Committee on Certifiably Dependable Software Systems: Software for Dependable Systems: Sufficient Evidence? National Academies Press (2007)"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Spriggs, J.: GSN - The Goal Structuring Notation. Springer (2012)","DOI":"10.1007\/978-1-4471-2312-5"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Steele, P., Collins, K., Knight, J.: ACCESS: A toolset for safety case creation and management. In: Proc. 29th Intl. Systems Safety Conf. (August 2011)","DOI":"10.1002\/prs.10382"},{"key":"2_CR18","unstructured":"UK Ministry of Defence (MoD): Safety Management Requirements for Defence Systems. Defence Standard 00-56, Issue 4 (2007)"},{"key":"2_CR19","unstructured":"U.S. Department of Transportation, Federal Aviation Administration: System Safety Handbook. FAA (December 2000)"},{"issue":"3","key":"2_CR20","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1016\/j.scico.2007.05.004","volume":"68","author":"D. Varr\u00f3","year":"2007","unstructured":"Varr\u00f3, D., Balogh, A.: The model transformation language of the VIATRA2 framework. Science of Computer Programming\u00a068(3), 214\u2013234 (2007)","journal-title":"Science of Computer Programming"},{"key":"2_CR21","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.\u00a06662, pp. 206\u2013227. Springer, Heidelberg (2011)"}],"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-33675-1_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:18:25Z","timestamp":1620130705000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33675-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336744","9783642336751"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33675-1_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}