Tool support for the Z formal notation
Converts cobol copybooks to Xml/Java objects
Electronic design and programming tools suite like Eagle, MpLab
Generating PLC programs from formal specifications
Visu@lGrid - IDE for Building BOINC Projects
This allows to program a path for your vex robot in the simplest way !