Tool support for the Z formal notation
Open-source code generator for Simulink/Stateflow
Easily turn UML models into code
Framework, process, docs and tools to make easy JEE development.
JAFFA is a Rich Web 2.0 POJO based Event-Driven SOA framework
Develop quickly & easily Eclipse 4 RCP Application in JEE/JSE context