Spécification et Vérification de Modèles de Procédés de Développement Directeur de Recherche : Bernard COULETTE, Université Toulouse II Encadrants : Xavier.