scientific article
From MaRDI portal
Publication:3416072
zbMath1106.68055MaRDI QIDQ3416072
Karsten Ehrig, Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer
Publication date: 19 January 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
typed attributed graph transformationadhesive HLR categoriescritical pair lemmalocal confluence of transformations
Related Items (12)
Theorem proving graph grammars with attributes and negative application conditions ⋮ Modeling dynamic reconfigurations in Reo using high-level replacement systems ⋮ Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations ⋮ A graph-based generic type system for object-oriented programs ⋮ Explicit State Model Checking for Graph Grammars ⋮ Symbolic graphs for attributed graph constraints ⋮ Verification of graph grammars using a logical approach ⋮ High-Level Programs and Program Conditions ⋮ The PBPO graph transformation approach ⋮ Variability-based model transformation: formal foundation and application ⋮ The Edge of Graph Transformation — Graphs for Behavioural Specification ⋮ Graph transformations for object-oriented refinement
This page was built for publication:
