( en | de | ru )

 

Disambiguation of "Filipe, Juliana Küster"

Author of the publication

copydeleteadd this publication to your clipboard
Modelling Mobility with UML2.0 and PEPA Nets.

, and . ACSD, page 153-164. IEEE Computer Society, (2006)

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.

Juliana Küster Filipe

Michelle Küster

Robert Küster

William Küster

Gertrud Küster

 

Other publications of authors with the same name

Giving Life to Agent Interactions.. Objects, Agents, and Features, volume 2975 of Lecture Notes in Computer Science, page 98-116. Springer, (2003)Decomposing Interactions.. AMAST, volume 4019 of Lecture Notes in Computer Science, page 189-203. Springer, (2006)Formalizing Liveness-Enriched Sequence Diagrams Using ASMs., and . Abstract State Machines, volume 3052 of Lecture Notes in Computer Science, page 62-77. Springer, (2004)On a time enriched OCL liveness template., and . Int. J. Softw. Tools Technol. Transf., 8 (2): 156-166 (2006)Modelling Mobility with UML2.0 and PEPA Nets., and . ACSD, page 153-164. IEEE Computer Society, (2006)Modelling Concurrent Interactions.. AMAST, volume 3116 of Lecture Notes in Computer Science, page 304-318. Springer, (2004)Report on the Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures (FESCA), , , and . Newsletter of the European Association of Software Science and Technology (EASST), (2004)On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic., , , and . LOPSTR, volume 1817 of Lecture Notes in Computer Science, page 42-61. Springer, (1999)A logic-based formalization for component specification.. J. Object Technol., 1 (3): 231-248 (2002)Combining Sequence Diagrams and OCL for Liveness., and . SFEDL@ETAPS, volume 115 of Electronic Notes in Theoretical Computer Science, page 19-38. Elsevier, (2004)