Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap


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


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

©2018 Martin Webb