2008 |
16 | EE | Alessandra Cavarra:
Data Flow Analysis and Testing of Abstract State Machines.
ABZ 2008: 85-97 |
2007 |
15 | EE | Alessandra Cavarra,
James Welch:
Behavioural Specifications from Class Models.
IFM 2007: 118-137 |
2006 |
14 | EE | Jim Davies,
James Welch,
Alessandra Cavarra,
Edward Crichton:
On the Generation of Object Databases using Booster.
ICECCS 2006: 249-258 |
2005 |
13 | EE | Stefan Gruner,
Alessandra Cavarra,
Sung Shin:
Editorial message: special track on software engineering: methods, practices, and tools.
SAC 2005: 1454-1455 |
12 | EE | Alessandra Cavarra,
Juliana Küster Filipe:
Combining Sequence Diagrams and OCL for Liveness.
Electr. Notes Theor. Comput. Sci. 115: 19-38 (2005) |
2004 |
11 | EE | Alessandra Cavarra,
Juliana Küster Filipe:
Formalizing Liveness-Enriched Sequence Diagrams Using ASMs.
Abstract State Machines 2004: 62-77 |
10 | EE | Alessandra Cavarra,
Elvinia Riccobene,
Patrizia Scandurra:
A framework to simulate UML models: moving from a semi-formal to a formal environment.
SAC 2004: 1519-1523 |
9 | EE | Egon Börger,
Alessandra Cavarra,
Elvinia Riccobene:
On formalizing UML state machines using ASM.
Information & Software Technology 46(5): 287-292 (2004) |
8 | EE | Alessandra Cavarra,
Charles Crichton,
Jim Davies:
A method for the automatic generation of test suites from object models.
Information & Software Technology 46(5): 309-314 (2004) |
2003 |
7 | EE | Alessandra Cavarra,
Elvinia Riccobene,
Patrizia Scandurra:
Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines.
Abstract State Machines 2003: 229-243 |
6 | EE | Paolo Falcarin,
Alessandra Cavarra:
Designing the Parlay Call-Control Using ASMs.
Abstract State Machines 2003: 411-412 |
5 | | Egon Börger,
Elvinia Riccobene,
Alessandra Cavarra:
Modeling the Meaning of Transitions from and to Concurrent States in UML State Machines.
SAC 2003: 1086-1091 |
4 | | Jim Davies,
Charles Crichton,
Alessandra Cavarra:
A Method for the Automatic Generation of Test Suites from Object Models.
SAC 2003: 1104-1109 |
2000 |
3 | EE | Egon Börger,
Alessandra Cavarra,
Elvinia Riccobene:
An ASM Semantics for UML Activity Diagrams.
AMAST 2000: 293-308 |
2 | EE | Egon Börger,
Alessandra Cavarra,
Elvinia Riccobene:
Modeling the Dynamics of UML State Machines.
Abstract State Machines 2000: 223-241 |
1 | | Alessandra Cavarra,
Elvinia Riccobene,
Andrea Zavanella:
A Formal Model for the Parallel Semantics of P3L.
SAC (2) 2000: 804-812 |