Zobrazeno 1 - 10
of 64
pro vyhledávání: '"Habel, Annegret"'
Autor:
Sandmann, Christian, Habel, Annegret
Publikováno v:
EPTCS 309, 2019, pp. 87-104
Model repair is an essential topic in model-driven engineering. Since models are suitably formalized as graph-like structures, we consider the problem of rule-based graph repair: Given a rule set and a graph constraint, try to construct a graph progr
Externí odkaz:
http://arxiv.org/abs/1912.09610
Autor:
Habel, Annegret, Plump, Detlef
Publikováno v:
In Electronic Notes in Theoretical Computer Science May 2002 51:165-176
Publikováno v:
In Electronic Notes in Theoretical Computer Science May 2002 51:127-138
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Andries, Marc, Engels, Gregor, Habel, Annegret, Hoffmann, Berthold, Kreowski, Hans-Jörg, Kuske, Sabine, Plump, Detlef, Schürr, Andy, Taentzer, Gabriele
Publikováno v:
In Science of Computer Programming 1999 34(1):1-54
Autor:
Peuser, Christoph, Habel, Annegret
This paper continues the work on M,N-adhesive categories and shows some important composition properties for these categories. We present a new concept of attributed graphs and show that the corresponding category is M,N-adhesive. As a consequence, w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4132c8e34dc111991f8e4733be5adcb4
Dieser Beitrag ist mit Zustimmung des Rechteinhabers aufgrund einer (DFG geförderten) Allianz- bzw. Nationallizenz frei zugänglich.
This publication is with permission of the rights owner freely accessible due to an Alliance licence and a nati
This publication is with permission of the rights owner freely accessible due to an Alliance licence and a nati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::307a5f28e49a08e018d39f72add3f9d5
Electronic Communications of the EASST, Volume 61: Graph Computation Models 2012
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2b56dfb3bc47cc1b396cf250845a2fa9
Graph transformation systems have been studied extensively and applied to several areas of computer science like formal language theory, the modeling of databases, concurrent or distributed systems, and visual, logical, and functional programming. In
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______266::d1a7e16712753b9f386aed0148f19eef
https://publishup.uni-potsdam.de/frontdoor/index/index/docId/36300
https://publishup.uni-potsdam.de/frontdoor/index/index/docId/36300