Verification de la conformite

L'norme expansion de l'utilisation des logiciels dans tous les domaines de la vie fait que les demandes d'installation et de dveloppement de systmes logiciels rutilisables, robustes, fiables, flexibles et adaptatifs s'acclrent considrablement. Ces exigences tant de plus en plus fortes, la complexit des processus grs par les logiciels augmente en mme temps que la demande d'intgration des processus de diffrents domaines. En consquence, les programmes logiciels deviennent de plus en plus volumineux et complexes. L'un des dfis pour les dveloppeurs de logiciels consiste vrifier la conformit entre la mise en uvre et la spcification, en particulier dans le domaine de l'ingnierie logicielle base sur les composants. Dans ce livre, nous proposerons une mthode pour vrifier cette conformit.