Rida, Manal; Kerkouche, El- hillali( encadreur)
(université de jijel, 2018)
Le présent travail s'inscrit dans le domaine de l'ingénierie dirigé par les modèles (IDM) en générale, et dans la transformation et la vérification de modèles à l'aide des grammaires de graphes en particulier . notre ...