Indisponible en français

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ée
    Date de publication
     : 1996-12
  • Edition
     : 1
  • Comité technique
     : ISO/IEC JTC 1/SC 22 Langages de programmation, leur environnement et interfaces des logiciels de systèmes
  • ICS
     :
    35.060 Langages utilisés dans les technologies de l'information

Acheter cette norme

Format Langue
PDF
Papier
  • CHF208

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)

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.

  2. Store
  3. Catalogue de normes
  4. TC
  5. ISO/IEC JTC 1/SC 22
  6. ISO/IEC 13817-1:1996