A javascript implementation of a Harel Statechart.
-
Updated
Jan 25, 2019 - JavaScript
8000
A javascript implementation of a Harel Statechart.
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.
A Data-Driven implementation of Harel Statecharts designed for high-reliability systems.
Smax (pronounced "Smash") is a state machine DSL that generates python code.
Add a description, image, and links to the harel-statechart topic page so that developers can more easily learn about it.
To associate your repository with the harel-statechart topic, visit your repo's landing page and select "manage topics."