MPG.eBooks - Search Results - "UML 2"

Search alternatives:
uml 2 » uml _, uml a

Cover Image

1

Perspectives of Systems Informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers

Published 2010

Springer Berlin Heidelberg

Table of Contents: “... the Equivalence of Higher-Order Terms by Means of Supercompilation -- Unifying the Semantics of UML 2 State...”

Cover Image

2

Perspectives of Systems Informatics : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers

Published 2007

Springer Berlin Heidelberg

Table of Contents: “...An ASM Semantics of Token Flow in UML 2 Activity Diagrams -- Well-Structured Model Checking...”