Desirable Properties

• Consistency

  • a specificand exists that satisfies a specification

• Completeness (incrementally)

  • all aspects of specificands are specified

• Unambiguous

  • exactly one specificand satisfies a specification (may be a set if specification is not complete)

• Inference

  • consequence relation used to prove properties about the specificands that satisfy a specification

Previous slide

Next slide

Back to first slide

View graphic version