scientific article; zbMATH DE number 2006493

zbMath1024.68642MaRDI QIDQ4435867

Manuel Koch, Francesco Parisi-Presicce, Paolo Bottoni, Gabriele Taentzer

Publication date: 20 November 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2185/21850257.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Related Items (6)

A formal approach to the specification and transformation of constraints in MDE ⋮ Towards a Systematic Method for Proving Termination of Graph Transformation Systems ⋮ Adding Graph Transformation Concepts to UML's Constraint Language OCL ⋮ GETGRATS ⋮ Consistent integration of models based on views of meta models ⋮ GRACE as a unifying approach to graph-transformation-based specification1 1This work was partially supported by the ESPRIT Working Group Applications of Graph Transformation (APPLIGRAPH) and the EC TMR Network GETGRATS (General Theory of Graph Transformation Systems).

This page was built for publication: