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