1369 search results - page 1 / 274 » Graphical Design of Reactive Systems |
B
1998
Springer
13 years 9 months ago
1998
Springer
Reactive systems can be designed graphically using statecharts. This paper presents a scheme for the translation of statecharts into the Abstract Machine Notation (AMN) of the B me...
FASE
1999
Springer
13 years 9 months ago
1999
Springer
JTN is a formal graphic notation for Java-targeted design speci cations, that are speci cations of systems that will be implemented using Java. JTN is aimed to be a part of a more ...
FPLAY
2008
13 years 6 months ago
2008
This paper presents a game-model of a gym training system, where the behavior of the system is specified using languages developed originally for reactive system design, which dri...
DATE
2006
IEEE
13 years 11 months ago
2006
IEEE
Modeling systems based on semi-formal graphical formalisms, such as Statecharts, has become standard practice in the design of reactive embedded devices. However, the modeling of ...
ICRA
1995
IEEE
13 years 8 months ago
1995
IEEE
1 - This paper discusses an architecture designed to provide support for the development of state transition models for an object-oriented distributed environment. The state transi...