Information technology. Programming languages, their environments and system software interfaces. Vienna Development Method. Specification language - Base language Ingestion-build-137917 It is expected that particular

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

It provides the ignition of heating oil/biodiesel fuel used to heat either air or water via a heat exchanger

This specification does not describe any implementation details

BS 5930:1999+A2 assumes that the user has taken into account the wider environmental and economic considerations before choosing a specific site

Information technology. Programming languages, their environments and system software interfaces. Vienna Development Method. Specification language - Base language Ingestion-build-137917 It is expected that particular1 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