Alessandra Cavarra

Supernumerary Fellow

University Lecturer in Software Engineering

Department of Computer Science

MSc, PhD Catania

alessandra.cavarra@kellogg.ox.ac.uk

Before her appointment at University Lecturer, Alessandra Cavarra worked at the Computing Laboratory as a research officer and as a contract lecturer for the Oxford University Software Engineering Programme, developing and teaching courses in object-oriented design.  She has also been an external examiner for the University of Cambridge’s advanced diploma qualifications (overseas.)

Recent Publications

Cavarra and J. Kuester-Filipe. Formalizing Liveness Enriched Sequence Diagrams using ASMs.  In Proceedings of the 11th International Workshop on Abstract  State Machines 2004 (ASM 2004) 24-28 May 2004, Halle (Saale), Germany, pages 53-68. Springer-Verlag, Lecture Notes in Computer Science LNCS 3065, 2004.
A. Cavarra and J. Kuester-Filipe. Combining Sequence Diagrams and OCL for Liveness.  In Proceedings  of ETAPS 2004 Workshop on Semantic Foundations of Engineering  Design Languages  (SFEDL), Barcelona, Catalunya, 3rd April 2004. Electronic Notes in Theoretical Computer Science  (ENTCS).
Cavarra, E. Riccobene, P. Scandurra. A framework to simulate UML models: moving from a semi-formal to a formal environment. In ACM  Symposium on Applied Computing 2004. Special Track on Software Engineering: Applications, Practices, and Tools, ACM Press.
E. Boerger, A. Cavarra, E. Riccobene: On formalizing UML state machines using ASM.  In Information & Software Technology 46(5): 287-292 Elsevier Science (2004).
Cavarra, C. Crichton, J. Davies: A method for the automatic generation of test suites from object models.  In Information & Software Technology 46(5): 309-314. Elsevier Science (2004).