Résumé
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.
Prévisualiser
Prévisualiser cette norme sur notre Plateforme de consultation en ligne (OBP)
Informations générales
-
État actuel: PubliéeDate de publication: 1996-12Stade: Norme internationale confirmée [90.93]
-
Edition: 1
-
Comité technique :ISO/IEC JTC 1/SC 22ICS :35.060
- RSS mises à jour
Cycle de vie
-
Actuellement
PubliéeISO/IEC 13817-1:1996
Les normes ISO sont réexaminées tous les cinq ans
Stade: 90.93 (Confirmée)
Vous avez une question?
Consulter notre FAQ
Service à la clientèle
+41 22 749 08 88
Horaires d’ouverture:
De lundi à vendredi - 09:00-12:00, 14:00-17:00 (UTC+1)