Archives de l’auteur : Dominique Méry

Publication à la conférence ABZ 2018 du consortium IMPEX

La publication suivante est présentée à la prochaine conférence ABZ2018: Yamine Aït Ameur, Idir Aït-Sadoune, P. Casteran, J. Paul Gibson, K. Hacid, Souad Kherroubi, Dominique Méry, Linda Mohand-Oussaïd, Neeraj Kumar Singh, Laurent Voisin:On the Importance of Explicit Domain Modelling in … Continuer la lecture

Publié dans Actualité, Non classé | Commentaires fermés sur Publication à la conférence ABZ 2018 du consortium IMPEX

Publications des actes d’IMPEX 2017

Les actes du workshop IMPEX 2017 sont publiés dans la série EPTCS:  EPTCS 271, Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX)  and  Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD) Xi’An, China, 16th November 2017. … Continuer la lecture

Toutes les galeries | Commentaires fermés sur Publications des actes d’IMPEX 2017