You are here: irt.org | FOLDOC | SMoLCS
Specification metalanguage used for a formal definition of Ada. "An Introduction to the SMoLCS Methodology", E. Astesiano, U Genova 1986.
Nearby terms: smoke-emitting diode « smoke test « smoking clover « SMoLCS » SMOP » SMP » SMPS
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