specification language

views updated

specification language A language that is used in expressing a specification. It has a formally defined syntax and semantics, and its design is based on a mathematical method for modeling or defining systems (e.g. set theory, equations and initial algebras, predicate logic). Examples include SADT, RSL, VDM, OBJ, and Z.