Author Search Results :: UTM Library Massive Scholar Tracking

1

Simulating Statecharts by Cavarra, A, Riccobene, E

Published 2001

Conference item
2

Modeling the Dynamics of UML Behavioral Diagrams by Cavarra, A, Riccobene, E

Published 2000

Conference item
3

A Framework to Simulate UML Models: Moving from a Semi−Formal to a Formal Environment by Cavarra, A, Riccobene, E, Scandurra, P

Published 2004

Conference item
4

Modeling the Meaning of Transitions from and to Concurrent States in UML State Machines by Börger, E, Riccobene, E, Cavarra, A

Published 2003

Conference item
5

Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines by Cavarra, A, Riccobene, E, Scandurra, P

Published 2003

Conference item
6

A Formal Model for the Parallel Semantics of P3L by Cavarra, A, Riccobene, E, Zavanella, A

Published 2000

Conference item
7

Modeling the Dynamics of UML State Machines by Börger, E, Cavarra, A, Riccobene, E

Published 2000

Conference item
8

An ASM Semantics for UML Activity Diagrams by Börger, E, Cavarra, A, Riccobene, E

Published 2000

Conference item
9

An ASM Semantics for UML Activity Diagrams and UML State Machines by Boerger, E, Cavarra, A, Riccobene, E

Published 2000

Conference item
10

On Formalizing UML State Machines using ASM by Börger, E, Cavarra, A, Riccobene, E

Published 2004

Journal article
11

Solving Conflicts in UML State Machines Concurrent States by Boerger, E, Cavarra, A, Riccobene, E

Published 2001

Conference item
12

A Precise Semantics of UML State Machines: Making Semantic Variation Points and Ambiguities Explicit by Boerger, E, Cavarra, A, Riccobene, E

Published 2002

Conference item
13

Mapping UML into Abstract State Machines: A Framework to Simulate UML Models by Cavarra, A, Riccobene, E, Scandurra, P

Published 2005

Journal article