GitHub

Contents

• Installation
• Introduction
• Quick Start
• Tutorial: Zero to One
• Diagrams
• Examples
  • Comprehensive
  • Comprehensive with Instrumentation
  • Thread Safe Attributes
  • Hacking to Learn
  • Interacting Statecharts (Same Machine)
  • Using and Unwinding a Factory
  • Orthogonal Regions
  • Distributed Battery Charging
  • Cellular Automata
  • Mongol Horse Archer
• Recipes
• Reflection
• Patterns
• Testing
• Glossary
• Architecture

Useful Links

• miros on github
• sequence on github
• miros-rabbitmq plugin
• UMLet Download
• formalism explained

For Embedded

• Quantum Leaps for Embedded
• Quantum Leaps On Github

Statechart Videos

• Part 1 (What)
• Part 2 (Why)
• Part 3 (Mealy/Moore)
• Part 4 (Harel Statecharts)
• Introduction to HSMs

Quick search

Examples

• Comprehensive
• Comprehensive with Instrumentation
• Thread Safe Attributes
• Hacking to Learn
• Interacting Statecharts (Same Machine)
• Using and Unwinding a Factory
• Orthogonal Regions
• Distributed Battery Charging
• Cellular Automata
• Mongol Horse Archer

More examples can be found in the patterns section.

On this page: