Autor der Publikation

Termination Criteria for DPO Transformations with Injective Matches.

, , und . GT-VC@CONCUR, Volume 175 von Electronic Notes in Theoretical Computer Science, Seite 87-100. Elsevier, (2006)

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

A Flexible Attribute Instantiation Technique for Visual Languages., , , und . IASTED Conf. on Software Engineering, Seite 355-359. IASTED/ACTA Press, (2005)Compiling and Validating OCL Constraints in Metamodeling Environments and Visual Model Compilers., , , und . IASTED Conf. on Software Engineering, Seite 48-49. IASTED/ACTA Press, (2005)Using Queueing Model in Predicting the Response Time of ASP.NET Web Applications., , und . IASTED Conf. on Software Engineering, Seite 252-257. IASTED/ACTA Press, (2006)Model-Based Development with Validated Model Transformation., , , und . MDEIS, Seite 39-48. INSTICC Press, (2006)VehicleFORGE: A Cloud-Based Infrastructure for Collaborative Model-Based Design., , , , , , , , und . MDHPCL@MoDELS, Volume 1118 von CEUR Workshop Proceedings, Seite 25-36. CEUR-WS.org, (2013)Incremental Type Checking in OCL Compilers., , und . ECBS-EERC, Seite 9-18. IEEE Computer Society, (2009)Verified Operational Patterns with Graph Transformation., und . ICST, Seite 954-961. IEEE Computer Society, (2012)Evolution in a context of an model-integrated tool environment., , , , und . ME@MoDELS, Seite 33-38. ACM, (2012)Metamodel-Based Model Transformation with Aspect-Oriented Constraints, , , , und . Electronic Notes in Theoretical Computer Science, (März 2006)A flexible, declarative presentation framework for domain-specific modeling., , und . AVI, Seite 309-312. ACM Press, (2008)