Van Viet Pham

Verification de la conformite Van Viet Pham

L'énorme expansion de l'utilisation des logiciels dans tous les domaines de la vie fait que les demandes d'installation et de développement de systèmes logiciels réutilisables, robustes, fiables, flexibles et adaptatifs s'accélèrent considérablement. Ces exigences étant de plus en plus fortes, la complexité des processus gérés par les logiciels augmente en même temps que la demande d'intégration des processus de différents domaines. En conséquence, les programmes logiciels deviennent de plus en plus volumineux et complexes. L'un des défis pour les développeurs de logiciels consiste à vérifier la conformité entre la mise en oeuvre et la spécification, en particulier dans le domaine de l'ingénierie logicielle basée sur les composants. Dans ce livre, nous proposerons une méthode pour vérifier cette conformité.