<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].
(2012-07-08)
Try this search on Wikipedia, OneLook, Google
Nearby terms: SPEC CFP92 « SPEC CINT92 « SPECfp92 « SPECIAL » special-case » Special Interest Group » specialisation
