Alessandra Cavarra

According to our database, Alessandra Cavarra authored at least 20 papers between 2000 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

A data-flow approach to test multi-agent ASMs.

Alessandra Cavarra

Formal Aspects Comput., 2011

Formal and Model-Based Testing of Concurrent Workflows.

Chen-Wei Wang, Alessandra Cavarra, Jim Davies

Proceedings of the 11th International Conference on Quality Software, 2011

2009

Inter-agent Data Flow Analysis of Abstract State Machines.

Alessandra Cavarra

Proceedings of the 20th Australian Software Engineering Conference (ASWEC 2009), 2009

Checking Model Consistency Using Data-Flow Testing.

Chen-Wei Wang, Alessandra Cavarra

Proceedings of the 16th Asia-Pacific Software Engineering Conference, 2009

2008

Data Flow Analysis and Testing of Abstract State Machines.

Alessandra Cavarra

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2007

Behavioural Specifications from Class Models.

Alessandra Cavarra, James Welch

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

2006

On the Generation of Object Databases using Booster.

Jim Davies, James Welch, Alessandra Cavarra, Edward Crichton

Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

2005

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

Stefan Gruner, Alessandra Cavarra, Sung Shin

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

2004

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

Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra

Stud. Inform. Univ., 2004

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

Alessandra Cavarra, Charles Crichton, Jim Davies

Inf. Softw. Technol., 2004

On formalizing UML state machines using ASM.

Egon Börger, Alessandra Cavarra, Elvinia Riccobene

Inf. Softw. Technol., 2004

Combining Sequence Diagrams and OCL for Liveness.

Alessandra Cavarra, Juliana Küster Filipe

Proceedings of the Second Workshop on Semantic Foundations of Engineering Design Languages, 2004

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

Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

Formalizing Liveness-Enriched Sequence Diagrams Using ASMs.

Alessandra Cavarra, Juliana Küster Filipe

Proceedings of the Abstract State Machines 2004. Advances in Theory and Practice, 2004

2003

Modeling the Meaning of Transitions from and to Concurrent States in UML State Machines.

Egon Börger, Elvinia Riccobene, Alessandra Cavarra

Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

Designing the Parlay Call-Control Using ASMs.

Paolo Falcarin, Alessandra Cavarra

Proceedings of the Abstract State Machines, 2003

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

Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra

Proceedings of the Abstract State Machines, 2003

2000

A Formal Model for the Parallel Semantics of P3L.

Alessandra Cavarra, Elvinia Riccobene, Andrea Zavanella

Proceedings of the Applied Computing 2000, 2000

Modeling the Dynamics of UML State Machines.

Egon Börger, Alessandra Cavarra, Elvinia Riccobene

Proceedings of the Abstract State Machines, 2000

An ASM Semantics for UML Activity Diagrams.

Egon Börger, Alessandra Cavarra, Elvinia Riccobene

Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000