Tool support for the Z formal notation
Converts cobol copybooks to Xml/Java objects
TFEL/MFront introduces DSLs based on C++ to handle material knowledge
Pcynlitx is an innovative multi-thread software development platform
Electronic design and programming tools suite like Eagle, MpLab
Generating PLC programs from formal specifications
Powerfull pre-processor
C generator for binary protocol parsers