Simulation Et Verification de Modele Par Metamodelisation Executable » książka
Simulation Et Verification de Modele Par Metamodelisation Executable
ISBN-13: 9786131505843 / Francuski / Miękka / 2010 / 208 str.
L'Ingenierie Des Modeles a permis plusieurs ameliorations significatives dans le developpement de systemes complexes en permettant de se concentrer sur une preoccupation plus abstraite que la programmation classique. Une des idees phares est d'utiliser autant de langages de modelisation differents (Domain Specific Modeling Languages) que les aspects chronologiques ou technologiques du developpement le necessitent. Le defi actuel de la communaute du genie logiciel est de simplifier la definition de DSML en fournissant des technologies telles que des generateurs d'editeurs syntaxiques, et d'outils de validation et de verification. Ces derniers necessitent d'expliciter, en plus de la syntaxe, la semantique d'execution du DSML. Au regard des travaux existants dans l'IDM et de l'experience acquise avec les langages de programmation, ce livre propose une taxonomie precise des techniques permettant d'exprimer une semantique d'execution. Ces techniques sont ensuite replacees au sein d'une demarche complete permettant de decrire un DSML et les outils de verification et de validation des modeles. Cet ouvrage est issu de la these de Benoit Combemale, soutenue le 11 juillet 2008."
LIngé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 dutiliser 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 doutils de validation et de vérification. Ces derniers nécessitent dexpliciter, en plus de la syntaxe, la sémantique dexécution du DSML. Au regard des travaux existants dans lIDM et de lexpérience acquise avec les langages de programmation, ce livre propose une taxonomie précise des techniques permettant dexprimer une sémantique dexécution. Ces techniques sont ensuite replacées au sein dune 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.
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
