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

Digital Library

Ari Z. Klein
March 2015 - Technical Report Improving Quality Using Architecture Fault Analysis with Confidence Arguments

Topics: Software Architecture

The case study shows that by combining an analytical approach with confidence maps, we can present a structured argument that system requirements have been met and problems in the design have been addressed adequately.

February 2015 - Technical Report Eliminative Argumentation: A Basis for Arguing Confidence in System Properties

Topics: Software Architecture, Software Assurance

This report defines the concept of eliminative argumentation and provides a basis for assessing how much confidence one should have in an assurance case argument.

March 2013 - Conference Paper Eliminative Induction: A Basis for Arguing System Confidence

Topics: Software Architecture, Software Assurance

In this paper, the authors explain how the principle of eliminative induction provides a basis for assessing confidence in an assurance case argument.

March 2013 - Conference Paper Measuring Assurance Case Confidence using Baconian Probabilities

Topics: Software Architecture, Software Assurance

In this 2013 paper, the authors discuss how to assess confidence in a case by considering the doubts eliminated by the claims and evidence in a case.

September 2012 - Technical Report Toward a Theory of Assurance Case Confidence

Topics: Software Architecture, Software Assurance

In this report, the authors present a framework for thinking about confidence in assurance case arguments.