Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Vérification d'assemblages de composants logiciels

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

Application aux composants UML2.0

Mourad Kmimech

Mohamed Taha Bhiri

Език

Френски език

Книга С меки корици

Код Либристо: 09258504

Издателство Presses Académiques Francophones, март 2015

L'approche par composants vise la réutilisation par assemblage aisé et cohérent des composants. Mais... Цялото описание

Код Либристо: 09258504

246 b

101.33 €

198.19 лв

Външен склад Изпращаме след 5-8 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

Bitter Sweet Revenge Tracy Lorraine

С меки корици

25.99 € 50.83 лв

Fractal 658 Cross Stitch Collectibles

С меки корици

21.55 € 42.15 лв

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

С меки корици

11.50 € 22.48 лв

Uveitis Garg

С меки корици

106.96 € 209.19 лв

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

С меки корици

57.34 € 112.15 лв

Merkblatt DWA-M 361 Reinigung und Aufbereitung von Biogas DVGW

С меки корици

125.52 € 245.50 лв

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

С меки корици

24.54 € 48.00 лв

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

С твърди корици

125.06 € 244.59 лв

Interdisciplinary Pediatric Palliative Care Joanne Wolfe

С твърди корици

212.32 € 415.26 лв

El efecto dominó Garrido

С меки корици

30.42 € 59.50 лв

Villajoyosa - 1.000 Teile (Puzzle)

Игра

33.21 € 64.95 лв

All the Fabulous Beasts PRIYA SHARMA

С меки корици

21.04 € 41.14 лв

Billy Bat. Bd.1 Naoki Urasawa

С меки корици

10.93 € 21.37 лв

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

С меки корици

8.50 € 16.63 лв

ABC Book of Literary Devices Lucy Adams

С меки корици

12.06 € 23.59 лв

Leibnizens Ethik Bruno Richard Martin

С меки корици

12.37 € 24.20 лв

Teen Health Course 3, Spanish

С твърди корици

134.86 € 263.76 лв

Art of War for Women Chin-Ning Chu

С меки корици

14.54 € 28.43 лв

Colour Me Bad Ilya

С меки корици

9.59 € 18.75 лв

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

С меки корици

13.20 € 25.81 лв

Power of Leveraging the Charitable Remainder Trust Daniel G. Nigito

С твърди корици

23.05 € 45.08 лв

Beyond A2+ Student's Book Pack Robert Campbell

С твърди корици

28.00 € 54.76 лв

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.