SWITCH Technology: An Automated Approach to Developing Software for Reactive Systems
- Cite this article as:
- Shalyto, A.A. & Tukkel', N.I. Programming and Computer Software (2001) 27: 260. doi:10.1023/A:1012392927006
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.