Search Sciweavers | Sciweavers

807 search results - page 15 / 162

» Model Transformation Language MOLA

click to vote

SCAM
2008
IEEE

76views Software Engineering» more SCAM 2008»

Using Program Transformations to Add Structure to a Legacy Data Model

14 years 2 months ago

Download www.dcs.kcl.ac.uk

An appropriate translation of the data model is central to any language migration effort. Finding a mapping between original and target data models may be challenging for legacy l...

Mariano Ceccato, Thomas Roy Dean, Paolo Tonella

claim paper

Read More »

click to vote

WWW
2005
ACM

163views Internet Technology» more WWW 2005»

Building adaptable and reusable XML applications with model transformations

14 years 8 months ago

Download www.www2005.org

We present an approach in which the semantics of an XML language is defined by means of a transformation from an XML document model (an XML schema) to an application specific mode...

Ivan Kurtev, Klaas van den Berg

claim paper

Read More »

click to vote

JAR
2008

124views more JAR 2008»

Formal Verification of a C-like Memory Model and Its Uses for Verifying Program Transformations

13 years 7 months ago

Download cristal.inria.fr

This article presents the formal verification, using the Coq proof assistant, of a memory model for low-level imperative languages such as C and compiler intermediate languages. Be...

Xavier Leroy, Sandrine Blazy

claim paper

Read More »

click to vote

ICMT
2009
Springer

106views Theoretical Computer Science» more ICMT 2009»

Efficient Model Transformations by Combining Pattern Matching Strategies

14 years 2 months ago

Download home.mit.bme.hu

Gábor Bergmann, Ákos Horváth,...

claim paper

Read More »