Simulation Et Verification de Modele Par Metamodelisation Executable

Name: Simulation Et Verification de Modele Par Metamodelisation Executable
Brand: Éditions universitaires européennes
SKU: 9786131505843
Price: 24077 HUF
Availability: InStock

Szerző: Benoit Combemale

Nyelv:

Kötés: Puha kötésű

Kiadó: Éditions universitaires européennes

Elérhetőség: Kiadói készleten rendelésre

Küldés 17-27 napon belül

24 077 Ft

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

Információk a könyvről

Szerző

Benoit Combemale

Nyelv

Francia

Kötés

Könyv - Puha kötésű

Kiadva

2010

oldal

208

EAN

9786131505843

ISBN

6131505845

Enbook ID

06904055

Kiadó

Éditions universitaires européennes

Súly

313

Méretek

152 x 229 x 12

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Simulation Et Verification de Modele Par Metamodelisation Executable

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták