Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Vérification d'assemblages de composants logiciels

Application aux composants UML2.0

Taal FransFrans
Boek Gebonden (paperback)
Boek Vérification d'assemblages de composants logiciels Mourad Kmimech
Libristo-code: 09258504
Uitgeverij Presses Académiques Francophones, maart 2015
L'approche par composants vise la réutilisation par assemblage aisé et cohérent des composants. Mais... Volledige beschrijving
? points 232 b
95.71 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Bitter Sweet Revenge Tracy Lorraine / Boek Gebonden (paperback)
common.buy 26.01 €
Fractal 658 Cross Stitch Collectibles / Boek Gebonden (paperback)
common.buy 21.58 €
Kein Konfetti im Herzen ist auch keine Lösung Svenja Lassen / Boek Gebonden (paperback)
common.buy 10.78 €
Uveitis Garg / Boek Gebonden (paperback)
common.buy 107.01 €
EL PAPEL DE LA MÚSICA EN LA TRANSFORMACIÓN DE CONFLICTOS / Boek Gebonden (paperback)
common.buy 54.15 €
Merkblatt DWA-M 361 Reinigung und Aufbereitung von Biogas DVGW / Boek Gebonden (paperback)
common.buy 125.57 €
TOP
Cambridge IGCSE™ Mathematics Extended Practice Book with Digital Version (2 Years' Access) Karen Morrison / Boek Gebonden (paperback)
common.buy 24.60 €
Intensitätsmessungen in der Infrarot- und Raman-Spektroskopie No Contributor / Boek Gebonden (harde band)
common.buy 118.81 €
Interdisciplinary Pediatric Palliative Care Joanne Wolfe / Boek Gebonden (harde band)
common.buy 212.31 €
El efecto dominó Garrido / Boek Gebonden (paperback)
common.buy 29.34 €
Villajoyosa - 1.000 Teile (Puzzle) / Spel/speelgoed Spel
common.buy 33.17 €
All the Fabulous Beasts PRIYA SHARMA / Boek Gebonden (paperback)
common.buy 21.07 €
Billy Bat. Bd.1 Naoki Urasawa / Boek Gebonden (paperback)
common.buy 10.28 €
Introducing Islamic Financial Transactions: Outlining Contemporary Shariah-Compliant Personal Finance Products Safaruk Z Chowdhury / Boek Gebonden (paperback)
common.buy 8.56 €
ABC Book of Literary Devices Lucy Adams / Boek Gebonden (paperback)
common.buy 12.09 €
Leibnizens Ethik Bruno Richard Martin / Boek Gebonden (paperback)
common.buy 11.69 €
Teen Health Course 3, Spanish / Boek Gebonden (harde band)
common.buy 129.00 €
TOP
Art of War for Women Chin-Ning Chu / Boek Gebonden (paperback)
common.buy 14.51 €
Colour Me Bad Ilya / Boek Gebonden (paperback)
common.buy 9.57 €
Sendero de la Verdad, Libro 4 (Maestro) Patricia Picavea / Boek Gebonden (paperback)
common.buy 13.20 €
Power of Leveraging the Charitable Remainder Trust Daniel G. Nigito / Boek Gebonden (harde band)
common.buy 22.99 €
Beyond A2+ Student's Book Pack Robert Campbell / Boek Gebonden (harde band)
common.buy 26.72 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Vérification d'assemblages de composants logiciels
Auteur Mourad Kmimech, Mohamed Taha Bhiri
Taal Frans
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2015
Aantal pagina's 228
EAN 9783841621726
Libristo-code 09258504
Uitgeverij Presses Académiques Francophones
Gewicht 356
Afmetingen 150 x 220 x 14

Categorieën

Biografie, literatuur en literatuurstudies > Biografie en non-fictieproza > Literaire essays
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Mouvement Verbal Et Sujet Nul En Acquisition de l'Anglais L3 Abdelkader Hermas / Boek Gebonden (paperback)
common.buy 70.19 €
L'inspecteur Harry Hole, I Nesbø / Boek Gebonden (paperback)
common.buy 19.36 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?