Sciweavers

AMAST
2004
Springer
14 years 4 months ago
Refining Mobile UML State Machines
We study the semantics and refinement of mobile objects, considering an extension of core UML state machines by primitives that designate the location of objects and their moves wi...
Alexander Knapp, Stephan Merz, Martin Wirsing