Vérifier l’état de la commande

Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement

La Poste Autrichienne 5.49 € Coursier DPD 3.99 € Point DPD 2.99 € Service de messagerie GLS 4.99 €

Contact

Comment faire ses achats

Assistance

Mon compte

▸ Vide :-(

Simulation Et Verification de Modele Par Metamodelisation Executable

Name: Simulation Et Verification de Modele Par Metamodelisation Executable
Brand: Éditions universitaires européennes
SKU: 06904055
Price: 72.69 EUR
Availability: InStock
Author: Benoit Combemale
ISBN: 9786131505843

Benoit Combemale

Langue

Français

Livre Livre de poche

Code Libristo: 06904055

Éditeurs Éditions universitaires européennes, juillet 2010

L'Ingénierie Des Modčles a permis plusieurs améliorations significatives dans le développement de... Description détaillée

Code Libristo: 06904055

178 b

72.69 € TVA incluse

Sur commande auprès de l’éditeur Expédition sous 17-27 jours

Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Time-interleaved Analog-to-Digital Converters Simon Louwsma

Livre relié

118.29 €

Proceedings of the IIW International Conference on Global Trends in Joining, Cutting and Surfacing Technology Manish Samant

Livre de poche

222.59 €

Cavas Laurann Dohner

Livre de poche

8.89 €

Good Eating Dan Tavis

Livre relié

16.99 €

Cataleg de pintura segles X I X y X X del Museu d' Art Modern

Livre de poche

40.19 €

A Teenage Idol Ricky Nelson

CD Audio

15.99 €

Platelet Concentrates Lisa Chacko

Livre de poche

51.19 €

The Curse Analynn Riley

Livre de poche

24.79 €

Recent Advances in Intelligent Information Hiding and Multimedia Signal Processing Jeng-Shyang Pan

Livre de poche

246.49 €

Svině!! Michael´s Uncle

CD Audio

9.39 €

Najkrajšie vianočné koledy autora nemá

Reliure à anneaux

5.69 €

Mary Had a Little Lamb Jarvis

Livre Concertina

8.09 €

Een nieuwe aanpak van "pooling" en insolventie Iain Kendal

Livre de poche

45.79 €

Fantasy World Vol. 2: Grayscale Coloring Book for Adults Majestic Coloring

Livre de poche

10.89 €

Emily's Alaska Adventure: Climbing Denali Mountain

Livre de poche

21.19 €

Shadowhunter's Codex Cassandra Clare

Adobe ePub DRM

10.69 €

Terra di Sicilia. Die Geschichte der Familie Carbonaro Mario Giordano

Livre de poche

12.00 €

Obras completas Horacio

Livre de poche

23.69 €

Masters of the Universe Battleground - Wave 5 Masters of the Universe-Fraktion

Jeu

21.49 €

EUGY - 3D Bastelset Pottwal

Jouet

13.39 €

Quirón Bernadette Sauzea

Adobe ePub DRM

8.59 €

Rechtswegwahl im Staatshaftungsrecht. Robin Kaiser

Livre de poche

79.90 €

Ashes of Our Fathers Gabriel Gavin

Livre relié

35.19 €

Zapiski w przededniu wojny, czyli dzieci morza wzywają swoją matkę Bartosiak Jacek

Livre relié

18.59 €

L'Ingénierie Des Modčles a permis plusieurs améliorations significatives dans le développement de systčmes complexes en permettant de se concentrer sur une préoccupation plus abstraite que la programmation classique. Une des idées phares est d'utiliser autant de langages de modélisation différents (Domain Specific Modeling Languages) que les aspects chronologiques ou technologiques du développement le nécessitent. Le défi actuel de la communauté du génie logiciel est de simplifier la définition de DSML en fournissant des technologies telles que des générateurs d'éditeurs syntaxiques, et d'outils de validation et de vérification. Ces derniers nécessitent d'expliciter, en plus de la syntaxe, la sémantique d'exécution du DSML. Au regard des travaux existants dans l'IDM et de l'expérience acquise avec les langages de programmation, ce livre propose une taxonomie précise des techniques permettant d'exprimer une sémantique d'exécution. Ces techniques sont ensuite replacées au sein d'une démarche complčte permettant de décrire un DSML et les outils de vérification et de validation des modčles. Cet ouvrage est issu de la thčse de Benoît Combemale, soutenue le 11 juillet 2008.