@BOOK{combemale10c,
  title = {Simulation et v{\'e}rification de mod{\`e}le par m{\'e}tamod{\'e}lisation
	executable},
  publisher = {{\'e}ditions Universitaires Europ{\'e}ennes},
  year = {2010},
  author = {Combemale, Benoit},
  pages = {208p},
  month = jun,
  note = {to appear},
  abstract = {L'Ing{\'e}nierie Des Mod{\`e}les a permis plusieurs am{\'e}liorations
	significatives dans le d{\'e}veloppement de syst{\`e}mes complexes
	en permettant de se concentrer sur une pr{\'e}occupation plus abstraite
	que la programmation classique. Une des id{\'e}es phares est d'utiliser
	autant de langages de mod{\'e}lisation diff{\'e}rents (Domain Specific
	Modeling Languages) que les aspects chronologiques ou technologiques
	du d{\'e}veloppement le n{\'e}cessitent. Le d{\'e}fi actuel de la
	communaut{\'e} du g{\'e}nie logiciel est de simplifier la d{\'e}finition
	de DSML en fournissant des technologies telles que des g{\'e}n{\'e}rateurs
	d'{\'e}diteurs syntaxiques, et d'outils de validation et de v{\'e}rification.
	Ces derniers n{\'e}cessitent d'expliciter, en plus de la syntaxe,
	la s{\'e}mantique d'ex{\'e}cution du DSML. Au regard des travaux
	existants dans l'IDM et de l'exp{\'e}rience acquise avec les langages
	de programmation, ce livre propose une taxonomie pr{\'e}cise des
	techniques permettant d'exprimer une s{\'e}mantique d'ex{\'e}cution.
	Ces techniques sont ensuite replac{\'e}es au sein d'une d{\'e}marche
	compl{\`e}te permettant de d{\'e}crire un DSML et les outils de v{\'e}rification
	et de validation des mod{\`e}les. Cet ouvrage est issu de la th{\`e}se
	de Benoit Combemale, soutenue le 11 juillet 2008.},
  bdsk-url-1 = {http://www.amazon.com/dp/6131505845/},
  bdsk-url-2 = {http://www.amazon.fr/dp/6131505845/},
  date-modified = {2010-12-01 16:08:54 +0100},
  isbn = {978-613-1-50584-3},
  url = {http://www.amazon.fr/dp/6131505845/},
  x-language = {FR}
}