Cette these s'interesse a la problematique de la verification et de la validation (V&V) de modeles UML. Notre objectif est de determiner d'une part qu'un modele donne est bien forme et coherent, et d'autre part, qu'il satisfait les besoins des futurs utilisateurs du systeme d'information. Dans ce contexte, nos principales contributions portent sur la proposition de deux approches pour la verification et la validation formelles de modeles UML. Ces deux approches sont realisees suite a l'identification des relations inter-diagrammes UML, issues principalement du processus unifie UP et du meta-modele UML. La premiere approche s'articule autour de la verification de la coherence d'un modele UML. Elle permet de reduire le nombre important d'operations de verification elementaire en preservant la coherence globale du modele. La deuxieme approche propose une demarche de validation des besoins des utilisateurs exprimes sous forme de cas d'utilisation. L'objectif de cette approche consiste a s'assurer que l'ensemble des besoins des utilisateurs, exprimes par les diagrammes de cas d'utilisation documentes, est totalement couvert par le diagramme d'activites etabli par l'expert de domaine."