Sismic
1.0.1
Overview
Installation
Statecharts definition
Statecharts execution
Include code in statecharts
Statechart testing
Design by Contract for statecharts
Monitoring properties
Behavior-Driven Development
Advanced topics
Dealing with time
Integrate statecharts into your code
Communication between statecharts
Implementing other statechart semantics
Misc
Credits
Changelog
API Reference
Module
bdd
Module
code
Module
exceptions
Module
helpers
Module
interpreter
Module
io
Module
model
Sismic
Docs
»
API Reference
Edit on GitHub
API Reference
ΒΆ
Module
bdd
Module
code
Module
exceptions
Module
helpers
Module
interpreter
Module
io
Module
model
Read the Docs
v: 1.0.1
Versions
latest
1.4.0
1.3.0
1.2.2
1.2.0
1.1.2
1.0.1
master
Downloads
pdf
htmlzip
On Read the Docs
Project Home
Builds
Free document hosting provided by
Read the Docs
.