Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Technical Report

Eliminative Argumentation: A Basis for Arguing Confidence in System Properties

  • Abstract

    Assurance cases provide a structured method of explaining why a system has some desired property, for example, that the system is safe. But there is no agreed approach for explaining what degree of confidence one should have in the conclusions of such a case. This report defines a new concept, eliminative argumentation, that provides a philosophically grounded basis for assessing how much confidence one should have in an assurance case argument. This report will be of interest mainly to those familiar with assurance case concepts and who want to know why one argument rather than another provides more confidence in a claim. The report is also potentially of value to those interested more generally in argumentation theory.

  • Download

Cite This Report

SEI

Goodenough, John; Weinstock, Charles; & Klein, Ari. Eliminative Argumentation: A Basis for Arguing Confidence in System Properties. CMU/SEI-2015-TR-005. Software Engineering Institute, Carnegie Mellon University. 2015. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=434805

IEEE

Goodenough. John, Weinstock. Charles, and Klein. Ari, "Eliminative Argumentation: A Basis for Arguing Confidence in System Properties," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Technical Report CMU/SEI-2015-TR-005, 2015. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=434805

APA

Goodenough, John., Weinstock, Charles., & Klein, Ari. (2015). Eliminative Argumentation: A Basis for Arguing Confidence in System Properties (CMU/SEI-2015-TR-005). Retrieved August 24, 2017, from the Software Engineering Institute, Carnegie Mellon University website: http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=434805

CHI

John Goodenough, Charles Weinstock, & Ari Klein. Eliminative Argumentation: A Basis for Arguing Confidence in System Properties (CMU/SEI-2015-TR-005). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 2015. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=434805

MLA

Goodenough, John., Weinstock, Charles., & Klein, Ari. 2015. Eliminative Argumentation: A Basis for Arguing Confidence in System Properties (Technical Report CMU/SEI-2015-TR-005). Pittsburgh: Software Engineering Institute, Carnegie Mellon University. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=434805

BibTex

@techreport{GoodenoughEliminativeArgumentation2015,
title={Eliminative Argumentation: A Basis for Arguing Confidence in System Properties},
author={John Goodenough and Charles Weinstock and Ari Klein},
year={2015},
number={CMU/SEI-2015-TR-005},
institution={Software Engineering Institute, Carnegie Mellon University},
address={Pittsburgh, PA},
url={http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=434805} }