Alessandra Cavarra

发表

A Pattern for Concurrency in UML

Jim Davies, Charles Crichton, Alessandra Cavarra, 2001 .

Mapping UML into Abstract State Machines: A Framework to Simulate UML Models

Elvinia Riccobene, Alessandra Cavarra, Patrizia Scandurra, 2004, Stud. Inform. Univ..

Modeling the Dynamics of UML Behavioral Diagrams

Alessandra Cavarra, A. Cavarra, 2000 .

Designing the Parlay Call-Control Using ASMs

Paolo Falcarin, Alessandra Cavarra, 2003, Abstract State Machines.

An ASM Semantics for UML Activity Diagrams

Elvinia Riccobene, Alessandra Cavarra, Egon Börger, 2000, AMAST.

A formal model for the parallel semantics of P3L

Elvinia Riccobene, Alessandra Cavarra, Andrea Zavanella, 2000, SAC '00.

Modeling the Dynamics of UML State Machines

Elvinia Riccobene, Alessandra Cavarra, Egon Börger, 2000, Abstract State Machines.

A Formal Semantics of UML: The ASM Approach

Alessandra Cavarra, 2000 .

Formal and Model-Based Testing of Concurrent Workflows

Jim Davies, Alessandra Cavarra, Chen-Wei Wang, 2011, 2011 11th International Conference on Quality Software.

Formalizing Liveness-Enriched Sequence Diagrams Using ASMs

Juliana Küster Filipe Bowles, Alessandra Cavarra, J. Bowles, 2004, Abstract State Machines.

On the generation of object databases using booster

Jim Davies, Alessandra Cavarra, James Welch, 2006 .

An ASM Semantics for UML Activity Diagrams and UML State Machines

Alessandra Cavarra, 2000 .

A method for the automatic generation of test suites from object models

Jim Davies, Charles Crichton, Alessandra Cavarra, 2003, SAC '03.

A Precise Semantics of UML State Machines: Making Semantic Variation Points and Ambiguities Explicit

Alessandra Cavarra, 2002 .

A data-flow approach to test multi-agent ASMs

Alessandra Cavarra, Alessandra Cavarra, 2009, Formal Aspects of Computing.

A framework to simulate UML models: moving from a semi-formal to a formal environment

Elvinia Riccobene, Alessandra Cavarra, Patrizia Scandurra, 2004, SAC '04.

Solving Conflicts in UML State Machines Concurrent States

Alessandra Cavarra, 2001 .

Checking Model Consistency Using Data-Flow Testing

Alessandra Cavarra, Chen-Wei Wang, 2009, 2009 16th Asia-Pacific Software Engineering Conference.

Specifying and Verifying the Parlay Call−Control Using ASMs

Alessandra Cavarra, 2003 .

On Existentially Quantified Conjunctions of Atomic Formulae of L

Alessandra Cavarra, 1997 .

Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines

Elvinia Riccobene, Alessandra Cavarra, Patrizia Scandurra, 2003, Abstract State Machines.

Behavioural Specifications from Class Models

Alessandra Cavarra, James Welch, James Welch, 2007, IFM.

Inter-agent Data Flow Analysis of Abstract State Machines

Alessandra Cavarra, Alessandra Cavarra, 2009, 2009 Australian Software Engineering Conference.

Combining Sequence Diagrams and OCL for Liveness

Juliana Küster Filipe Bowles, Alessandra Cavarra, J. Bowles, 2004, SFEDL@ETAPS.

Modeling the meaning of transitions from and to concurrent states in UML state machines

Elvinia Riccobene, Alessandra Cavarra, Egon Börger, 2003, SAC '03.

Editorial message: special track on software engineering: methods, practices, and tools

Alessandra Cavarra, Stefan Gruner, Sung Shin, 2005, SAC '05.

Data Flow Analysis and Testing of Abstract State Machines

Alessandra Cavarra, Alessandra Cavarra, 2008, ABZ.

On formalizing UML state machines using ASM

Elvinia Riccobene, Alessandra Cavarra, Egon Börger, 2004, Inf. Softw. Technol..

On the generation of object databases using booster

Jim Davies, Alessandra Cavarra, James Welch, 2006, 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06).

A method for the automatic generation of test suites from object models

Jim Davies, Charles Crichton, Alessandra Cavarra, 2004, Inf. Softw. Technol..