Nous utilisons des cookies pour vous proposer des contenus et services adaptés. En poursuivant votre navigation sur ce site, vous acceptez l'utilisation de cookies.
Ce site respecte la loi RGPD du 25 mai 2018. Pour en savoir plus, cliquez ici
(+33) 02 47 61 20 22 Du lundi au vendredi de 10H à 16H30

Vérification d'assemblages de composants logiciels
Application aux composants UML2.0

Vérification d'assemblages de composants logiciels - presses académiques francophones - 9783841621726 -
Vérification d'assemblages de composants logiciels 

Auteur : 

Editeur : PRESSES ACADEMIQUES FRANCOPHONES

Date parution :

L'approche par composants vise la réutilisation par assemblage aisé et cohérent des composants. Mais l’obtention d’un assemblage de composants cohérent n’est pas un exercice facile. Pour y parvenir, nous préconisons une approche contractuelle distinguant divers contrats syntaxiques, structurels, sémantiques, de synchronisation et de qualité de services.Nous avons appliqué avec succès cette approche contractuelle sur deux modèles de composants semi-formels : UML2.0 et Ugatze. En effet, nous proposons deux démarches VerifComponentUML2.0 et VerifComponentUgatze. La démarche VerifComponentUML2.0 vise la vérification des contrats syntaxiques,structurels, de synchronisation et de qualité de services sur une assemblage de composants UML2.0 en passant par les deux modèles de composants formels Acme/Armani et Wright.VerifComponentUML2.0 est équipé de deux outils : Wr2fdr et Wright2Ada. L’outil Wr2fdr permet de traduire des Wright vers CSP afin de vérifier les contrats de synchronisation en utilisant le model-checker FDR. L’outil Wright2Ada est un outil IDM permettant de transformer de Wright en Ada afin d’ouvrir UML2.0 sur les outils d’analyse statique et dynamique associés à Ada.


En suivant ce lien, retrouvez tous les livres dans la spécialité Electronique.
Reliure : Broché
Nbr de pages : 228
Poids : 342 gr
ISBN 10 : 3841621724
ISBN 13 : 9783841621726
89,90 €
Sur commande , expédition à 0.01€ sous 4 à 8 jours (en savoir plus)

Avis clients sur Vérification d'assemblages de composants logiciels - presses académiques francophones -

(Ils sont modérés par nos soins et rédigés par des clients ayant acheté l'ouvrage)
Donnez votre avis
Dernières parutions sur Développement d'applications, Le story mapping - Visualisez vos user stories pour développer le bon produit
37,00 €
Dernières parutions sur Développement d'applications, L'évolution a crée les programmes, il reste aux humains d'en faire les mathématiques
18,00 €
Dernières parutions sur Développement d'applications, Power BI Desktop
31,95 €
Dernières parutions sur Développement d'applications, Business Intelligence avec SQL Server 2019
39,00 €
Dernières parutions sur Développement d'applications, Le pilotage de la performance par le PMO
59,90 €
Dernières parutions sur Développement d'applications, MySQL 8
34,50 €
Dernières parutions sur Développement d'applications, Kubernetes - Mise en oeuvre d'un cluster et déploiement de microservices
54,00 €
Dernières parutions sur Développement d'applications, Scrum
28,00 €
Dernières parutions sur Développement d'applications, Angular
39,00 €
Dernières parutions sur Développement d'applications, Développer des applications mobiles avec Android Studio
34,00 €
Dernières parutions sur Développement d'applications, Angular et Node.js
39,00 €
Dernières parutions sur Développement d'applications, Algorithmique, Structures des Données et Programmation Pascal et C+
21,50 €
Dernières parutions sur Développement d'applications, C# 8
39,00 €
Dernières parutions sur Développement d'applications, Laravel
73,50 €
Dernières parutions sur Développement d'applications, Glpi - coffrets de 2 livres :  gerez votre parc informatique et vos incidents
74,90 €
Dernières parutions sur Développement d'applications, Wordpress 5
26,50 €
Dernières parutions sur Développement d'applications, HTML5 et CSS3
29,90 €
Dernières parutions sur Développement d'applications, DevOps
54,00 €

Rubriques associées pour Vérification d'assemblages de composants logiciels :