Search Results - "Le Calvar, Théo"

Coupling solvers with model transformations to generate explorable model sets by Le Calvar, Théo, Chhel, Fabien, Jouault, Frédéric, Saubion, Frédéric

“…Model transformation is an effective technique to produce target models from source models. Most transformation approaches focus on generating a single target…”
Get full text

A cross-technology benchmark for incremental graph queries by Hinkel, Georg, Garcia-Dominguez, Antonio, Schöne, René, Boronat, Artur, Tisi, Massimo, Le Calvar, Théo, Jouault, Frederic, Marton, József, Nyíri, Tamás, Antal, János Benjamin, Elekes, Márton, Szárnyas, Gábor

“…To cope with the increased complexity of systems, models are used to capture what is considered the essence of a system. Such models are typically represented…”
Get full text

AnimUML: A practical tool for partial model animation and analysis by Jouault, Frédéric, Besnard, Valentin, Brun, Matthias, Le Calvar, Théo, Chhel, Fabien, Clavreul, Mickaël, Delatour, Jérome, Méré, Maxime, Pasquier, Matthias, Teodorov, Ciprian

Get full text

Intensional View Definition with Constrained Incremental Transformation Rules by Le Calvar, Theo, Jouault, Frederic, Chhel, Fabien, Saubion, Frederic, Clavreul, Mickael

“…Models of real-world systems can be extremely complex. In order to make such models amenable to engineering processes, multiple simpler views are typically…”
Get full text

AnimUML as a UML Modeling and Verification Teaching Tool by Jouault, Frederic, Sebille, Valentin, Besnard, Valentin, Calvar, Theo Le, Teodorov, Ciprian, Brun, Matthias, Delatour, Jerome

“…Practice with feedback is essential to most learning activities. Although invaluable, an instructor's availability to give feedback is necessarily…”
Get full text