Information technology — Programming languages, their environments and system software interfaces — ...
Specifies the nomenclature and shared semantics for a collection of datatypes commonly occuring in programming languages and software interfaces, referred to as the Language-Independent (LI) Datatypes.
Industrial automation systems and integration — Product data representation and exchange — Part 105:...
Describes an information model for the kinematic aspects of a mechanical product as required for the communication between CAD systems and kinematic analysis systems, and among dissimilar kinematic analysis systems.
Information technology — Programming languages, their environments and system software interfaces — ...
Specifies the model based specification language VDM-SL (Vienna Development Method - Specification Language). Contains the mathematical and interchange representation, gives the syntax, the static and the dynamic semantics, and conformity for specification and tools.
