Boudaa, Habiba; Boukhelout, Bouchra; Djaoui, Chafika(encadreur)
(University of Jijel, 2016-06)
Le travail présenté dans ce mémoire s'inscrit dans le domaine de l'ingénierie dirigé par les modèles(IDM) en général et dans la transformation et la vérification formelle de modèles à l'aide des grammaires de graphes en ...