Specification Language

Definition

Specification Language

any language that is used for specifying requirements

Classification

As illustrated in the preceding figure, Specification Language is part of the following inheritance hierarchy:

• Type: Concrete
• Superclass: Language
• Subclasses: None
• Example Instances:
  • Object-Z, and object-oriented formal specification language
  • Z (pronounced Zed), a formal specification language that makes it easier to write mathematical description of complex dynamic systems such as software

Responsibilities

The typical responsibilities of a Specification Language are to:

• Unambiguously specify requirements.

Guidelines

• Select specification languages with adequate tool support.
• Select specification languages with the appropriate level of formality.