( 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 Riva

Alessandra Gilibert

Alessandra Rauti

Alessandra Ambruosi

Alessandra Rusconi

 

Other publications of authors with the same name

An ASM Semantics for UML Activity Diagrams., , and . AMAST, volume 1816 of Lecture Notes in Computer Science, page 293-308. Springer, (2000)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)A framework to simulate UML models: moving from a semi-formal to a formal environment., , and . SAC, page 1519-1523. ACM, (2004)Modeling the Dynamics of UML State Machines., , and . Abstract State Machines, volume 1912 of Lecture Notes in Computer Science, page 223-241. Springer, (2000)Data Flow Analysis and Testing of Abstract State Machines.. ABZ, volume 5238 of Lecture Notes in Computer Science, page 85-97. Springer, (2008)On formalizing UML state machines using ASMs, , and . Information and Software Technology, 46 (5): 287--292 (April 2004)Combining Sequence Diagrams and OCL for Liveness., and . SFEDL@ETAPS, volume 115 of Electronic Notes in Theoretical Computer Science, page 19-38. Elsevier, (2004)Behavioural Specifications from Class Models., and . IFM, volume 4591 of Lecture Notes in Computer Science, page 118-137. Springer, (2007)A method for the automatic generation of test suites from object models., , and . Inf. Softw. Technol., 46 (5): 309-314 (2004)