( en | de | ru )

 

Disambiguation of "Cavarra, Alessandra"

Author of the publication

copydeleteadd this publication to your clipboard
On formalizing UML state machines using ASMs

, , and . Information and Software Technology, 46 (5): 287--292 (April 2004)
DOI: http://dx.doi.org/10.1016/j.infsof.2003.09.009

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Alessandra Gilibert

Alessandra Riva

Alessandra Rauti

Alessandra Milandri

Alessandra Bravi

 

Other publications of authors with the same name

A framework to simulate UML models: moving from a semi-formal to a formal environment., , and . SAC, page 1519-1523. ACM, (2004)Editorial message: special track on software engineering: methods, practices, and tools., , and . SAC, page 1454-1455. ACM, (2005)Modeling the Meaning of Transitions from and to Concurrent States in UML State Machines., , and . SAC, page 1086-1091. ACM, (2003)An ASM Semantics for UML Activity Diagrams., , and . AMAST, volume 1816 of Lecture Notes in Computer Science, page 293-308. Springer, (2000)On formalizing UML state machines using ASMs, , and . Information and Software Technology, 46 (5): 287--292 (April 2004)Data Flow Analysis and Testing of Abstract State Machines.. ABZ, volume 5238 of Lecture Notes in Computer Science, page 85-97. Springer, (2008)Modeling the Dynamics of UML State Machines., , and . Abstract State Machines, volume 1912 of Lecture Notes in Computer Science, page 223-241. Springer, (2000)A Formal Model for the Parallel Semantics of P3L., , and . SAC (2), page 804-812. ACM, (2000)1-58113-240-9.Designing the Parlay Call-Control Using ASMs., and . Abstract State Machines, volume 2589 of Lecture Notes in Computer Science, page 411-412. Springer, (2003)Modeling the meaning of transitions from and to concurrent states in UML state machines, , and . SAC '03: Proceedings of the 2003 ACM symposium on Applied computing, page 1086--1091. New York, NY, USA, ACM Press, (2003)