Transformation et vérification de cohérence entre modèles du Génie Logiciel et modèles de l'Interface Homme-Machine

Jorge Luis Pérez-Medina, Stéphanie Marsal-Layat. Transformation et vérification de cohérence entre modèles du Génie Logiciel et modèles de l'Interface Homme-Machine. In Actes du XXVème Congrès INFORSID, Perros-Guirec, France, 22 au 25 mai 2007. pages 382-397, 2007.

Abstract

Abstract is missing.