PyCLP is a Python library to interface ECLiPSe Constraint System
An Eclipse plugin that generates source-code, from a Java based model
A QVT engine targeting Java
A Development Framework for Coldfire
A Formal Verification Environment for UML Activity Diagrams
A Rodin Platform Plug-in for Generic Instantiation
C++ analysis IDE with auto class, sequence, zone, dependency, diagrams
A tool for visualization and analysis of logs as sequence diagrams
Travel Market Simulator
Linux security assessment tool.
A generic modeling tool for both relational and geographical databases
Simulador de Redes de Petri Interpretadas para Controle
An elegant Ubuntu based Linux distribution for all programmers.
WeatherMonitoringStation monitors environmental data
Generates UML class diagrams, from source code