The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.02 - March/April (1990 vol.7)
pp: 74-84
ABSTRACT
<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>
INDEX TERMS
specification language SPEC; black-box interface specifications; distributed systems; real-time constraints; conceptual models; specification languages
CITATION
Valdis Berzins, Luqi null, "An Introduction to the Specification Language SPEC", IEEE Software, vol.7, no. 2, pp. 74-84, March/April 1990, doi:10.1109/52.50776
39 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool