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

Toward bridging the gap between formal semantics and implementation of triple graph grammars von Giese, Holger 1970-, Hildebrandt, Stefan 1936-2015, Lambers, Leen

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

Behavior preservation in model refactoring using DPO transformations with borrowed contexts von Rangel, Guilherme, Lambers, Leen, König, Barbara, Ehrig, Hartmut 1944-2016, Bladan, Paolo

Volltext öffnen

Certifying rule based models using graph transformation von Lambers, Leen

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

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

Volltext öffnen

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

Volltext öffnen

Adhesive high-level replacement systems with negative application conditions von Lambers, Leen

Volltext öffnen

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

Graph transformation 11th International Conference, ICGT 2018 : held as part of STAF 2018, Toulouse, France, June 25–26, 2018 : proceedings

Weitere Verfasser: “… Lambers, Leen …”

Volltext öffnen Volltext öffnen

Fundamental approaches to software engineering 26th International Conference, FASE 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Weitere Verfasser: “… Lambers, Leen …”
Volltext öffnen

Graph transformation 11th international conference, ICGT 2018, held as a part of STAF 2018, Toulouse, France, June 25-26, 2018 : proceedings

Weitere Verfasser: “… Lambers, Leen …”

Fundamental approaches to software engineering 26th international conference, FASE 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 20...

Weitere Verfasser: “… Lambers, Leen …”