Zum Inhalt springen

Lambers, Leen [Herausgeber:in]; Uchitel, Sebastián [Herausgeber:in]

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 2023, Paris, France, April 22–27, 2023, Proceedings - [1st ed. 2023.]

Online ansehen
Schließen

Zugang

... zum E-Book via DOI (frei zugänglich)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cham: Springer Nature Switzerland, 2023. ; Cham: Imprint: Springer, 2023.

Erschienen in: Lecture Notes in Computer Science ; 13991
Lambers, Leen [Herausgeber:in]; Uchitel, Sebastián [Herausgeber:in]

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 2023, Paris, France, April 22–27, 2023, Proceedings

Online ansehen
Schließen

Zugang

... zum E-Book (frei zugänglich)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cham: Springer Nature, 2023

Erschienen in: Lecture Notes in Computer Science
Lambers, Leen [Herausgeber:in]; Uchitel, Sebastián [Herausgeber:in]

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 2023, Paris, France, April 22–27, 2023, Proceedings

Online ansehen
Schließen

Zugang

... zum E-Book (PDF Dokument ; frei zugänglich)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cham: Springer Nature, 2023

Erschienen in: Lecture Notes in Computer Science ; 13991
Lambers, Leen [Herausgeber:in]; Weber, Jens [Herausgeber:in]

Graph Transformation : 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

Online ansehen
Schließen

Zugang

... zum E-Book via DOI (Volltext)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cham: Springer, 2018

Erschienen in: Lecture notes in computer science ; 1088700
Ehrig, Hartmut [Verfasser:in]; Habel, Annegret [Verfasser:in]; Lambers, Leen [Verfasser:in]

Parallelism and concurrency theorems for rules with nested application conditions

Online ansehen
Schließen

Zugang

... zum Aufsatz via DOI (frei zugänglich)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

2010

Erschienen in: Electronic communications of the EASST ; 26(2010), Seite 1-23
Schneider, Sven [Verfasser:in]; Lambers, Leen [Verfasser:in]; Orejas, Fernando [Verfasser:in]

A logic-based incremental approach to graph repair ; Ein logikbasierter inkrementeller Ansatz für Graphreparatur

Online ansehen
Schließen

Links

... zum E-Book

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

University of Potsdam: publish.UP, 2020-01-23
Dyck, Johannes [Verfasser:in]; Giese, Holger [Verfasser:in]; Lambers, Leen [Verfasser:in]

Automatic verification of behavior preservation at the transformation level for relational model transformation

Online ansehen
Schließen

Links

... zum E-Book

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

University of Potsdam: publish.UP, 2017
Schneider, Sven [Verfasser:in]; Lambers, Leen [Verfasser:in]; Orejas, Fernando [Verfasser:in]

Symbolic model generation for graph properties

Online ansehen
Schließen

Links

... zum E-Book

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

University of Potsdam: publish.UP, 2017
Giese, Holger [Verfasser:in]; Hildebrandt, Stephan [Verfasser:in]; Lambers, Leen [Verfasser:in]

Toward bridging the gap between formal semantics and implementation of triple graph grammars

Online ansehen
Schließen

Links

... zum E-Book

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

University of Potsdam: publish.UP, 2010-08-26
Ehrig, Hartmut [Verfasser:in]; Golas, Ulrike [Verfasser:in]; Habel, Annegret [Verfasser:in]; Lambers, Leen [Verfasser:in]; Orejas, Fernando [Verfasser:in]

M-adhesive transformation systems with nested application conditions

Online ansehen
Schließen

Links

... zum Aufsatz

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

University of Potsdam: publish.UP, 2020-02-11
Beyhl, Thomas [Verfasser:in]; Blouin, Dominique [Verfasser:in]; Giese, Holger [Verfasser:in]; Lambers, Leen [Verfasser:in]

On the operationalization of graph queries with generalized discrimination networks

Online ansehen
Schließen

Links

... zum E-Book

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

University of Potsdam: publish.UP, 2016
Lambers, Leen [Verfasser:in]

Certifying rule-based models using graph transformation

Online ansehen
Schließen

Zugang

... zum E-Book via Resolving-System

... zum E-Book via Deutsche Nationalbibliothek

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Lambers, Leen

A New Version of GTXL : An Exchange Format for Graph Transformation Systems

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2005

Erschienen in: Electronic Notes in Theoretical Computer Science, 127 (2005) 1, Seite 51-63
Schneider, Sven; Lambers, Leen

Graph Transformation: Evaluation Diversity for Graph Conditions

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2021

Erschienen in: Graph Transformation (2021), Seite 122-141
Lambers, Leen; Orejas, Fernando

Graph Transformation: Initial Conflicts for Transformation Rules with Nested Application Conditions

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2020

Erschienen in: Graph Transformation (2020), Seite 109-127
Lambers, Leen; Orejas, Fernando

Graph Transformation: Tableau-Based Reasoning for Graph Properties

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2014

Erschienen in: Graph Transformation (2014), Seite 17-32
Orejas, Fernando; Lambers, Leen

Lazy Graph Transformation

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

IOS Press, 2012

Erschienen in: Fundamenta Informaticae, 118 (2012) 1-2, Seite 65-96
Giese, Holger; Lambers, Leen

Lecture Notes in Computer Science: Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2012

Erschienen in: Lecture Notes in Computer Science (2012), Seite 249-263
Orejas, Fernando; Lambers, Leen

Lecture Notes in Computer Science: Delaying Constraint Solving in Symbolic Graph Transformation

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2010

Erschienen in: Lecture Notes in Computer Science (2010), Seite 43-58
Taentzer, Gabriele; Kosiol, Jens; Lambers, Leen

Application and Theory of Petri Nets and Concurrency: On the Application of Model-Driven Optimization to Business Processes

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Nature Switzerland, 2024

Erschienen in: Application and Theory of Petri Nets and Concurrency (2024), Seite 24-35

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr