Andere Kunden interessierten sich auch für
![Controleren van de conformiteit]( "Controleren van de conformiteit")
Controleren van de conformiteit32,99 €![Verificação da Conformidade]( "Verificação da Conformidade")
Verificação da Conformidade32,99 €![Controllo della conformità]( "Controllo della conformità")
Controllo della conformità32,99 €![Sprawdzanie zgodno¿ci]( "Sprawdzanie zgodno¿ci")
Sprawdzanie zgodno¿ci32,99 €![Prowerka sootwetstwiq]( "Prowerka sootwetstwiq")
Prowerka sootwetstwiq32,99 €![L'intégration de formalismes dans le développement logiciel]( "L'intégration de formalismes dans le développement logiciel")
L'intégration de formalismes dans le développement logiciel63,99 €![Vérification et validation formelles de modèles UML]( "Vérification et validation formelles de modèles UML")
Vérification et validation formelles de modèles UML45,99 €
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é.