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

Towards sound, optimal, and flexible building from megamodels.. MoDELS, Seite 301-311. ACM, (2018)Abstract Games for Infinite State Processes.. CONCUR, Volume 1466 von Lecture Notes in Computer Science, Seite 147-162. Springer, (1998)Aggregation., , , , und . ECOOP Workshops, Volume 1743 von Lecture Notes in Computer Science, Seite 55-56. Springer, (1999)A Simple Game-Theoretic Approach to Checkonly QVT Relations.. ICMT@TOOLS, Volume 5563 von Lecture Notes in Computer Science, Seite 165-180. Springer, (2009)Connecting software build with maintaining consistency between models: towards sound, optimal, and flexible building from megamodels.. Softw. Syst. Model., 19 (4): 935-958 (2020)How to Regain Equilibrium without Losing your Balance? Scenarios for Bx Deployment (Discussion Paper)., und . Bx@ETAPS, Volume 1571 von CEUR Workshop Proceedings, Seite 32-34. CEUR-WS.org, (2016)Systems Reengineering Patterns., und . SIGSOFT FSE, Seite 17-23. ACM, (1998)The Edinburgh Concurrency Workbench User Manual, und . (1999)06351 Summary -- Methods for Modelling Software Systems (MMOSS)., , , , und . MMOSS, Volume 06351 von Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions.. MoDELS, Volume 4735 von Lecture Notes in Computer Science, Seite 1-15. Springer, (2007)