Sismic
latest

Overview

  • Installation
  • Statecharts definition
  • Statecharts visualization
  • Statecharts execution
  • Include code in statecharts

Statechart testing

  • Design by Contract for statecharts
  • Monitoring properties
  • Behavior-Driven Development
  • Statechart unit testing

Advanced topics

  • Dealing with time
  • Running multiple statecharts
  • Integrate statecharts into your code

Misc

  • Credits
  • Changelog
  • API Reference
    • Module bdd
    • Module clock
    • Module code
    • Module exceptions
    • Module helpers
    • Module interpreter
    • Module io
    • Module model
    • Module runner
    • Module testing
Sismic
  • Docs »
  • API Reference
  • Edit on GitHub

API ReferenceΒΆ

  • Module bdd
  • Module clock
  • Module code
  • Module exceptions
  • Module helpers
  • Module interpreter
  • Module io
  • Module model
  • Module runner
  • Module testing
Next Previous

© Copyright 2015, Alexandre Decan Revision d3631856.

Built with Sphinx using a theme provided by Read the Docs.
Read the Docs v: latest
Versions
latest
1.6.2
1.5.0
1.4.2
1.3.0
1.2.2
1.1.2
1.0.1
Downloads
pdf
html
On Read the Docs
Project Home
Builds
Free document hosting provided by Read the Docs.