7 treff

Semantics of UML 2.0 activities and collaborations in cTLA
Frank Alexander Kraemer, Peter hermann
Bok Engelsk 2010
Engineering reactive systems : a compositional and model-driven method based on collaborative building blocks
Frank Alexander Kraemer
Bok Engelsk 2008
Profile for service engineering : executable state machines
Frank Alexander Kraemer
Bok Engelsk 2008
UML profile and semantics for service specifications
Frank Alexander Kraemer
Bok Engelsk 2008
Ramses user guide
Frank Alexander Kraemer, Haldor Samset
Bok Engelsk 2008
From activities to state machines : refinement proof for a system
Frank Alexander Kraemer
Bok Engelsk 2008
Building blocks, patterns and design rules for collaborations and activities
Frank Alexander Kraemer
Bok Engelsk 2007