Transformation of type graphs with inheritance for ensuring security in e-government networks (long version) von Hermann, Frank, Ehrig, Hartmut 1944-2016, Ermel, Claudia

Volltext öffnen

Concurrent model synchronization with conflict resolution based on triple graph grammars von Hermann, Frank, Ehrig, Hartmut 1944-2016, Ermel, Claudia, Orejas, Fernando

Volltext öffnen

Formal analysis of functional behaviour for model transformations based on triple graph grammars von Hermann, Frank, Ehrig, Hartmut 1944-2016, Orejas, Fernando, Golas, Ulrike 1980-

Volltext öffnen

Finitary M-adhesive categories von Gabriel, Karsten, Braatz, Benjamin, Ehrig, Hartmut 1944-2016, Golas, Ulrike 1980-

Volltext öffnen

Propagation of constraints along model transformatons based on triple graph grammars von Schölzel, Hanna, Ehrig, Hartmut 1944-2016, Hermann, Frank, Brandt, Christoph

Volltext öffnen

Evolution of model transformations by model refactoring: long version von Ehrig, Hartmut 1944-2016, Ehrig, Karsten, Ermel, Claudia

Volltext öffnen

Completeness and correctness of model transformations based on triple graph grammars with negative application conditions von Ehrig, Hartmut 1944-2016, Hermann, Frank, Sartorius, Christoph

Volltext öffnen

Generalized typed attributed graph transformation systems based on morphisms changing type graphs and data signatures von Ehrig, Hartmut 1944-2016, Ehrig, Karsten, Ermel, Claudia, Prange, Ulrike

Volltext öffnen

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

Volltext öffnen

From model transformation to model integration based on the algebraic approach to triple graph grammars von Ehrig, Hartmut 1944-2016, Ehrig, Karsten, Hermann, Frank

Volltext öffnen

On the relationship of model transformations based on triple and plain graph grammars (Long version) von Ehrig, Hartmut 1944-2016, Ermel, Claudia, Hermann, Frank

Volltext öffnen

Efficient conflict detection in graph transformation systems by essential critical pairs von Lambers, Leen, Ehrig, Hartmut 1944-2016, Orejas, Fernando

Correctness of horizontal and vertical composition for implementation concepts based on constructors and abstractors von Ehrig, Hartmut 1944-2016, Kreowski, Hans-Jörg, Orejas, Fernando

Graph grammars an introduction to the double pushout approach von Martini, Alfio, Ehrig, Hartmut 1944-2016, Nunes, Daltro

A decade of TAPSOFT aspects of progress and prospects in theory and practice of software development von Ehrig, Hartmut 1944-2016, Mahr, Bernd

Algebraic high level nets Petri nets revisited von Ehrig, Hartmut 1944-2016, Padberg, Julia, Ribeiro, Leila

FLEX a flexible extension and integration concept for software development in KORSO and COMPASS von Ehrig, Hartmut 1944-2016

Algebraic specification techniques and tools for software development the ACT approach von Claßen, Ingo, Ehrig, Hartmut 1944-2016, Wolz, Dietmar

Inhaltsverzeichnis

Specification techniques for concurrent and distributed systems von Ehrig, Hartmut 1944-2016, Große-Rhode, Martin, Heise, Andreas

Inhaltsverzeichnis

Nonequivalence of categories for equational algebraic specifications in view of high level replacement systems von Ehrig, Hartmut 1944-2016, Parisi-Presicce, Francesco