H ? « ‹ ← → › »

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

Spec(ID:1597/spe004)

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
References:
  • 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