Create consistent Uml diagrams
A real time inference engine for temporal logical specifications
Linux Library on top of Libc focusing on long term support.
A Database System for Metamodeling and Method Engineering
C++ CASE tool, full life cycle code generator
State Dependency deconstructor and mapper for C source code.
LED matrix rebirth