Alessandra Cavarra : Publications
-
[1]
A data−flow approach to test multi−agent ASMs
Alessandra Cavarra
In Formal Asp. Comput.. Vol. 23. No. 1. Pages 21−41. 2011.
Details about A data−flow approach to test multi−agent ASMs | BibTeX data for A data−flow approach to test multi−agent ASMs | DOI (10.1007/s00165-009-0134-7)
-
[2]
Formal and Model−Based Testing of Concurrent Workflows
Chen−Wei Wang‚ Alessandra Cavarra and Jim Davies
In Manuel Núñez‚ Robert M. Hierons and Mercedes G. Merayo, editors, Proceedings of the 11th International Conference on Quality Software‚ QSIC 2011‚ Madrid‚ Spain‚ July 13−14‚ 2011. Pages 252−259. IEEE Computer Society. 2011.
Details about Formal and Model−Based Testing of Concurrent Workflows | BibTeX data for Formal and Model−Based Testing of Concurrent Workflows
-
[3]
Proceedings of the 11th International Conference on Quality Software‚ QSIC 2011‚ Madrid‚ Spain‚ July 13−14‚ 2011
Manuel Núñez‚ Robert M. Hierons and Mercedes G. Merayo, editors
Details about Proceedings of the 11th International Conference on Quality Software‚ QSIC 2011‚ Madrid‚ Spain‚ July 13−14‚ 2011 | BibTeX data for Proceedings of the 11th International Conference on Quality Software‚ QSIC 2011‚ Madrid‚ Spain‚ July 13−14‚ 2011
-
[4]
Inter−agent Data Flow Analysis of Abstract State Machines
Alessandra Cavarra
In 20th Australian Software Engineering Conference (ASWEC 2009)‚ 14−17 April 2009‚ Gold Cost‚ Australia. Pages 237−245. IEEE Computer Society. 2009.
Details about Inter−agent Data Flow Analysis of Abstract State Machines | BibTeX data for Inter−agent Data Flow Analysis of Abstract State Machines
-
[5]
Checking Model Consistency Using Data−Flow Testing
Chen−Wei Wang and Alessandra Cavarra
In Shahida Sulaiman and Noor Maizura Mohamad Noor, editors, 16th Asia−Pacific Software Engineering Conference‚ APSEC 2009‚ 1−3 December 2009‚ Batu Ferringhi‚ Penang‚ Malaysia. Pages 414−421. IEEE Computer Society. 2009.
Details about Checking Model Consistency Using Data−Flow Testing | BibTeX data for Checking Model Consistency Using Data−Flow Testing
-
[6]
20th Australian Software Engineering Conference (ASWEC 2009)‚ 14−17 April 2009‚ Gold Cost‚ Australia
Details about 20th Australian Software Engineering Conference (ASWEC 2009)‚ 14−17 April 2009‚ Gold Cost‚ Australia | BibTeX data for 20th Australian Software Engineering Conference (ASWEC 2009)‚ 14−17 April 2009‚ Gold Cost‚ Australia
-
[7]
16th Asia−Pacific Software Engineering Conference‚ APSEC 2009‚ 1−3 December 2009‚ Batu Ferringhi‚ Penang‚ Malaysia
Shahida Sulaiman and Noor Maizura Mohamad Noor, editors
Details about 16th Asia−Pacific Software Engineering Conference‚ APSEC 2009‚ 1−3 December 2009‚ Batu Ferringhi‚ Penang‚ Malaysia | BibTeX data for 16th Asia−Pacific Software Engineering Conference‚ APSEC 2009‚ 1−3 December 2009‚ Batu Ferringhi‚ Penang‚ Malaysia
-
[8]
Data Flow Analysis and Testing of Abstract State Machines
Alessandra Cavarra
In Egon Börger‚ Michael J. Butler‚ Jonathan P. Bowen and Paul Boca, editors, Abstract State Machines‚ B and Z‚ First International Conference‚ ABZ 2008‚ London‚ UK‚ September 16−18‚ 2008. Proceedings. Vol. 5238 of Lecture Notes in Computer Science. Pages 85−97. Springer. 2008.
Details about Data Flow Analysis and Testing of Abstract State Machines | BibTeX data for Data Flow Analysis and Testing of Abstract State Machines
-
[9]
Abstract State Machines‚ B and Z‚ First International Conference‚ ABZ 2008‚ London‚ UK‚ September 16−18‚ 2008. Proceedings
Egon Börger‚ Michael J. Butler‚ Jonathan P. Bowen and Paul Boca, editors
Details about Abstract State Machines‚ B and Z‚ First International Conference‚ ABZ 2008‚ London‚ UK‚ September 16−18‚ 2008. Proceedings | BibTeX data for Abstract State Machines‚ B and Z‚ First International Conference‚ ABZ 2008‚ London‚ UK‚ September 16−18‚ 2008. Proceedings
-
[10]
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.
Details about Behavioural Specifications from Class Models | BibTeX data for Behavioural Specifications from Class Models | DOI (10.1007/978-3-540-73210-5_7)
-
[11]
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.
Details about On the Generation of Object Databases using Booster | BibTeX data for On the Generation of Object Databases using Booster | DOI (10.1109/ICECCS.2006.1690374)
-
[12]
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.
Details about Combining Sequence Diagrams and OCL for Liveness | BibTeX data for Combining Sequence Diagrams and OCL for Liveness | DOI (10.1016/j.entcs.2004.09.025)
-
[13]
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
Details about Mapping UML into Abstract State Machines: A Framework to Simulate UML Models | BibTeX data for Mapping UML into Abstract State Machines: A Framework to Simulate UML Models
-
[14]
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.
Details about Editorial Message: Special Track on Software Engineering: Methods‚ Practices‚ and Tools | BibTeX data for Editorial Message: Special Track on Software Engineering: Methods‚ Practices‚ and Tools | DOI (10.1145/1067009)
-
[15]
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.
Details about A Method for the Automatic Generation of Test Suites from Object Models | BibTeX data for A Method for the Automatic Generation of Test Suites from Object Models | DOI (10.1016/j.infsof.2003.09.004)
-
[16]
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.
Details about On Formalizing UML State Machines using ASM | BibTeX data for On Formalizing UML State Machines using ASM | DOI (10.1016/j.infsof.2003.09.009)
-
[17]
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.
Details about A Framework to Simulate UML Models: Moving from a Semi−Formal to a Formal Environment | BibTeX data for A Framework to Simulate UML Models: Moving from a Semi−Formal to a Formal Environment | DOI (10.1145/968204)
-
[18]
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.
Details about Formalizing Liveness−Enriched Sequence Diagrams Using ASMs | BibTeX data for Formalizing Liveness−Enriched Sequence Diagrams Using ASMs | Link to Formalizing Liveness−Enriched Sequence Diagrams Using ASMs
-
[19]
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 about Modeling the Meaning of Transitions from and to Concurrent States in UML State Machines | BibTeX data for Modeling the Meaning of Transitions from and to Concurrent States in UML State Machines
-
[20]
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.
Details about Specifying and Verifying the Parlay Call−Control Using ASMs | BibTeX data for Specifying and Verifying the Parlay Call−Control Using ASMs | Link to Specifying and Verifying the Parlay Call−Control Using ASMs
-
[21]
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 about Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines | BibTeX data for Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines | Link to Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines
-
[22]
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 about A Method for the Automatic Generation of Test Suites from Object Models | BibTeX data for A Method for the Automatic Generation of Test Suites from Object Models | DOI (10.1145/952532.952748)
-
[23]
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 about A Precise Semantics of UML State Machines: Making Semantic Variation Points and Ambiguities Explicit | BibTeX data for A Precise Semantics of UML State Machines: Making Semantic Variation Points and Ambiguities Explicit
-
[24]
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.
Details about Simulating Statecharts | BibTeX data for Simulating Statecharts
-
[25]
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 about Solving Conflicts in UML State Machines Concurrent States | BibTeX data for Solving Conflicts in UML State Machines Concurrent States
-
[26]
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.
Details about A Formal Semantics of UML: The ASM Approach | BibTeX data for A Formal Semantics of UML: The ASM Approach
-
[27]
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 about An ASM Semantics for UML Activity Diagrams and UML State Machines | BibTeX data for An ASM Semantics for UML Activity Diagrams and UML State Machines
-
[28]
Modeling the Dynamics of UML Behavioral Diagrams
A. Cavarra and E. Riccobene
In FORTE/PSTV 2000. Pisa. October, 2000.
Poster
Details about Modeling the Dynamics of UML Behavioral Diagrams | BibTeX data for Modeling the Dynamics of UML Behavioral Diagrams
-
[29]
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 about A Formal Model for the Parallel Semantics of P3L | BibTeX data for A Formal Model for the Parallel Semantics of P3L
-
[30]
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.
Details about Modeling the Dynamics of UML State Machines | BibTeX data for Modeling the Dynamics of UML State Machines | Link to Modeling the Dynamics of UML State Machines
-
[31]
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 about An ASM Semantics for UML Activity Diagrams | BibTeX data for An ASM Semantics for UML Activity Diagrams | Link to An ASM Semantics for UML Activity Diagrams
-
[32]
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 about On Existentially Quantified Conjunctions of Atomic Formulae of L+ | BibTeX data for On Existentially Quantified Conjunctions of Atomic Formulae of L+