Vérification d'assemblages de composants logiciels

Name: Vérification d'assemblages de composants logiciels
Brand: Presses Académiques Francophones
SKU: 9783841621726
Price: 400.24 PLN
Availability: InStock

Application aux composants UML2.0

Autor: Mourad Kmimech, Mohamed Taha Bhiri

Język:

Oprawa: Miękka

Wydawca: Presses Académiques Francophones

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

400.24 zł

L'approche par composants vise la réutilisation par assemblage aisé et cohérent des composants. Mais...

Informacje o książce

Autor

Mourad Kmimech, Mohamed Taha Bhiri

Język

Francuski

Oprawa

Książka - Miękka

Data wydania

2015

strony

228

EAN

9783841621726

Enbook ID

09258504

Wydawca

Presses Académiques Francophones

Waga

356

Wymiary

150 x 220 x 14

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Vérification d'assemblages de composants logiciels

Application aux composants UML2.0

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również