You are here: irt.org | FOLDOC | SPECIAL
<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)
Nearby terms: SPEC CFP92 « SPEC CINT92 « SPECfp92 « SPECIAL » special-case » Special Interest Group » specialisation
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL