Artur Boronat

0 Seguidores

emf mde yamtl model-driven engineering performance very large model model transformation atl lowcomote scalable transformation agile synchronization ddd domain model modeling incremental execution java yet another model transformation language vlm formal methods system specification icmt type theory ocl model subtyping staf17 icmt17 boronat sos maude

Ver mais

Atividades
Sobre

Experimentation with a Big-Step Semantics for ATL Model Transformations

Há 6 anos • 382 Visualizações

Structural Model Subtyping with OCL Constraints

Há 6 anos • 337 Visualizações

A Formal Framework for Prototyping Executable Semantics in ATL

Há 5 anos • 335 Visualizações

Expressive and Efficient Model Transformation with an Internal DSL of Xtend

Há 5 anos • 3653 Visualizações

Offline Delta-Driven Model Transformation with Dependency Injection

Há 4 anos • 220 Visualizações

Code-First Model-Driven Engineering:On the Agile Adoption of MDE

Há 4 anos • 172 Visualizações

Managing model-to-model transformations at scale with YAMTL (lowcomote)

Há 3 anos • 132 Visualizações

emf mde yamtl model-driven engineering performance very large model model transformation atl lowcomote scalable transformation agile synchronization ddd domain model modeling incremental execution java yet another model transformation language vlm formal methods system specification icmt type theory ocl model subtyping staf17 icmt17 boronat sos maude

Ver mais