|
|
Alessandra Cavarra: Publications
by date |
by title |
by type |
bibtex
|
[1]
|
Behavioural Specifications from Class Models
A. Cavarra, J. Welch
In Proceedings of the 6th International Conference of Integrated Formal Methods (IFM 2007) pages 118-137. Springer Berlin / Heidelberg, 2007.
Details
|
BibTeX
|
DOI (10.1007/978-3-540-73210-5_7)
|
|
[2]
|
On the Generation of Object Databases using Booster
Jim Davies et al.
In Proceedings of the 11th IEEE Conference on the Engineering of Complex Computer Systems (ICECCS 2006) IEEE Computer Society, 2006.
Details
|
BibTeX
|
DOI (10.1109/ICECCS.2006.1690374)
|
|
[4]
|
Editorial Message: Special Track on Software Engineering: Methods, Practices, and Tools
Stefan Gruner, Alessandra Cavarra and Sung Shin
In Hisham Haddad et al. , editors, Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005 pages 1454-1455. ACM, 2005.
Details
|
BibTeX
|
DOI (10.1145/1067009)
|
|
[5]
|
Mapping UML into Abstract State Machines: A Framework to Simulate UML Models
A. Cavarra, E. Riccobene and P. Scandurra
Studia Informatica Universalis, 2005.
To appear.
Details
|
BibTeX
|
|
[6]
|
A Method for the Automatic Generation of Test Suites from Object Models
Alessandra Cavarra, Charles Crichton and Jim Davies
Information & Software Technology, Vol. 46, No. 5, pages 309-314. 2004.
Details
|
BibTeX
|
DOI (10.1016/j.infsof.2003.09.004)
|
|
[8]
|
A Framework to Simulate UML Models: Moving from a Semi-Formal to a Formal Environment
Alessandra Cavarra, Elvinia Riccobene and Patrizia Scandurra
In Hisham Haddad et al. , editors, Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004 pages 1519-1523. ACM, 2004.
Details
|
BibTeX
|
DOI (10.1145/968204)
|
|
[9]
|
Formalizing Liveness-Enriched Sequence Diagrams Using ASMs
Alessandra Cavarra, Juliana Küster Filipe
In Wolf Zimmermann, Bernhard Thalheim, editors, Abstract State Machines 2004. Advances in Theory and Practice, 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings Vol. 3052 of Lecture Notes in Computer Science, pages 62-77. Springer, 2004.
Details
|
BibTeX
| Link |
|
[10]
|
Modeling the Meaning of Transitions from and to Concurrent States in UML State Machines
Egon Börger, Elvinia Riccobene and Alessandra Cavarra
In Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), March 9-12, 2003, Melbourne, FL, USA pages 1086-1091. ACM, 2003.
Details
|
BibTeX
|
|
[11]
|
Specifying and Verifying the Parlay Call-Control Using ASMs
Paolo Falcarin, Alessandra Cavarra
In Egon Börger, Angelo Gargantini and Elvinia Riccobene, editors, Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings Vol. 2589 of Lecture Notes in Computer Science, pages 411-412. Springer, 2003.
Details
|
BibTeX
| Link |
|
[12]
|
Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines
Alessandra Cavarra, Elvinia Riccobene and Patrizia Scandurra
In Egon Börger, Angelo Gargantini and Elvinia Riccobene, editors, Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings Vol. 2589 of Lecture Notes in Computer Science, pages 229-243. Springer, 2003.
Details
|
BibTeX
| Link |
|
[13]
|
A Method for the Automatic Generation of Test Suites from Object Models
Jim Davies, Charles Crichton and Alessandra Cavarra
In Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), March 9-12, 2003, Melbourne, FL, USA pages 1104-1109. ACM, 2003.
Details
|
BibTeX
|
DOI (10.1145/952532.952748)
|
|
[14]
|
A Precise Semantics of UML State Machines: Making Semantic Variation Points and Ambiguities Explicit
E. Boerger, A. Cavarra and E. Riccobene
In Proceedings of Semantic Foundations of Engineering Design Languages (SFEDL) - ETAPS Grenoble. April 2002.
Details
|
BibTeX
|
|
[15]
|
Simulating Statecharts
A. Cavarra, E. Riccobene
In R. Moreno-Diaz, A. Quesada-Arencibia, editors, ASM 2001 Workshop, EUROCAST 2001 Canary Islands, Spain. February 2001.
Details
|
BibTeX
|
|
[16]
|
Solving Conflicts in UML State Machines Concurrent States
E. Boerger, A. Cavarra and E. Riccobene
In UML 2001, Workshop on Concurrency Issues in UML Toronto, Canada. October 2001.
Details
|
BibTeX
|
|
[17]
|
A Formal Semantics of UML: The ASM Approach
A. Cavarra
In F. Cassez et al. , editors, Modelling and Verification of Parallel Processes (MOVEP'2k) Ecole Centrale de Nantes, France. June 2000.
Details
|
BibTeX
|
|
[18]
|
A Formal Model for the Parallel Semantics of P3L
Alessandra Cavarra, Elvinia Riccobene and Andrea Zavanella
In Proceedings of the 2000 ACM Symposium on Applied Computing pages 804-812. 2000.
Details
|
BibTeX
|
|
[19]
|
Modeling the Dynamics of UML Behavioral Diagrams
A. Cavarra, E. Riccobene
In FORTE/PSTV 2000 Pisa. October 2000.
Poster.
Details
|
BibTeX
|
|
[20]
|
Modeling the Dynamics of UML State Machines
Egon Börger, Alessandra Cavarra and Elvinia Riccobene
In Yuri Gurevich et al. , editors, Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000, Proceedings Vol. 1912 of Lecture Notes in Computer Science, pages 223-241. Springer, 2000.
Details
|
BibTeX
| Link |
|
[21]
|
An ASM Semantics for UML Activity Diagrams and UML State Machines
E. Boerger, A. Cavarra and E. Riccobene
In ASM2000 Workshop March 2000.
TIK Report Nr. 87, Computer Engineering and Networks Lab (TIK), Swiss Federal Institute of Technology (ETH) Zurich.
Details
|
BibTeX
|
|
[22]
|
An ASM Semantics for UML Activity Diagrams
Egon Börger, Alessandra Cavarra and Elvinia Riccobene
In Teodor Rus, editor, Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings Vol. 1816 of Lecture Notes in Computer Science, pages 293-308. Springer, 2000.
Details
|
BibTeX
| Link |
|
[23]
|
On Existentially Quantified Conjunctions of Atomic Formulae of L+
D. Cantone, A. Cavarra and E. Omodeo
In FTP97: International Workshop on First Order Theorem Proving November 1997.
RISC-Linz Report Series, No. 97-50, Johannes Kepler Universitaet Linz.
Details
|
BibTeX
|
|
|
|
|
