Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Vérification d'assemblages de composants logiciels

Name: Vérification d'assemblages de composants logiciels
Brand: Presses Académiques Francophones
SKU: 09258504
Price: 100.49 EUR
Availability: InStock
Author: Mourad Kmimech
ISBN: 9783841621726

Application aux composants UML2.0

Mourad Kmimech

Mohamed Taha Bhiri

Lingua

Francese

Libro In brossura

Codice Libristo: 09258504

Casa editrice Presses Académiques Francophones, marzo 2015

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

Codice Libristo: 09258504

246 b

100.49 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Bitter Sweet Revenge Tracy Lorraine

In brossura

27.39 €

Fractal 658 Cross Stitch Collectibles

In brossura

22.49 €

Kein Konfetti im Herzen ist auch keine Lösung Svenja Lassen

In brossura

11.39 €

Uveitis Garg

In brossura

111.69 €

EL PAPEL DE LA MÚSICA EN LA TRANSFORMACIÓN DE CONFLICTOS

In brossura

56.79 €

Merkblatt DWA-M 361 Reinigung und Aufbereitung von Biogas DVGW

In brossura

124.49 €

Cambridge IGCSE™ Mathematics Extended Practice Book with Digital Version (2 Years' Access) Karen Morrison

In brossura

24.29 €

Intensitätsmessungen in der Infrarot- und Raman-Spektroskopie No Contributor

Rigido

123.99 €

Interdisciplinary Pediatric Palliative Care Joanne Wolfe

Rigido

219.39 €

El efecto dominó Garrido

In brossura

29.09 €

Villajoyosa - 1.000 Teile (Puzzle)

Gioco

32.89 €

All the Fabulous Beasts PRIYA SHARMA

In brossura

21.79 €

Billy Bat. Bd.1 Naoki Urasawa

In brossura

10.79 €

Introducing Islamic Financial Transactions: Outlining Contemporary Shariah-Compliant Personal Finance Products Safaruk Z Chowdhury

In brossura

8.89 €

ABC Book of Literary Devices Lucy Adams

In brossura

12.59 €

Leibnizens Ethik Bruno Richard Martin

In brossura

12.29 €

Teen Health Course 3, Spanish

Rigido

133.69 €

Art of War for Women Chin-Ning Chu

In brossura

13.49 €

Colour Me Bad Ilya

In brossura

9.49 €

Sendero de la Verdad, Libro 4 (Maestro) Patricia Picavea

In brossura

13.69 €

Power of Leveraging the Charitable Remainder Trust Daniel G. Nigito

Rigido

24.29 €

Beyond A2+ Student's Book Pack Robert Campbell

Rigido

89.49 €

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.