SPECIAL

<language, specification> A specification language developed at SRI around 1976.

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

[Also known as "HDM"? What's HDM?]

Nearby terms:
SPEC CFP92 « SPEC CINT92 « SPECfp92 « SPECIAL » special-case » Special Interest Group » specialisation