Characteristics

• Model-oriented Specifications

  • specify system behavior by constructing a model in terms of well-defined mathematical constructs

• Property-oriented Specifications

  • specify system behavior in terms of properties that must be satisfied

• Visual Specifications

  • specify system behavior and structure by graphical depictions

• Executable Specifications

  • specify system behavior completely enough that specifications can run on a computer

• Tool Support

  • syntactic checking
  • model checking
  • proof checking

Previous slide

Next slide

Back to first slide

View graphic version