An introduction to the specification language SPEC
V. Berzins, Luqi · IEEE Software · 1990
SPEC expresses black-box interface specifications for large, distributed systems with real-time constraints. It incorporates conceptual models, inheritance, and the event model. The design of SPEC is discussed, and its primitives, consisting of functions, types, machines, and generators, are described.>