The Community for Technology Leaders
Green Image
Issue No. 02 - March/April (1990 vol. 7)
ISSN: 0740-7459
pp: 74-84
<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
Valdis Berzins, Luqi null, "An Introduction to the Specification Language SPEC", IEEE Software, vol. 7, no. , pp. 74-84, March/April 1990, doi:10.1109/52.50776
86 ms
(Ver 3.3 (11022016))