PyCLP is a Python library to interface ECLiPSe Constraint System
A Formal Verification Environment for UML Activity Diagrams
An Eclipse plugin that generates source-code, from a Java based model
A QVT engine targeting Java
A Development Framework for Coldfire
C++ analysis IDE with auto class, sequence, zone, dependency, diagrams
A Rodin Platform Plug-in for Generic Instantiation
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
An elegant Ubuntu based Linux distribution for all programmers.
Simulador de Redes de Petri Interpretadas para Controle
WeatherMonitoringStation monitors environmental data
Generates UML class diagrams, from source code
Repository for dependencies between software design artefacts