المؤلفون: Lahrouni, Meriem, Cariou, Eric, Fazziki, Abdelaziz, El

المساهمون: Laboratoire Informatique de l'Université de Pau et des Pays de l'Adour (LIUPPA), Université de Pau et des Pays de l'Adour (UPPA)

المصدر: ISSN: 1683-3198.

مصطلحات موضوعية: MDE, model transformation, contract, verification, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Relation: hal-02507286; https://univ-pau.hal.science/hal-02507286; https://univ-pau.hal.science/hal-02507286/document; https://univ-pau.hal.science/hal-02507286/file/11545.pdf

الاتاحة: https://univ-pau.hal.science/hal-02507286
https://univ-pau.hal.science/hal-02507286/document
https://univ-pau.hal.science/hal-02507286/file/11545.pdf