Autor der Publikation

A Transformation-Based Component Framework for a Generic Integrated Modeling Technique.

, , , , und . Transactions of the SDPS, 6 (4): 78-104 (2002)

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

Integration Paradigm for Data Type and Process Specification Techniques., und . Bulletin of the EATCS, (1998)On the Correctness of Modular Systems., , und . AMAST, Seite 209-216. Springer, (1993)Symbolic graphs for attributed graph constraints.. J. Symb. Comput., 46 (3): 294-315 (2011)Role of Abstraction in Program Development - Response.. IFIP Congress, Seite 143-146. North-Holland/IFIP, (1986)On the Specification and Verification of Model Transformations., und . Semantics and Algebraic Specification, Volume 5700 von Lecture Notes in Computer Science, Seite 140-161. Springer, (2009)Constraints for Behavioural Specifications., und . ADT, Volume 534 von Lecture Notes in Computer Science, Seite 220-245. Springer, (1990)The Specification Language GSBL., und . ADT, Volume 534 von Lecture Notes in Computer Science, Seite 31-51. Springer, (1990)Correctness of Incremental Model Synchronization with Triple Graph Grammars., und . ICMT, Volume 8568 von Lecture Notes in Computer Science, Seite 74-90. Springer, (2014)Architectural Connectors for Sequence Diagrams., und . PROLE, Volume 206 von Electronic Notes in Theoretical Computer Science, Seite 111-131. Elsevier, (2007)Unification of Drags., und . UNIF, Seite 8:1-8:7. (2020)