Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 1 170 Ft DPD courier 1 370 Ft GLS point 1 370 Ft Hungarian Post 1 975 Ft Hungarian Post 1 870 Ft Hungarian Post 1 870 Ft FoxPost 1 370 Ft Packeta point 1 370 Ft GLS courier 1 870 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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: 25190 HUF
Availability: InStock
Author: Benoit Combemale
ISBN: 9786131505843

Benoit Combemale

Language

French

Book Paperback

Libristo code: 06904055

Publishers Éditions universitaires européennes, July 2010

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

Libristo code: 06904055

169 b

25 190 Ft

Print on demand Shipping in 17-27 days

Up to 30 days for returns

Customers also purchased

Time-interleaved Analog-to-Digital Converters Simon Louwsma

Hardback

46 005 Ft

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

Paperback

81 382 Ft

Een nieuwe aanpak van "pooling" en insolventie Iain Kendal

Paperback

16 736 Ft

Good Eating Dan Tavis

Hardback

6 128 Ft

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

Paperback

14 073 Ft

A Teenage Idol Ricky Nelson

Audio CD

3 797 Ft

ESPANA ALBENIZ ISAAC Book

Paperback

6 079 Ft

Alternating Currents Of Electricity: Their Generation, Measurement, Distribution, And Application (1893) Gisbert Kapp

Hardback

15 672 Ft

Cavas Laurann Dohner

Paperback

3 420 Ft

The Curse Analynn Riley

Paperback

9 563 Ft

Legendary Cougar Magazine Volume 1 Issue 2: The Cobra Jet Issue Richard Truesdell

Paperback

5 960 Ft

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

Paperback

90 094 Ft

Svině!! Michael´s Uncle

Audio CD

3 242 Ft

Najkrajšie vianočné koledy autora nemá

Spiral bound

1 960 Ft

Mary Had a Little Lamb Jarvis

Board book

2 762 Ft

Žena v závorce Ludvík Němec

Hardback

4 544 Ft

Spider-Man: Cosmic Chaos! (a Mighty Marvel Team-Up #3) MAIHACK MIKE

Hardback

3 900 Ft

Pszichopatákkal körülvéve Thomas Erikson

Hardback

5 265 Ft

Rough Guides Canada: Travel Guide with eBook E12

Paperback

7 677 Ft

In Repair A. L. Graziadei

Paperback

4 257 Ft

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

Hardback

5 841 Ft

Ashes of Our Fathers Gabriel Gavin

Hardback

13 523 Ft

Rechtswegwahl im Staatshaftungsrecht. Robin Kaiser

Paperback

29 630 Ft

Quirón Bernadette Sauzea

Adobe ePub DRM

3 005 Ft

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.