SWITCH technology: An automated approach to developing software for reactive systems

DOI10.1023/A:1012392927006MaRDI QIDQ1403199zbMATH OpenOpenAlexFDO

Authors A. A. Shalyto, N. I. Tukkel'

Publication date 1 September 2003

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

Full work available at URL https://doi.org/10.1023/a:1012392927006

zbMATH Keywords

automaton

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• Tools for support of automata-based programming
• scientific article; zbMATH DE number 1708017
• scientific article; zbMATH DE number 3930354
• Developing a software system for automata-based code generation
• Model checking techniqes for the analysis of reactive systems

Cited in

(4)

• Developing a software system for automata-based code generation
• Application of the trace assertion method to the specification, design, and verification of automaton programs
• Tools for support of automata-based programming
• Graphical inheritance notation for state-based classes

Describes a project that uses

Uses Software

• SWITCH

This page was built for publication: SWITCH technology: An automated approach to developing software for reactive systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1403199)