Logiciels

Niveau supérieur

Voici les différents logiciels produits par l'équipe.

Umlaut: Generating tests from requirements
Former tools: This is a list of the tools that we don't use actively anymore.
Pramana: Pramana is a tool to automatically synthesize models for testing model transformations. This tool is developed by Sagar Sen in collaboration with Benoit Baudry. We acknowledge the contribution of Freddy Munoz for the Java version of alloy2emf ported from the original prototype version written in Python.
KerMeta: KerMeta workbench, environnment de développment de métamodèles exécutables.
En developpement et prototypes: Ce sont les logiciels qui ne sont pas encore tout à fait mature, c'est à dire les prototypes et les logiciels en cours de développement. Note : il se peut que certains prototypes ne soient pas listés dans la version Française du site, merci de consulter la version anglaise qui est généralement plus à jour.