A graphical Finite State Machine (FSM) designer.
Busilet is a reference implementation of IDTP and UTID.
Repository for dependencies between software design artefacts
Writing use cases
Software Modularization and Monitoring Tool
VHDL Design Tool - code generation and project management
http://www.terraer.com.br