H ? « »

Language peer sets for Spec:
United States
United States/1990
Designed 1990
1990s languages
Fifth generation
Post-Cold War


alternate simple view
Country: United States
Designed 1990
Published: 1990

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 (1990) Berzins, V. et al "An Introduction to the Specification Language Spec"
          in (1990) IEEE Software 7(02) March 1990
  • Berzins, V. (1991). (1991) Berzins, V. (1991). "Black-box specification in Spec."
          in (1991) Computer Languages 16(2)
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder