SPECIAL

Search:

SPECIAL

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?]

(2004-12-03)