Tools for support of automata-based programming

DOI10.1134/S0361768807060059zbMath1154.68355MaRDI QIDQ927470

V. S. Gurov, A. A. Shalyto, A. S. Narvsky, M. A. Mazin

Publication date: 9 June 2008

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

SWITCH-technology

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Related Items

Developing a software system for automata-based code generation, UniMod

Uses Software

• SWITCH

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Use of statechart diagrams for modeling of hypertext
• Statecharts: a visual formalism for complex systems
• SWITCH technology: An automated approach to developing software for reactive systems
• Spotty scope