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 - Couverture souple

Combemale, Benoit

9786131505843: 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

Couverture souple

ISBN 10 : 6131505845 ISBN 13 : 9786131505843

Editeur : Editions Universitaires Europeennes, 2010

Afficher les exemplaires de cette �dition comportant l?ISBN

0 D'occasion

1 Neuf

De EUR 56,85

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.

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

� propos de l?auteur

Benoit Combemale, docteur en informatique, est Ma�tre deConf�rences � l'Universit� de Rennes 1. Sp�cialis� dans le g�nielogiciel, il �tudie plus particuli�rement l'ing�nierie desmod�les et les m�thodes formelles pour assurer la s�ret� dessyst�mes complexes. Il enseigne �galement dans différentesformations d’ingénieurs et universitaires.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: Editions Universitaires Europeennes
Date d'�dition: 2010
Langue: fran�ais
ISBN 10: 6131505845
ISBN 13: 9786131505843
Reliure: Broch�
Nombre de pages: 208
Coordonn�es du fabricant: non disponible
Personne responsable: Andreas Meier
22029659400
info@rheinberg-buch.de

De Gasperi str. 8
Bergisch gladbach
51427
Allemagne