Graph and Model Transformation General Framework and Applications von Ehrig, Hartmut 1944-2016, Ermel, Claudia, Golas, Ulrike 1980-, Hermann, Frank

Volltext öffnen Volltext öffnen

Graph and model transformation general framework and applications von Ehrig, Hartmut 1944-2016, Ermel, Claudia, Golas, Ulrike 1980-, Hermann, Frank 1976-

Volltext öffnen

Multi-amalgamation in M-adhesive categories von Golas, Ulrike 1980-

Volltext öffnen

Analysis and correctness of algebraic graph and model transformations von Golas, Ulrike 1980-

Volltext öffnen

Local confluence for rules with nested application conditions based on a new critical pair notion von Lambers, Leen, Ehrig, Hartmut 1944-2016, Habel, Annegret, Orejas, Fernando, Golas, Ulrike 1980-

Volltext öffnen

Efficient analysis and execution of correct and complete model transformations based on triple graph grammars von Hermann, Frank, Ehrig, Hartmut 1944-2016, Golas, Ulrike 1980-, Orejas, Fernando

Volltext öffnen

Low- and high-level petri nets with individual tokens von Modica, Tony, Gabriel, Karsten, Ehrig, Hartmut, Hoffmann, Kathrin, Shareef, Sarkaft, Ermel, Claudia, Golas, Ulrike 1980-, Hermann, Frank, Biermann, Enrico

Volltext öffnen

Low- and high-level petri nets with individual tokens von Modica, Tony, Gabriel, Karsten, Ehrig, Hartmut, Hoffmann, Kathrin, Shareef, Sarkaft, Ermel, Claudia, Golas, Ulrike 1980-, Hermann, Frank, Biermann, Enrico

Volltext öffnen

Analysis and correctness of algebraic graph and model tansformations von Golas, Ulrike 1980-

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