SPECIAL
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 CINT92 ♦ SPECfp92 ♦ SPECIAL ♦ special-case ♦ Special Interest Group
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading