A tool for executable specifications written in modern, portable C++. Offers a comprehensive extendable DSL (Domain Specific Language) for specifying software with built-in support for UML state machines (and more). Comes with a runtime to run, trace and visualize your (state) machines.

That Project implements idea of application "Tharwa" The idea about investing . That project the first trial for us to implement software from scratch and applying the cycle of the software engineering. Here you can see more details about the project in the README. What about having a quick look : )

Academic Course

Facilite seus registros de entrada e saída de pessoas, use o MR (Monitoramento de Registro) para agilizar sua rotina.