Automata-Based Programming

Automata-Based Programming in Wikipedia (external link:

International Computer Science Symposium in Russia: CSR 2006. June 8-12, St.Petersburg, Russia (external link:

Technology of Automata-Based Programming (external link: Automata-Based Programming (external link:

22 results for Switch-technology (external link:

Automata-Based Programming (external link:

State Chart XML (SCXML): State Machine Notation for Control Abstraction (external link:

Papers related to code generation from statecharts (external link:

Spichakova M. Automata Based Programming (Institute of Cybernetics at Tallinn University of Technology) (external link:

A.A.Shalyto. Technology of Automata-Based Programming (PDF)


State Machines

UML Tutorial: Complex Transitions (PDF)

UML Tutorial: Finite State Machines (PDF)

Suggestions on Pattern Transformation in UML-RT (external link:

Using UML for Modeling Complex Real-Time System (external link:

A UML Profile for Modeling Complex Real-Time Architectures (external link:

From MSC and UML to SDL (external link:

Model-Checking Real-Time Control Programs (external link:

Lee D., Yannakakis M. Principles and Methods of Testing Finite State Machines - a Survey (external link:

visio2python - Draw your Program (external link:


Things I Learned in School (external link:

Knyazev E.G. Automated source code changes classification for effective code review and analysis (PDF)

Hoffman L. In Search of Dependable Design (PDF)

Hoffman L. Q&A Talking Model-Checking Technology (PDF)