Le dernier examen de cette norme date de 2008. Cette édition reste donc d’actualité.
Résumé Preview
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.
Informations générales
-
État actuel : PubliéeDate de publication : 1996-12
-
Edition : 1
-
Comité technique:Langages de programmation, leur environnement et interfaces des logiciels de systèmes
-
- ICS :
-
Langages utilisés dans les technologies de l'information
Acheter cette norme
| Format | Langue | |
|---|---|---|
| Papier |
- CHF198
Cycle de vie
Les normes ISO sont réexaminées tous les cinq ans
Révision / Rectificatifs techniques
-
Actuellement confirmée
ISO/IEC 13817-1:1996
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)
Suivez l'actualité de l'ISO
Inscrivez-vous à notre Newsletter (en anglais) pour suivre nos actualités, points de vue et informations sur nos produits.