SWITCH Technology: An Automated Approach to Developing Software for Reactive Systems

Abstract

A technology for developing software for reactive systems is proposed that supports the stages of the subject domain investigation, analysis, design, implementation, debugging, certification, and documenting. The technology is based on the automaton approach. 
DOI: 10.1023/A:1012392927006

Topics

6 Figures and Tables

Cite this paper

@article{Shalyto2001SWITCHTA, title={SWITCH Technology: An Automated Approach to Developing Software for Reactive Systems}, author={A. A. Shalyto and N. I. Tukkel}, journal={Programming and Computer Software}, year={2001}, volume={27}, pages={260-276} }