Archives de catégorie : Actualité

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

IMPEX’2017

First International Workshop on Handling IMPlicit and EXplicit knowledge in formal system development Co-located with ICFEM 2017 (19th International Conference on Formal Engineering Methods) in Xi’an, China, 13-17th November 2017. The proceedings of the conference are now published by EPTCS. … Continuer la lecture

Publié dans Actualité | Commentaires fermés sur IMPEX’2017