Couverture de Vérification d'assemblages de composants logiciels
Titre du livre:

Vérification d'assemblages de composants logiciels

Application aux composants UML2.0

Presses Académiques Francophones (19-03-2015 )

Books loader

Omni badge éligible au bon d'achat
ISBN-13:

978-3-8416-2172-6

ISBN-10:
3841621724
EAN:
9783841621726
Langue du livre:
Français
texte du rabat:
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.
Maison d'édition:
Presses Académiques Francophones
Site Web:
https://www.presses-academiques.com
de (auteur) :
Mourad Kmimech, Mohamed Taha Bhiri
Numéro de pages:
228
Publié le:
19-03-2015
Stock:
Disponible
Catégorie:
Informatique
Prix:
89.90 €
Mots-clés:
assemblage, Verification, UML2.0

Books loader

Lettre d'information

Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::unionpay Paypal Virement bancaire

  0 produits dans le panier
Modifier le contenu du panier
Loading frontend
LOADING