Search Sciweavers | Sciweavers

2608 search results - page 20 / 522

» Subjects, Models, Languages, Transformations

114

click to vote

DATESO
2009

269views Database» more DATESO 2009»

The BPM to UML activity diagram transformation using XSLT

14 years 9 months ago

Download www.ksi.mff.cuni.cz

The Business Process Model represented as a diagram in Business Process Modeling Notation (BPMN) is a commonly used way how to describe business processes of an organization. Probl...

Ondrej Macek, Karel Richta

posted by macekond

Read More »

click to vote

SCAM
2008
IEEE

76views Software Engineering» more SCAM 2008»

Using Program Transformations to Add Structure to a Legacy Data Model

15 years 6 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 »

135

click to vote

JAR
2008

124views more JAR 2008»

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

14 years 11 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

15 years 6 months ago

Download home.mit.bme.hu

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

claim paper

Read More »