Fundamental Approaches to Software Engineering

DOI10.1007/b107062zbMath1119.68365OpenAlexW2479217507MaRDI QIDQ5316444

Arend Rensink, Gabriele Taentzer

Publication date: 13 September 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b107062

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Grammars and rewriting systems (68Q42)

Related Items

Structural and behavioural compatibility of graphical service specifications ⋮ Attributed graph transformation with node type inheritance ⋮ A generic construction for crossovers of graph-like structures and its realization in the Eclipse Modeling Framework ⋮ A formal approach to the specification and transformation of constraints in MDE ⋮ Unnamed Item ⋮ Towards the flexible reuse of model transformations: a formal approach based on graph transformation ⋮ Graph Transformation Semantics for a QVT Language ⋮ Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars ⋮ Automating the transformation-based analysis of visual languages ⋮ A formalisation of the copy-modify-merge approach to version control in MDE ⋮ The Edge of Graph Transformation — Graphs for Behavioural Specification ⋮ Graph transformations for object-oriented refinement

Uses Software

• VPM

This page was built for publication: Fundamental Approaches to Software Engineering