• ITU-T RECOMMENDATION Z.100 Annexe F1 (11/1988) ANNEXE F1 DE LA RECOMMANDATION Z.100: DÉFINITION FORMELLE DU LDS
  • TABLE DES MATIÈRES
  • 1 Préface
  • 2 Motivations
    • 2.1 Le métalangage
  • 3 Technique de modélisation
    • 3.1 Sémantique statique
    • 3.2 Sémantique dynamique
    • 3.3 Exemple
    • 3.4 Structure physique de la définition formelle
  • 4 Comment utiliser la définition formelle?
    • 4.1 Les utilisateurs du LDS
    • 4.2 Les réalisateurs
  • 5 Introduction au Meta-IV
    • 5.1 Structure générale
    • 5.2 Définitions de fonctions
    • 5.3 Définitions de variables
    • 5.4 Domaines
    • 5.4.1 Synonymes
    • 5.4.2 Arborescences non nommées
    • 5.4.3 Constructions de branchement
    • 5.4.4 Domaines élémentaires
    • 5.4.5 Domaines d'ensembles
    • 5.4.6 Domaines de listes
    • 5.4.7 Domaines de mise en correspondance
    • 5.4.8 Domaines Pid
    • 5.4.9 Domaines de référence
    • 5.4.10 Domaines optionnels
    • 5.5 Les constructions let et def
    • 5.6 Quantification
    • 5.7 Enoncés auxiliaires
    • 5.8 Différences avec la notation utilisée dans la définition formelle du CHILL
    • 5.9 Exemple: Spécification du «Demon game» en Meta-IV