Contrairement à beaucoup d'autres langages informatiques, les grammaires attribuées (ga) classiques n'offrent pas encore la possibilité d'écrire une a...
Cette thèse décrit l'architecture fonctionnelle d'un atelier de spécification défini dans le projet mars. L'objectif est de concevoir un atelier logic...
Cette thèse présente quelques animations et simulations graphiques conçues et realisees pour aider les étudiants a mieux comprendre les concepts du pa...
