Developing Confidence in Software through Credentials and Low-Ceremony Evidence

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.