Couverture de Simulation et vérification de modèle par métamodélisation executable
Titre du livre:

Simulation et vérification de modèle par métamodélisation executable

Application à l'ingénierie des systèmes complexes et à leurs procédés de développement

Editions universitaires europeennes (06-07-2010 )

Books loader

Omni badge éligible au bon d'achat
ISBN-13:

978-613-1-50584-3

ISBN-10:
6131505845
EAN:
9786131505843
Langue du livre:
Français
texte du rabat:
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.
Maison d'édition:
Editions universitaires europeennes
Site Web:
http://www.editions-ue.com/
de (auteur) :
Benoit Combemale
Numéro de pages:
208
Publié le:
06-07-2010
Stock:
Disponible
Catégorie:
Génie mécanique, Technologie de fabrication
Prix:
69.00 €
Mots-clés:
Informatique, Génie Logiciel, Sûreté du logiciel, Ingénierie dirigée par les modèles, Métamodélisation, Sémantique comportementale, Validation, Vérification.

Books loader

Lettre d'information

Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::unionpay Paypal Virement bancaire

  0 produits dans le panier
Modifier le contenu du panier
Loading frontend
LOADING