High-quality QR Code generator library in Java, TypeScript/JavaScript
Tool support for the Z formal notation
The Umple Model-Oriented Programming Technology
Converts cobol copybooks to Xml/Java objects
A lexical analyzer generator that makes the class source code.
Another drawing editor for LaTeX with PSTricks & TikZ
Open-source code generator for Simulink/Stateflow
Translate java source into another language
Generate PrimeFaces Pages from Entity Classes in NetBeans
Filler Studio for any kind of automation for Windows,Linux,Mac.
Synthesizing embedded control software from formal specifications
Cress is a comprehensive toolset for graphical service/workflow design
Generate Java and PHP database apps from abstract Event-B models.