Du er ikke logget ind
Beskrivelse
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?.