Lecture Notes in Computer Science - Graph Transformations
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642336539, 9783642336546

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A General Attribution Concept for Models in ${\cal M}$ -Adhesive Transformation Systems

Lecture Notes in Computer Science - Graph Transformations ◽

10.1007/978-3-642-33654-6_13 ◽

2012 ◽

pp. 187-202 ◽

Cited By ~ 5

Author(s):

Ulrike Golas

Keyword(s):

Transformation Systems

Download Full-text

Refined Graph Rewriting in Span-Categories

Lecture Notes in Computer Science - Graph Transformations ◽

10.1007/978-3-642-33654-6_8 ◽

2012 ◽

pp. 111-125 ◽

Cited By ~ 6

Author(s):

Michael Löwe

Keyword(s):

Graph Rewriting

Download Full-text

Completeness-Driven Development

Lecture Notes in Computer Science - Graph Transformations ◽

10.1007/978-3-642-33654-6_3 ◽

2012 ◽

pp. 38-50 ◽

Cited By ~ 8

Author(s):

Rolf Drechsler ◽

Melanie Diepenbeck ◽

Daniel Große ◽

Ulrich Kühne ◽

Hoang M. Le ◽

...

Download Full-text

Multi-scale Rule-Based Graph Transformation Using the Programming Language XL

Lecture Notes in Computer Science - Graph Transformations ◽

10.1007/978-3-642-33654-6_29 ◽

2012 ◽

pp. 417-419

Author(s):

Yongzhi Ong

Keyword(s):

Programming Language ◽

Graph Transformation ◽

Rule Based ◽

Multi Scale

Download Full-text

Graph Transformations for Evolving Domain Knowledge

Lecture Notes in Computer Science - Graph Transformations ◽

10.1007/978-3-642-33654-6_23 ◽

2012 ◽

pp. 341-355

Author(s):

Bernhard Westfechtel ◽

Manfred Nagl

Keyword(s):

Domain Knowledge ◽

Graph Transformations

Download Full-text

Evolutionary Togetherness: How to Manage Coupled Evolution in Metamodeling Ecosystems

Lecture Notes in Computer Science - Graph Transformations ◽

10.1007/978-3-642-33654-6_2 ◽

2012 ◽

pp. 20-37 ◽

Cited By ~ 13

Author(s):

Davide Di Ruscio ◽

Ludovico Iovino ◽

Alfonso Pierantonio

Download Full-text

Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking

Lecture Notes in Computer Science - Graph Transformations ◽

10.1007/978-3-642-33654-6_17 ◽

2012 ◽

pp. 249-263 ◽

Cited By ~ 5

Author(s):

Holger Giese ◽

Leen Lambers

Keyword(s):

Model Transformation ◽

Automatic Verification

Download Full-text

$\mathcal M, \mathcal N$ -Adhesive Transformation Systems

Lecture Notes in Computer Science - Graph Transformations ◽

10.1007/978-3-642-33654-6_15 ◽

2012 ◽

pp. 218-233 ◽

Cited By ~ 7

Author(s):

Annegret Habel ◽

Detlef Plump

Keyword(s):

Transformation Systems

Download Full-text

Efficient Model Synchronization with Precedence Triple Graph Grammars

Lecture Notes in Computer Science - Graph Transformations ◽

10.1007/978-3-642-33654-6_27 ◽

2012 ◽

pp. 401-415 ◽

Cited By ~ 19

Author(s):

Marius Lauder ◽

Anthony Anjorin ◽

Gergely Varró ◽

Andy Schürr

Keyword(s):

Graph Grammars ◽

Model Synchronization ◽

Triple Graph Grammars

Download Full-text

Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models

Lecture Notes in Computer Science - Graph Transformations ◽

10.1007/978-3-642-33654-6_4 ◽

2012 ◽

pp. 51-65

Author(s):

Fabio Gadducci ◽

Alberto Lluch Lafuente ◽

Andrea Vandin

Keyword(s):

Infinite State

Download Full-text

Lecture Notes in Computer Science - Graph TransformationsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

A General Attribution Concept for Models in ${\cal M}$ -Adhesive Transformation Systems

Refined Graph Rewriting in Span-Categories

Completeness-Driven Development

Multi-scale Rule-Based Graph Transformation Using the Programming Language XL

Graph Transformations for Evolving Domain Knowledge

Evolutionary Togetherness: How to Manage Coupled Evolution in Metamodeling Ecosystems

Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking

$\mathcal M, \mathcal N$ -Adhesive Transformation Systems

Efficient Model Synchronization with Precedence Triple Graph Grammars

Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models

Lecture Notes in Computer Science - Graph Transformations
Latest Publications