“a basis for justified confidence” in a required property of software (or of a
software-intensive system). This basis for justified confidence may take the
form of an assurance case. T. Scott Ankrum and Charles Howell [111] define
an assurance case as—