Table des matièresDiapositive PPTCe dont on va parler : types et RPO Ce dont on ne parlera pas Objectifs des systèmes de RPO Utilité d'un système de types Utilité d'un système de types Utilité d'un système de types Utilité d'un système de types Tout est objet (et réciproquement) ? Vérifications de types et redondances Vérifications de types et redondances Vérifications de types et redondances Besoin de types de données externes Besoin de types de données externes Besoin de types de données externes Où sont les types ? Où sont les types ? Où sont les types ? Où sont les types ? Cahier des charges du système de types Architecture du système de types Metéo Les C-types Base hiérarchique de C-types EOLE Les ?-types Les ?-types ?-sous-typage et treillis de ?-types ?-sous-typage et treillis de ?-types Treillis de ?-types et ?-sous-typage Interface RPO/Metéo Interface RPO/Metéo Extensibilité de Metéo Extensibilité de Metéo Implémentation de Metéo Exploitation de Metéo Exploitation de Metéo Conclusion Poisson d'avril !!! |
Auteur:Administrateur
Messagerie: Jerom.Gensel@inrialpes.fr
|