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

Formal specification and analysis of functional properties of graph rewriting-based model transformation., , und . Softw. Test. Verification Reliab., 23 (5): 405-435 (2013)Validating Transformations for Semantic Anchoring., , , , und . J. Object Technol., 14 (3): 2:1-25 (2015)Constraint Validation in Model Compilers., , und . J. Object Technol., 5 (4): 107-127 (2006)Restrictions for OCL Constraint Optimization Algorithms., , und . ECEASST, (2006)Automated Verification by Declarative Description of Graph Rewriting-Based Model Transformations., , , , , und . ECEASST, (2011)Weaving Aspect-Oriented Constraints into Metamodel-Based Model Transformation Steps., , und . Panhellenic Conference on Informatics, Volume 3746 von Lecture Notes in Computer Science, Seite 393-403. Springer, (2005)Software composition with a multipurpose modeling and model transformation framework., , und . IASTED Conf. on Software Engineering, Seite 590-594. IASTED/ACTA Press, (2004)Visual Presentation Solutions for Domain Specific Languages., , und . IASTED Conf. on Software Engineering, Seite 212-217. IASTED/ACTA Press, (2006)A Visual Control Flow Language for Model Transformation Systems., , , und . IASTED Conf. on Software Engineering, Seite 194-199. IASTED/ACTA Press, (2006)Second International Workshop on Multi-Paradigm Modeling: Concepts and Tools., , , und . MoDELS (Workshops), Volume 5002 von Lecture Notes in Computer Science, Seite 237-246. Springer, (2007)