Lénorme expansion de lutilisation des logiciels dans tous les domaines de la vie fait que les demandes dinstallation et de développement de systèmes logiciels réutilisables, robustes, fiables, flexibles et adaptatifs saccé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 dintégration des processus de différents domaines. En conséquence, les programmes logiciels deviennent de plus en plus volumineux et complexes. Lun des défis pour les développeurs de logiciels consiste à vérifier la conformité entre la mise en œuvre et la spécification, en particulier dans le domaine de lingénierie logicielle basée sur les composants. Dans ce livre, nous proposerons une méthode pour vérifier cette conformité.
Veja mais