Alessandra Cavarra : Publications
|
[1] |
Behavioural Specifications from Class Models A. Cavarra and J. Welch In Proceedings of the 6th International Conference of Integrated Formal Methods (IFM 2007). Pages 118−137. Springer Berlin / Heidelberg. 2007. |
|
[2] |
On the Generation of Object Databases using Booster Jim Davies‚ James Welch‚ Alessandra Cavarra and Edward Crichton In Proceedings of the 11th IEEE Conference on the Engineering of Complex Computer Systems (ICECCS 2006). IEEE Computer Society. 2006. |
|
[3] |
Combining Sequence Diagrams and OCL for Liveness Alessandra Cavarra and Juliana Küster Filipe In Electronic Notes in Theoretical Computer Science. Vol. 115. Pages 19−38. 2005. |
|
[4] |
Mapping UML into Abstract State Machines: A Framework to Simulate UML Models A. Cavarra‚ E. Riccobene and P. Scandurra In Studia Informatica Universalis. 2005. To appear |
|
[5] |
Editorial Message: Special Track on Software Engineering: Methods‚ Practices‚ and Tools Stefan Gruner‚ Alessandra Cavarra and Sung Shin In Hisham Haddad‚ Lorie M. Liebrock‚ Andrea Omicini and Roger L. Wainwright, 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. |
|
[6] |
A Method for the Automatic Generation of Test Suites from Object Models Alessandra Cavarra‚ Charles Crichton and Jim Davies In Information & Software Technology. Vol. 46. No. 5. Pages 309−314. 2004. |
|
[7] |
On Formalizing UML State Machines using ASM Egon Börger‚ Alessandra Cavarra and Elvinia Riccobene In Information & Software Technology. Vol. 46. No. 5. Pages 287−292. 2004. |
|
[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‚ Andrea Omicini‚ Roger L. Wainwright and Lorie M. Liebrock, editors, Proceedings of the 2004 ACM Symposium on Applied Computing (SAC)‚ Nicosia‚ Cyprus‚ March 14−17‚ 2004. Pages 1519−1523. ACM. 2004. |
|
[9] |
Formalizing Liveness−Enriched Sequence Diagrams Using ASMs Alessandra Cavarra and Juliana Küster Filipe In Wolf Zimmermann and 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. |
|
[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. |
|
[11] |
Specifying and Verifying the Parlay Call−Control Using ASMs Paolo Falcarin and 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. |
|
[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. |
|
[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. |
|
[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. |
|
[15] |
Simulating Statecharts A. Cavarra and E. Riccobene In R. Moreno−Diaz and A. Quesada−Arencibia, editors, ASM 2001 Workshop‚ EUROCAST 2001. Canary Islands‚ Spain. February, 2001. |
|
[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. |
|
[17] |
A Formal Semantics of UML: The ASM Approach A. Cavarra In F. Cassez‚ C. Jard‚ B. Rozoy and M. Ryan, editors, Modelling and Verification of Parallel Processes (MOVEP'2k). Ecole Centrale de Nantes‚ France. June, 2000. |
|
[18] |
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 |
|
[19] |
Modeling the Dynamics of UML Behavioral Diagrams A. Cavarra and E. Riccobene In FORTE/PSTV 2000. Pisa. October, 2000. Poster |
|
[20] |
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. |
|
[21] |
Modeling the Dynamics of UML State Machines Egon Börger‚ Alessandra Cavarra and Elvinia Riccobene In Yuri Gurevich‚ Philipp W. Kutter‚ Martin Odersky and Lothar Thiele, 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. |
|
[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. |
|
[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 |