Tool support for the Z formal notation
Releases of McuOnEclipse projects
Converts cobol copybooks to Xml/Java objects
Another drawing editor for LaTeX with PSTricks & TikZ
Support variant based Java program execution, adapted to support MDE.
Reverse-engineering tool
C++ CASE tool, full life cycle code generator
This is a pure JAVA API to handle paste image and upload it
HATE's an ASN.1 Text Editor.
Filler Studio for any kind of automation for Windows,Linux,Mac.
Generating PLC programs from formal specifications