Modélisation des données Un langage pour décrire INVARIANT, PRE-CONDITION, EXPRESSION Concepts et notations utilisés Logique Ensembles Relations.