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.
Keywords for this software
References in zbMATH (referenced in 10 articles , 1 standard article )
Showing results 1 to 10 of 10.
- Kuzmin, E. V.; Sokolov, V. A.; Chalyy, D. Ju.: Application of the trace assertion method to the specification, design, and verification of automaton programs (2009)
- Pekunov, V. V.: Automation of parallel programming in modeling of multiphase media: optimal parallelization (2008)
- Gurov, V. S.; Mazin, M. A.; Narvsky, A. S.; Shalyto, A. A.: Tools for support of automata-based programming (2007)
- Jin, Rong; Liu, Huan: SWITCH: A novel approach to ensemble learning for heterogeneous data (2004)
- Yamaguchi, Shingo; Yamada, Kousuke; Ge, Qi-Wei; Tanaka, Minoru: State equation of program nets and its application to reachability analysis for SWITCH-less nets (2004)
- Shalyto, A. A.; Tukkel’, N. I.: Translating iterative algorithms into automaton ones (2002)
- Shalyto, A. A.; Tukkel’, N. I.: SWITCH technology: An automated approach to developing software for reactive systems (2001)
- Ge, Qi-Wei: PARAdeg-processor scheduling for acyclic SWITCH-less program nets (1999)
- Ge, Qi-Wei; Yanagida, Hidenori: A method of computing minimum firing time for self-cleaning SWITCH-less program nets (1998)
- Shalyto, A. A.: SWITCH-technology. Algorithmization and programming of logical control problems. (1998)