Juan de Lara
Juan de Lara
Professor, Computer Science Department, Universidad Autónoma de Madrid
Geverifieerd e-mailadres voor uam.es - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
AToM3: A Tool for Multi-formalism and Meta-modelling
J de Lara, H Vangheluwe
FASE 2002, 2002
6952002
An introduction to multi-paradigm modelling and simulation
H Vangheluwe, J De Lara, PJ Mosterman
Proceedings of the AIS’2002 conference (AI, Simulation and Planning in High …, 2002
2612002
Model transformation by graph transformation: A comparative study
G Taentzer, K Ehrig, E Guerra, J Lara, L Lengyel, T Levendovszky, ...
226*2005
Deep meta-modelling with metadepth
J De Lara, E Guerra
International Conference on Modelling Techniques and Tools for Computer …, 2010
1962010
Verification and validation of declarative model-to-model transformations through invariants
J Cabot, R Clarisó, E Guerra, J De Lara
Journal of Systems and Software 83 (2), 283-302, 2010
1772010
Meta-modelling and graph grammars for multi-paradigm modelling in AToM3
J De Lara, H Vangheluwe, M Alfonseca
Software & Systems Modeling 3 (3), 194-209, 2004
1732004
Termination criteria for model transformation
H Ehrig, K Ehrig, J De Lara, G Taentzer, D Varró, S Varró-Gyapay
International Conference on Fundamental Approaches to Software Engineering …, 2005
1692005
A research roadmap towards achieving scalability in model driven engineering
DS Kolovos, LM Rose, N Matragkas, RF Paige, E Guerra, JS Cuadrado, ...
Proceedings of the Workshop on Scalability in Model Driven Engineering, 1-10, 2013
1552013
Attributed graph transformation with node type inheritance
J de Lara, R Bardohl, H Ehrig, K Ehrig, U Prange, G Taentzer
Theoretical Computer Science 376 (3), 139-163, 2007
1362007
Multipactor prediction for on-board spacecraft RF equipment with the MEST software tool
J De Lara, F Pérez, M Alfonseca, L Galán, I Montero, E Román, ...
IEEE Transactions on Plasma Science 34 (2), 476-484, 2006
1302006
Using AToM3 as a Meta-CASE Tool
J De Lara, H Vangheluwe
Proceedings of the 4th International Conference on Enterprise Information …, 2002
118*2002
When and how to use multilevel modelling
JD Lara, E Guerra, JS Cuadrado
ACM Transactions on Software Engineering and Methodology (TOSEM) 24 (2), 1-46, 2014
1162014
Defining visual notations and their manipulation through meta-modelling and graph transformation
J de Lara, H Vangheluwe
Journal of Visual Languages & Computing 15 (3-4), 309-330, 2004
1102004
Integrating meta-modelling aspects with graph transformation for efficient visual language definition and model manipulation
R Bardohl, H Ehrig, J De Lara, G Taentzer
International Conference on Fundamental Approaches to Software Engineering …, 2004
1102004
Automated verification of model transformations based on visual contracts
E Guerra, J de Lara, M Wimmer, G Kappel, A Kusel, W Retschitzegger, ...
Automated Software Engineering 20 (1), 5-46, 2013
1002013
Engineering model transformations with transML
E Guerra, J de Lara, DS Kolovos, RF Paige, OM dos Santos
Software & Systems Modeling 12 (3), 555-577, 2013
892013
Computer aided multi-paradigm modelling to process petri-nets and statecharts
J De Lara, H Vangheluwe
International Conference on Graph Transformation, 239-253, 2002
872002
Bottom-up meta-modelling: An interactive approach
J Sánchez-Cuadrado, J De Lara, E Guerra
International Conference on Model Driven Engineering Languages and Systems, 3-19, 2012
792012
Analyzing rule-based behavioral semantics of visual modeling languages with Maude
JE Rivera, E Guerra, J de Lara, A Vallecillo
International Conference on Software Language Engineering, 54-73, 2008
792008
Meta-models are models too
H Vangheluwe, J De Lara
Proceedings of the Winter Simulation Conference 1, 597-605, 2002
78*2002
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20