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

Authors:
A. A. Shalyto;N. I. Tukkel'
Affiliations:
Federal Scientific and Production Center “Avrora,” St. Petersburg State Institute of Precise Mechanics and Optics (Technical University) aurora@peterlink.ru;Federal Scientific and Production Center “Avrora,” St. Petersburg State Institute of Precise Mechanics and Optics (Technical University) aurora@peterlink.ru
Venue:
Programming and Computing Software
Year:
2001

Citing 5
Cited 3

STATEMATE: A Working Environment for the Development of Complex Reactive Systems

IEEE Transactions on Software Engineering
The Unified Modeling Language user guide

The Unified Modeling Language user guide
The Mythical Man-Month: Essays on Softw

The Mythical Man-Month: Essays on Softw
Modeling Reactive Systems with Statecharts: The Statemate Approach

Modeling Reactive Systems with Statecharts: The Statemate Approach
Introduction to the Design and Analysis of Algorithms

Introduction to the Design and Analysis of Algorithms

Dynamic adapter generation for data integration middleware

SEM '05 Proceedings of the 5th international workshop on Software engineering and middleware
Graphical inheritance notation for state-based classes

Programming and Computing Software
Application of the trace assertion method to the specification, design, and verification of automaton programs

Programming and Computing Software

Quantified Score

Hi-index	0.00

Visualization

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.