论文信息 - SWITCH Technology: An Automated Approach to Developing Software for Reactive Systems

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

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.

Anatoly A. Shalyto | N. I. Tukkel

[1] Seymour E. Goodman,et al. Introduction to the Design and Analysis of Algorithms , 1977 .

[2] Jr. Frederick P. Brooks,et al. The Mythical Man-Month: Essays on Softw , 1978 .

[3] David Harel,et al. Modeling Reactive Systems With Statecharts : The Statemate Approach , 1998 .

[4] A. Pnueli,et al. STATEMATE: a working environment for the development of complex reactive systems , 1988, [1988] Proceedings. The Third Israel Conference on Computer Systems and Software Engineering.

[5] Frederick P. Brooks,et al. The Mythical Man-Month: Essays on Softw , 1978 .

[6] 강문설. [서평]「The Unified Modeling Language User Guide」 , 1999 .

[7] A. N. Ivanov,et al. RTST++: Methodology and a CASE Tool for the Development of Information Systems and Software For Real-Time Systems , 1999 .

[8] P. Kidwell,et al. The mythical man-month: Essays on software engineering , 1996, IEEE Annals of the History of Computing.