<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?]
(2004-12-03)
Try this search on Wikipedia, OneLook, Google
Nearby terms: SPEC CFP92 « SPEC CINT92 « SPECfp92 « SPECIAL » special-case » Special Interest Group » specialisation
Copyright 2010 Denis Howe
