Vérification d'assemblage de composants logiciels Expérimentations avec MEC