The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alessandra Cavarra: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. Paolo Falcarin, Alessandra Cavarra
    Designing the Parlay Call-Control Using ASMs. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2003, pp:411-412 [Conf]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. Alessandra Cavarra, James Welch
    Behavioural Specifications from Class Models. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:118-137 [Conf]

  16. Checking Model Consistency Using Data-Flow Testing. [Citation Graph (, )][DBLP]


  17. Data Flow Analysis and Testing of Abstract State Machines. [Citation Graph (, )][DBLP]


  18. Inter-agent Data Flow Analysis of Abstract State Machines. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002