Norm

NEN-ISO/IEC 13817-1:1997 en

Informatietechnologie - Programmeertalen, hun omgevingen en interfaces voor systeemprogrammatuur - Vienna-ontwikkelingsmethode - Specificatietaal - Deel 1: Basistaal

164,52

Over deze norm

Status Definitief
Aantal pagina's 399
Commissie Programming languages , their environments and system software interfaces
Gepubliceerd op 01-06-1997
Taal Engels
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.

Details

ICS-code 35.060
Nederlandse titel Informatietechnologie - Programmeertalen, hun omgevingen en interfaces voor systeemprogrammatuur - Vienna-ontwikkelingsmethode - Specificatietaal - Deel 1: Basistaal
Engelse titel Information technology - Programming languages, their environments and system software interfaces - Vienna Development Method - Specifiction Language - Part 1: Base language (ISO/IEC 13817-1:1996)

Winkelwagen

Subtotaal:

Ga naar winkelwagen