Issue No. 02 - March/April (1990 vol. 7)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/52.50776
<p>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.</p>
specification language SPEC; black-box interface specifications; distributed systems; real-time constraints; conceptual models; specification languages
V. Berzins and L. null, "An Introduction to the Specification Language SPEC," in IEEE Software, vol. 7, no. , pp. 74-84, 1990.