PyCLP is a Python library to interface ECLiPSe Constraint System
An Eclipse plugin that generates source-code, from a Java based model
A Formal Verification Environment for UML Activity Diagrams
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
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
Repository for dependencies between software design artefacts