Author of the publication

System Test Synthesis from UML Models of Distributed Software

, , , , , and . FORTE, page 97-113. (2002)MR: Mittels UMLAUT wird die UML-Spezifikation in ein IOLTS überführt und durch das Testsynthesis-Tool TGV werden Testfälle abgeleitet. Auf diesem Ansatz baut auch der Ansatz von Nebut im SPL-Umfeld Nebut2002Nebut2003Nebut2006..

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

A toolkit for weaving aspect oriented UML designs., , , and . AOSD, page 99-105. ACM, (2002)Validating Distributed Software Modeled with the Unified Modeling Language., , and . UML, volume 1618 of Lecture Notes in Computer Science, page 365-377. Springer, (1998)Precise Modeling of Design Patterns., , and . UML, volume 1939 of Lecture Notes in Computer Science, page 482-496. Springer, (2000)Composants objets fiables : une approche pragmatique., , , , and . L'OBJET, (1999)Using UML Action Semantics for model execution and transformation., , and . Inf. Syst., 27 (6): 445-457 (2002)A parallel execution environment for a sequential object oriented language., , and . ICS, page 368-376. ACM, (1992)A Methodology for Specifying Data Distribution Using Only Standard Object-Oriented Features., , , and . International Conference on Supercomputing, page 116-123. ACM, (1997)Design by Contract: The Lessons of Ariane., and . Computer, 30 (1): 129-130 (1997)Building a global clock for observing computations in distributed memory parallel computers., and . Concurr. Pract. Exp., 8 (1): 71-89 (1996)Echidna, an estelle compiler to prototype protocols on distributed computers., and . Concurr. Pract. Exp., 4 (5): 377-397 (1992)