Create consistent Uml diagrams
A Database System for Metamodeling and Method Engineering
Create basic GUI windows for minimal Linux distros
A real time inference engine for temporal logical specifications
C++ CASE tool, full life cycle code generator
State Dependency deconstructor and mapper for C source code.