| [1] | Jim Davies, James Welch, Alessandra Cavarra, and Edward Crichton. On the generation of object databases using Booster. In Proceedings of the 11th IEEE Conference on the Engineering of Complex Computer Systems (ICECCS 2006). IEEE Computer Society, 2006. |
| [2] | A. Cavarra, E. Riccobene, and P. Scandurra. Mapping UML into abstract state machines: A framework to simulate UML models. Studia Informatica Universalis, 2005. To appear. |
| [3] | Stefan Gruner, Alessandra Cavarra, and Sung Shin. Editorial message: Special track on software engineering: Methods, practices, and tools. 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. [ http ] |
| [4] | Alessandra Cavarra and Juliana Küster Filipe. Combining sequence diagrams and OCL for liveness. Electronic Notes in Theoretical Computer Science, 115:19-38, 2005. [ http ] |
| [5] | Alessandra Cavarra and Juliana Küster Filipe. Formalizing liveness-enriched sequence diagrams using ASMs. 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, volume 3052 of Lecture Notes in Computer Science, pages 62-77. Springer, 2004. [ http ] |
| [6] | Alessandra Cavarra, Elvinia Riccobene, and Patrizia Scandurra. A framework to simulate UML models: Moving from a semi-formal to a formal environment. 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. [ http ] |
| [7] | Egon Börger, Alessandra Cavarra, and Elvinia Riccobene. On formalizing UML state machines using ASM. Information & Software Technology, 46(5):287-292, 2004. [ http ] |
| [8] | Alessandra Cavarra, Charles Crichton, and Jim Davies. A method for the automatic generation of test suites from object models. Information & Software Technology, 46(5):309-314, 2004. [ http ] |
| [9] | Alessandra Cavarra, Charles Crichton, and Jim Davies. A method for the automatic generation of test suites from object models. Information & Software Technology, 46(5):309-314, 2004. [ http ] |
| [10] | Alessandra Cavarra, Elvinia Riccobene, and Patrizia Scandurra. Integrating UML static and dynamic views and formalizing the interaction mechanismof UML state machines. 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, volume 2589 of Lecture Notes in Computer Science, pages 229-243. Springer, 2003. [ http ] |
| [11] | Paolo Falcarin and Alessandra Cavarra. Specifying and verifying the parlay call-control using ASMs. 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, volume 2589 of Lecture Notes in Computer Science, pages 411-412. Springer, 2003. [ http ] |
| [12] | Egon Börger, Elvinia Riccobene, and Alessandra Cavarra. Modeling the meaning of transitions from and to concurrent states in UML state machines. In Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), March 9-12, 2003, Melbourne, FL, USA, pages 1086-1091. ACM, 2003. |
| [13] | Jim Davies, Charles Crichton, and Alessandra Cavarra. A method for the automatic generation of test suites from object models. In Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), March 9-12, 2003, Melbourne, FL, USA, pages 1104-1109. ACM, 2003. |
| [14] | Jim Davies, Charles Crichton, and Alessandra Cavarra. A method for the automatic generation of test suites from object models. In Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), March 9-12, 2003, Melbourne, FL, USA, pages 1104-1109. ACM, 2003. |
| [15] | E. Boerger, A. Cavarra, and E. Riccobene. A precise semantics of UML state machines: Making semantic variation points and ambiguities explicit. In Proceedings of Semantic Foundations of Engineering Design Languages (SFEDL) - ETAPS, Grenoble, April 2002. |
| [16] | E. Boerger, A. Cavarra, and E. Riccobene. Solving conflicts in UML state machines concurrent states. In UML 2001, Workshop on Concurrency Issues in UML, Toronto, Canada, October 2001. |
| [17] | A. Cavarra and E. Riccobene. Simulating statecharts. In R. Moreno-Diaz and A. Quesada-Arencibia, editors, ASM 2001 Workshop, EUROCAST 2001, Canary Islands, Spain, February 2001. |
| [18] | A. Cavarra and E. Riccobene. Modeling the dynamics of UML behavioral diagrams. In FORTE/PSTV 2000, Pisa, October 2000. Poster. |
| [19] | A. Cavarra. A formal semantics of UML: The ASM approach. 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. |
| [20] | E. Boerger, A. Cavarra, and E. Riccobene. An ASM semantics for UML activity diagrams and UML state machines. In ASM2000 Workshop, March 2000. TIK Report Nr. 87, Computer Engineering and Networks Lab (TIK), Swiss Federal Institute of Technology (ETH) Zurich. |
| [21] | Egon Börger, Alessandra Cavarra, and Elvinia Riccobene. An ASM semantics for UML activity diagrams. In Teodor Rus, editor, Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, volume 1816 of Lecture Notes in Computer Science, pages 293-308. Springer, 2000. [ http ] |
| [22] | Egon Börger, Alessandra Cavarra, and Elvinia Riccobene. Modeling the dynamics of UML state machines. 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, volume 1912 of Lecture Notes in Computer Science, pages 223-241. Springer, 2000. [ http ] |
| [23] | Alessandra Cavarra, Elvinia Riccobene, and Andrea Zavanella. A formal model for the parallel semantics of P3L. In Proceedings of the 2000 ACM Symposium on Applied Computing, pages 804-812, 2000. |
| [24] | D. Cantone, A. Cavarra, and E. Omodeo. On existentially quantified conjunctions of atomic formulae of L+. In FTP97: International Workshop on First Order Theorem Proving, November 1997. RISC-Linz Report Series, No. 97-50, Johannes Kepler Universitaet Linz. |
This file has been generated by bibtex2html 1.85.