<language, specification>

A specification language, developed at SRI around 1976, used to specify the abstract machines in Hierarchical Design Methodology (HDM).

["SPECIAL - A Specification and Assertion Language", L. Robinson et al, TR CSL-46, SRI, Jan 1977].

Last updated: 2012-07-08

Nearby terms:

SPEC CINT92SPECfp92SPECIALspecial-caseSpecial Interest Group

Try this search on Wikipedia, Wiktionary, Google, OneLook.