Cette thèse s''intéresse à la problématique de la vérification et de la validation (V&V) de modèles UML. Notre objectif est de déterminer d''une part qu''un modèle donné est bien formé et cohérent, et d''autre part, qu''il satisfait les besoins des futurs utilisateurs du système d''information...