20 search results - page 2 / 4 » Formalization of UML-Statecharts |
SAC
2008
ACM
14 years 9 months ago
2008
ACM
97
Voted
HASE
1999
IEEE
15 years 1 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...
96
Voted
JLP
2006
14 years 9 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...
79
Voted
FMOODS
2000
14 years 11 months 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...
ROOM
2000
14 years 11 months 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 ...