By Topic

Measuring assurance case confidence using Baconian probabilities

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Weinstock, C.B. ; Software Eng. Inst., Carnegie Mellon Univ., Pittsburgh, PA, USA ; Goodenough, J.B. ; Klein, A.Z.

The basis for assessing the validity of an assurance case is an active area of study. In this paper, we discuss how to assess confidence in a case by considering the doubts eliminated by the claims and evidence in a case. This is an application of eliminative induction and the notion of Baconian probability as put forward by L. Jonathan Cohen.

Published in:

Assurance Cases for Software-Intensive Systems (ASSURE), 2013 1st International Workshop on

Date of Conference:

19-19 May 2013