A Dassault Aviation project to simplify the building of prototypes
Open-source code generator for Simulink/Stateflow
Write, check, index and diagram Z specifications in Microsoft Word.
A Free and Open Source Java Framework for Multiobjective Optimization
openCDT is a conceptual design tool for aircraft design
Simulation of historical and contemporary launch vehicles
Automation testing tool for generating test cases from java codes