|
Search the dblp DataBase
Alessandra Cavarra:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Egon Börger, Alessandra Cavarra, Elvinia Riccobene
An ASM Semantics for UML Activity Diagrams. [Citation Graph (0, 0)][DBLP] AMAST, 2000, pp:293-308 [Conf]
- Egon Börger, Alessandra Cavarra, Elvinia Riccobene
Modeling the Dynamics of UML State Machines. [Citation Graph (0, 0)][DBLP] Abstract State Machines, 2000, pp:223-241 [Conf]
- Alessandra Cavarra, Juliana Küster Filipe
Formalizing Liveness-Enriched Sequence Diagrams Using ASMs. [Citation Graph (0, 0)][DBLP] Abstract State Machines, 2004, pp:62-77 [Conf]
- Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra
Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines. [Citation Graph (0, 0)][DBLP] Abstract State Machines, 2003, pp:229-243 [Conf]
- Paolo Falcarin, Alessandra Cavarra
Designing the Parlay Call-Control Using ASMs. [Citation Graph (0, 0)][DBLP] Abstract State Machines, 2003, pp:411-412 [Conf]
- Egon Börger, Elvinia Riccobene, Alessandra Cavarra
Modeling the Meaning of Transitions from and to Concurrent States in UML State Machines. [Citation Graph (0, 0)][DBLP] SAC, 2003, pp:1086-1091 [Conf]
- Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra
A framework to simulate UML models: moving from a semi-formal to a formal environment. [Citation Graph (0, 0)][DBLP] SAC, 2004, pp:1519-1523 [Conf]
- Alessandra Cavarra, Elvinia Riccobene, Andrea Zavanella
A Formal Model for the Parallel Semantics of P3L. [Citation Graph (0, 0)][DBLP] SAC (2), 2000, pp:804-812 [Conf]
- Jim Davies, Charles Crichton, Alessandra Cavarra
A Method for the Automatic Generation of Test Suites from Object Models. [Citation Graph (0, 0)][DBLP] SAC, 2003, pp:1104-1109 [Conf]
- Stefan Gruner, Alessandra Cavarra, Sung Shin
Editorial message: special track on software engineering: methods, practices, and tools. [Citation Graph (0, 0)][DBLP] SAC, 2005, pp:1454-1455 [Conf]
- Alessandra Cavarra, Juliana Küster Filipe
Combining Sequence Diagrams and OCL for Liveness. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:115, n:, pp:19-38 [Journal]
- Alessandra Cavarra, Charles Crichton, Jim Davies
A method for the automatic generation of test suites from object models. [Citation Graph (0, 0)][DBLP] Information & Software Technology, 2004, v:46, n:5, pp:309-314 [Journal]
- Egon Börger, Alessandra Cavarra, Elvinia Riccobene
On formalizing UML state machines using ASM. [Citation Graph (0, 0)][DBLP] Information & Software Technology, 2004, v:46, n:5, pp:287-292 [Journal]
- Jim Davies, James Welch, Alessandra Cavarra, Edward Crichton
On the Generation of Object Databases using Booster. [Citation Graph (0, 0)][DBLP] ICECCS, 2006, pp:249-258 [Conf]
- Alessandra Cavarra, James Welch
Behavioural Specifications from Class Models. [Citation Graph (0, 0)][DBLP] IFM, 2007, pp:118-137 [Conf]
Checking Model Consistency Using Data-Flow Testing. [Citation Graph (, )][DBLP]
Data Flow Analysis and Testing of Abstract State Machines. [Citation Graph (, )][DBLP]
Inter-agent Data Flow Analysis of Abstract State Machines. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.004secs
|