Translates state machine into a target programming language.
Software Facil, Vida Facil
Nesting SDK, Library
Write, check, index and diagram Z specifications in Microsoft Word.
Convert C/S type software to B/S type webapp.
The projects of ChiNvo Studio
Tools for model-driven modernization of software systems