( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On formalizing UML state machines using ASMs

, , и . Information and Software Technology, 46 (5): 287--292 (апреля 2004)
DOI: 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.

Alessandra Gilibert

Alessandra Riva

Alessandra Rauti

Alessandra Martire

Alessandra Milandri

 

Другие публикации лиц с тем же именем

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