361 search results - page 3 / 73 » A compositional approach to statecharts semantics |
RE
2002
Springer
13 years 7 months ago
2002
Springer
perfect technology assumption, which abstracts from limitations imposed by an implementation. Statecharts describe object life cycles. Our semantics includes synchronous and asynch...
BIRTHDAY
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. This paper combines three topics to which Amir Pnueli contributed significantly: the semantics of languages for concurrency, the semantics of statecharts, and reactive an...
UML
1998
Springer
13 years 11 months ago
1998
Springer
The use of scenarios has become a popular technique for requirements elicitation and specification building. Since scenarios capture only partial descriptions of system behavior, ...
ISORC
2000
IEEE
13 years 11 months ago
2000
IEEE
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
LCTRTS
2004
Springer
14 years 24 days ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...