This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
An Introduction to the Specification Language SPEC
March/April 1990 (vol. 7 no. 2)
pp. 74-84

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.

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
Usage of this product signifies your acceptance of the Terms of Use.