Kontakt
Kako kupovati
Dostava
Savjetnik za kupnju
Simulation Et Verification de Modele Par Metamodelisation Executable
Francuski
160 b
Do 30 dana za povrat
Kupci su kupili i
/
Meki uvez
215.54
€
/
Meki uvez
236.59
€
/
Tvrdi uvez
16.89
€
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.
Informacije o knjizi
Francuski
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimcaMoglo bi vas zanimati i
/
Meki uvez
15.78
€
Dobar dan! Ja sam Libroamiko, vaš književni savjetnik.
Kako vam mogu pomoći?