Specification language. Expresses black-box interface specifications for large distributed systems with real-time constraints. It incorporates conceptual models, inheritance and the event model. A descendant of MSG.84.

Related languages
Kodiyak => Spec   Evolution of

  • Berzins, V. et al "An Introduction to the Specification Language Spec" view details
          in IEEE Software 7(02) March 1990 view details
  • Berzins, V. (1991). "Black-box specification in Spec." view details
          in Computer Languages 16(2) view details