Probabilistic programming in Python
Object-oriented equation-based modelling and optimisation software
The Umple Model-Oriented Programming Technology
A free cross-platform editor for the DRAKON visual language.
Data Type Definition System
Software Engineering Full Life Cycle Support Tool
UML Modeling Tool for MDD-based Analysis/Design
Simulador de Redes de Petri Interpretadas para Controle