Author_Institution :
Dept. of Comput. Sci., US Naval Postgraduate Sch., Monterey, CA, USA
Abstract :
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.<>
