Types of Formal Specifications

• Behavioral specifications describe constraints on behavior of specificand – e.g.,

  • functionality
  • safety
  • security
  • performance

• Structural specifications describe constraints on internal composition of specificand

  • module interconnection
  • uses and is-composed-of
  • dependence relations

Previous slide

Next slide

Back to first slide

View graphic version