scientific article; zbMATH DE number 2006493

MaRDI QIDQ4435867zbMATH OpenFDO

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

Publication date 20 November 2003

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

Mathematics Subject Classification ID

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

Cited in

(6)

• A formal approach to the specification and transformation of constraints in MDE
• 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).
• Adding graph transformation concepts to UML's constraint language OCL
• GETGRATS: a summary of scientific results (with annotated bibliography)
• Towards a systematic method for proving termination of graph transformation systems
• Consistent integration of models based on views of meta models

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4435867)