Software
Up one levelList of the various software proposed by Triskell team
- KerMeta
- Folder about KerMeta
- Umlaut
- Generating tests from requirements
- Tools under development & prototypes
- This Folder contains web pages relative to tools that are under development and some prototypes.
- 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.