A specification language. It expresses black box interface specifications for large distributed systems with real-time constraints. It incorporates conceptual models, inheritance and the event model. It is a descendant of MSG.84.

["An Introduction to the Specification Language Spec", V. Berzins et al, IEEE Software 7(2):74-84 (Mar 1990)].

Try this search on Wikipedia, OneLook, Google

Nearby terms:

Speakeasy « speaker « SPEC « Spec » spec » SPECbase_fp92 » SPECbase_int92