Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Protocol engineering using UML., , , und . Ann. des Télécommunications, 54 (11-12): 526-538 (1999)Design Patterns Application in UML., , und . ECOOP, Volume 1850 von Lecture Notes in Computer Science, Seite 44-62. Springer, (2000)Is It Feasable to Construct a Semantics for All of UML? What Are the Outstanding Issues?, , , , , , und . ECOOP Workshops, Volume 1743 von Lecture Notes in Computer Science, Seite 49-55. Springer, (1999)Using UML Action Semantics for Executable Modeling and Beyond., , , , und . CAiSE, Volume 2068 von Lecture Notes in Computer Science, Seite 433-447. Springer, (2001)System Test Synthesis from UML Models of Distributed Software, , , , , und . FORTE, Seite 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..Validation and Test Generation for Object-Oriented Distributed Software., , und . PDSE, Seite 51-60. IEEE Computer Society, (1998)Protocol engineering using UML, , , , und . (1999)Using UML Action Semantics for model execution and transformation, , und . Inf. Syst., 27 (6): 445--457 (September 2002)System Test Synthesis from UML Models of Distributed Software., , , , , und . FORTE, Volume 2529 von Lecture Notes in Computer Science, Seite 97-113. Springer, (2002)Validating Distributed Software Modeled with the Unified Modeling Language., , und . UML, Volume 1618 von Lecture Notes in Computer Science, Seite 365-377. Springer, (1998)