20 search results - page 2 / 4 » Formalization of UML-Statecharts |
58
Voted
SAC
2008
ACM
14 years 11 months ago
2008
ACM
108
click to vote
HASE
1999
IEEE
15 years 3 months ago
1999
IEEE
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...
112
click to vote
JLP
2006
14 years 11 months ago
2006
We present a formal framework for notions related to testing and model based test generation for a behavioural subset of UML Statecharts (UMLSCs). This framework builds, on one ha...
FMOODS
2000
15 years 29 days ago
2000
We propose a formal real-time semantics for UML statecharts aimed at the requirements level. A requirements-level model assumes perfect technology and has a considerably simpler se...
98
Voted
ROOM
2000
15 years 29 days ago
2000
This paper proposes a revised semantic interpretation of UML Statechart Diagrams which ensures, under the specified design rules, that Statecharts may be constructed to have true ...