Author of the publication

System Test Synthesis from UML Models of Distributed Software.

, , , , , and . FORTE, volume 2529 of Lecture Notes in Computer Science, page 97-113. Springer, (2002)

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.

 

Other publications of authors with the same name

Protocol engineering using UML, , , , and . (1999)Using UML Action Semantics for model execution and transformation, , and . Inf. Syst., 27 (6): 445--457 (September 2002)System Test Synthesis from UML Models of Distributed Software., , , , , and . FORTE, volume 2529 of Lecture Notes in Computer Science, page 97-113. Springer, (2002)Using UML Action Semantics for Executable Modeling and Beyond, , , , and . CAiSE '01: Proceedings of the 13th International Conference on Advanced Information Systems Engineering, page 433--447. London, UK, Springer-Verlag, (2001)Precise Modeling of Design Patterns., , and . UML, volume 1939 of Lecture Notes in Computer Science, page 482-496. Springer, (2000)Validating Distributed Software Modeled with the Unified Modeling Language., , and . UML, volume 1618 of Lecture Notes in Computer Science, page 365-377. Springer, (1998)UMLAUT: An Extendible UML Transformation Framework., , , and . ASE, page 275-278. IEEE Computer Society, (1999)Design Patterns Application in UML., , and . ECOOP, volume 1850 of Lecture Notes in Computer Science, page 44-62. Springer, (2000)Is It Feasable to Construct a Semantics for All of UML? What Are the Outstanding Issues?, , , , , , and . ECOOP Workshops, volume 1743 of Lecture Notes in Computer Science, page 49-55. Springer, (1999)Using UML Action Semantics for Executable Modeling and Beyond., , , , and . CAiSE, volume 2068 of Lecture Notes in Computer Science, page 433-447. Springer, (2001)