Norme internationale
ISO/IEC 13817-1:1996
Technologies de l'information — Langages de programmation, leurs environnements et interfaces logiciel système — Méthode de développement de Vienne — Langage de spécification — Partie 1: Langage de base
Numéro de référence
ISO/IEC 13817-1:1996
Edition 1
1996-12
© ISO 2024
Norme internationale
Prévisualiser
Indisponible en français
Publiée (Edition 1, 1996)
Cette norme a été révisée et confirmée pour la dernière fois en 2008. Cette édition reste donc d’actualité.

ISO/IEC 13817-1:1996

Format
Langue
CHF 216
Convertir les francs suisses (CHF) dans une autre devise

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.

Informations générales

  • État actuel
     : Publiée
    Date de publication
     : 1996-12
    Stade
    : Norme internationale confirmée [90.93]
  • Edition
     : 1
  • Comité technique :
    ISO/IEC JTC 1/SC 22
    ICS :
    35.060 
  • RSS mises à jour

Cycle de vie

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)

  2. Store
  3. Catalogue de normes
  4. ICS
  5. 35
  6. 35.060
  7. ISO/IEC 13817-1:1996