Kontakt
Kako kupovati
Dostava
Savjetnik za kupnju
Vérification d'assemblages de composants logiciels
Application aux composants UML2.0
Francuski
232 b
Do 30 dana za povrat
Kupci su kupili i
/
Meki uvez
23.39
€
/
Meki uvez
8.56
€
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.
Informacije o knjizi
Francuski
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimcaMoglo bi vas zanimati i
Dobar dan! Ja sam Libroamiko, vaš književni savjetnik.
Kako vam mogu pomoći?