29 New Unclarities in the Semantics of UML 2.0 State Machines.

Harald Fecher Jens Schönborn Marcel Kyas Willem P. de Roever

Published in: ICFEM (2005)

Keyphrases

state machines
state machine
sequence diagrams
petri net
uml activity diagrams
fault tolerant
finite state machines
formal semantics
intermediate representation
specification language
uml class diagrams
recurrent networks
object oriented
regression testing
metamodel
software systems
test set
software engineering