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

Design by Contract: The Lessons of Ariane., and . Computer, 30 (1): 129-130 (1997)Echidna, an estelle compiler to prototype protocols on distributed computers., and . Concurr. Pract. Exp., 4 (5): 377-397 (1992)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)Model-driven analysis and synthesis of textual concrete syntax, , , , , , and . Software and Systems Modeling, 7 (4): 423--441 (October 2008)Building a global clock for observing computations in distributed memory parallel computers., and . Concurr. Pract. Exp., 8 (1): 71-89 (1996)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)Model-driven generative development of measurement software., , , , and . Softw. Syst. Model., 10 (4): 537-552 (2011)Reasoning over time into models with DataTime., , , , and . Softw. Syst. Model., 22 (5): 1689-1712 (October 2023)