Correctness, completeness and termination of pattern-based model-to-model transformation long version von Orejas, Fernando

Volltext öffnen

Relevance, integration and classification of specification formalisms and formal specification techniques von Ehrig, Hartmut 1944-2016, Orejas, Fernando, Padberg, Julia

Dynamic abstract data types based on algebraic graph transformations von Ehrig, Hartmut 1944-2016, Löwe, Michael, Orejas, Fernando

New concepts for amalgamation and extension in the framework of specification logics von Ehrig, Hartmut 1944-2016, Baldamus, Michael, Orejas, Fernando

Inhaltsverzeichnis

Correctness of model synchronization based on triple graph grammars von Hermann, Frank, Ehrig, Hartmut 1944-2016, Orejas, Fernando, Czarnecki, Krzysztof, Diskin, Zinovy, Xiong, Yingfei

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

Correctness, completeness and termination of pattern-based model-to-model transformation von Orejas, Fernando, Guerra, Esther, de Lara, Juan, Ehrig, Hartmut 1944-2016

Volltext öffnen

A generic component concept for integrated data type and process modeling techniques von Ehrig, Hartmut 1944-2016, Orejas, Fernando

A conceptual and formal framework for the integration of data type and process modeling techniques von Ehrig, Hartmut 1944-2016, Orejas, Fernando

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

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 transformation 12th International Conference, ICGT 2019 : held as part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019 : proceedings

Weitere Verfasser: Volltext öffnen

TAPSOFT '89 Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989 : Volume 1: Advanced Seminar on Fou...

Weitere Verfasser: 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