A mathematical framework for the semantics of modular structuring facilities in
specification languages is described informally and in broad outline. Its use for a
semantics of the modular structuring facilities of a specification language closely
related to VDM-SL is briefly explained. The sketched approach is claimed to
be applicable to a wide variety of specification languages. It further permits the
analysis of the consequences of different degrees of semantic force of the modular
structuring facilities. Some general consequences are mentioned. A way to use
the presented framework for a semantics of modular structuring facilities added
to the standardized version of VDM-SL is outlined
Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.