ISO/IEC 13817-1:1996

Information technology — Programming languages, their environments and system software interfaces — Vienna Development Method — Specification Language — Part 1: Base language

Datum objavljivanja: 19. 12. 1996.

Опште информације

Trenutna faza: 90.93 Effective date: 24. 9. 2024.

Inicijator: ISO/IEC

Pripada: ISO/IEC JTC 1/SC 22

Vrsta: Međunarodni standard

ICS: 35.060

Jezik: engleski

Kupovina

Status: Objavljen

PDF

Papir

PDF i papir

Jezik

Jezik na kome želite da primite dokument.

Apstrakt

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.

Životni ciklus

TRENUTNO

OBJAVLJEN
ISO/IEC 13817-1:1996
90.93 Odluka o potvrđivanju standarda
24. 9. 2024.