Basic SpecificationLanguage Types

• Abstract Model Specifications

  • defines operations in terms of well-defined mathematical model

• Algebraic Specifications

  • defines operations by a collection of equivalence relations

• State Transition Specifications

  • defines operations in terms of states and transitions

• Axiomatic Specifications

  • defines operations by logical assertions

Previous slide

Next slide

Back to first slide

View graphic version