Information technology. Programming languages, their environments and system software interfaces. Vienna Development Method. Specification language - Base language Ingestion-build-137917 Government entities

Government entities

but also in the social environment

It is expected that particular device standards will make reference to this horizontal International Standard and may

Microlens supplier

Information technology. Programming languages, their environments and system software interfaces. Vienna Development Method. Specification language - Base language Ingestion-build-137917 Government entities1 Scope This part of ISO IEC 13817 specifies the model based specification language VDM SL (Vienna Development Method Specification Language). It specifies: two representations: the mathematical and interchange; the syntax; the static semantics; the dynamic semantics; conformity for specifications and tools. It does not specify: the proof obligations; the reification rules; the size or complexity of a specification that will exceed the capacity of any