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

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.