Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

Vérification d'assemblages de composants logiciels

Application aux composants UML2.0

Sprache FranzösischFranzösisch
Buch Broschur
Buch Vérification d'assemblages de composants logiciels Mourad Kmimech
Libristo-Code: 09258504
Verlag Presses Académiques Francophones, März 2015
L'approche par composants vise la réutilisation par assemblage aisé et cohérent des composants. Mais... Vollständige Beschreibung
? points 246 b
100.49 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Bitter Sweet Revenge Tracy Lorraine / Buch Broschur
common.buy 27.39 €
Fractal 658 Cross Stitch Collectibles / Buch Broschur
common.buy 22.49 €
Kein Konfetti im Herzen ist auch keine Lösung Svenja Lassen / Buch Broschur
common.buy 11.99 €
Uveitis Garg / Buch Broschur
common.buy 111.69 €
EL PAPEL DE LA MÚSICA EN LA TRANSFORMACIÓN DE CONFLICTOS / Buch Broschur
common.buy 56.79 €
Merkblatt DWA-M 361 Reinigung und Aufbereitung von Biogas DVGW / Buch Broschur
common.buy 124.49 €
Top
Cambridge IGCSE™ Mathematics Extended Practice Book with Digital Version (2 Years' Access) Karen Morrison / Buch Broschur
common.buy 24.39 €
Intensitätsmessungen in der Infrarot- und Raman-Spektroskopie No Contributor / Buch Hardcover
common.buy 123.99 €
Interdisciplinary Pediatric Palliative Care Joanne Wolfe / Buch Hardcover
common.buy 219.39 €
El efecto dominó Garrido / Buch Broschur
common.buy 30.19 €
Villajoyosa - 1.000 Teile (Puzzle) / Spiel/Spielzeug Spiel
common.buy 32.89 €
All the Fabulous Beasts PRIYA SHARMA / Buch Broschur
common.buy 21.79 €
Billy Bat. Bd.1 Naoki Urasawa / Buch Broschur
common.buy 12.00 €
Introducing Islamic Financial Transactions: Outlining Contemporary Shariah-Compliant Personal Finance Products Safaruk Z Chowdhury / Buch Broschur
common.buy 8.89 €
ABC Book of Literary Devices Lucy Adams / Buch Broschur
common.buy 12.59 €
Leibnizens Ethik Bruno Richard Martin / Buch Broschur
common.buy 12.90 €
Teen Health Course 3, Spanish / Buch Hardcover
common.buy 133.69 €
Top
Art of War for Women Chin-Ning Chu / Buch Broschur
common.buy 14.39 €
Colour Me Bad Ilya / Buch Broschur
common.buy 9.49 €
Sendero de la Verdad, Libro 4 (Maestro) Patricia Picavea / Buch Broschur
common.buy 13.69 €
Power of Leveraging the Charitable Remainder Trust Daniel G. Nigito / Buch Hardcover
common.buy 24.29 €
Beyond A2+ Student's Book Pack Robert Campbell / Buch Hardcover
common.buy 27.69 €

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.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Vérification d'assemblages de composants logiciels
Autor Mourad Kmimech, Mohamed Taha Bhiri
Sprache Französisch
Einband Buch - Broschur
Datum der Veröffentlichung 2015
Anzahl der Seiten 228
EAN 9783841621726
Libristo-Code 09258504
Verlag Presses Académiques Francophones
Gewicht 356
Abmessungen 150 x 220 x 14

Kategorie

Biografien, Literatur, Literaturwissenschaft > Biografien und Sachliteratur > Literarische Essays
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Mouvement Verbal Et Sujet Nul En Acquisition de l'Anglais L3 Abdelkader Hermas / Buch Broschur
common.buy 73.59 €
L'inspecteur Harry Hole, I Nesbø / Buch Broschur
common.buy 20.09 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?