A formal resolution strategy for operation-based conflicts in model versioning using graph modifications von Ehrig, Hartmut 1944-2016, Ermel, Claudia, Taentzer, Gabriele 1963-

Volltext öffnen

Object flow definition for refined activity diagrams von Jurack, Stefan, Lambers, Leen, Mehner-Heindl, Katharina 1970-, Taentzer, Gabriele 1963-, Wierse, Gerd

Volltext öffnen

Fundamental theory for typed attributed graph transformation long version von Ehrig, Hartmut 1944-2016, Taentzer, Gabriele 1963-, Prange, Ulrike

Visual OCL eine visuelle Notation der object constraint language von Kiesner, Christiane, Taentzer, Gabriele 1963-, Winkelmann, Jessica

Computing by graph transformation a survey and annotated bibliography von Ehrig, Hartmut 1944-2016, Taentzer, Gabriele 1963-

Inhaltsverzeichnis

Fokusthemen und Aufgabenbereiche für eine Forschungsdateninfrastruktur zu materiellen und immateriellen Kulturgütern living document der NFDI-Initiative NFDI4Culture von Altenhöner, Reinhard 1963-, Bicher, Katrin 1977-, Bracht, Christian 1964-, Brand, Ortrun 1978-, Blümel, Ina, Bulle, Klaus, Effinger, Maria 1966-, Hammes, Andrea 1986-, Hartmann, Thomas, Kailus, Angela, Kett, Jürgen 1977-, Pittroff, Sarah, Röwenstrunk, Daniel, Schelbert, Georg 1966-, Schmidt, Dörte 1964-, Schrade, Torsten 1977-, Simon, Holger, Taentzer, Gabriele 1963-, Veit, Joachim 1956-, Voß, Franziska, Walzel, Annika-Valeska 1978-, Wiermann, Barbara 1970-

Volltext öffnen

Sufficient criteria for applicability and non-applicability of rule sequences von Lambers, Leen, Ehrig, Hartmut 1944-2016, Taentzer, Gabriele 1963-

Volltext öffnen

Simulating algebraic high level nets by parallel attributed graph transformation long version von Ermel, Claudia, Taentzer, Gabriele 1963-, Bardohl, Roswitha

Visual modelling and validation of distributed systems von Taentzer, Gabriele 1963-

Embedding of derivations in high-level replacement systems von Padberg, Julia, Taentzer, Gabriele 1963-

Modeling with plausibility checking: inspecting favorable and critical signs for consistency between control flow and functional behavior von Ermel, Claudia, Gall, Jürgen, Lambers, Leen, Taentzer, Gabriele 1963-

Volltext öffnen

Conflict detection for model versioning based on graph modifications von Taentzer, Gabriele 1963-, Ermel, Claudia, Langer, Philip, Wimmer, Manuel

Volltext öffnen

Sufficient criteria for applicability and non-applicability of rule sequences von Lambers, Leen, Ehrig, Hartmut 1944-2016, Taentzer, Gabriele 1963-

Volltext öffnen

Sufficient criteria for consistent behavior modeling with refined acticvity diagrams von Lambers, Leen, Jurack, Stefan, Mehner-Heindl, Katharina 1970-, Runge, Olga, Taentzer, Gabriele 1963-

Volltext öffnen

Parallel and distributed graph transformation formal description and application to communication based systems von Taentzer, Gabriele 1963-

Parallel high-level replacement systems von Taentzer, Gabriele 1963-

Graph transformation, specifications, and nets in memory of Hartmut Ehrig

Weitere Verfasser:
Volltext öffnen Volltext öffnen

Pre-proceedings of the international colloquium on graph and model transformation on the occasion of the 65th birthday of Hartmut Ehrig : (GraMoT 2010) : February 11-12, 2010, TU B...

Weitere Verfasser: Volltext öffnen