Developing Confidence in Software through Credentials and Low-Ceremony Evidence
Date of Original Version
Abstract or Table of Contents
Conventional software specifications and reasoning based on such specifications do not accommodate uncertainty in the specifications, nor do they support the informal, subjective sorts of reasoning that many people use when making decisions about complex systems. We propose a notation for representing specifications in which attributes have different levels of confidence and we discuss ways that uncertain information can contribute usefully to software decisions.