Juan de Lara
Juan de Lara
Professor, Computer Science Department, Universidad Autónoma de Madrid
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα uam.es - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
AToM3: A Tool for Multi-formalism and Meta-modelling
J de Lara, H Vangheluwe
FASE 2002, 2002
7092002
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
2672002
Model transformation by graph transformation: A comparative study
G Taentzer, K Ehrig, E Guerra, J Lara, L Lengyel, T Levendovszky, ...
234*2005
Deep Meta-modelling with MetaDepth
J De Lara, E Guerra
International conference on modelling techniques and tools for computer …, 2010
2042010
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
1912010
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
1782004
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
1742005
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
1592013
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
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
1222014
Using AToM3 as a Meta-CASE Tool
J De Lara, H Vangheluwe
Proceedings of the 4th International Conference on Enterprise Information …, 2002
119*2002
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
1142004
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
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
1082013
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
902013
Computer aided multi-paradigm modelling to process petri-nets and statecharts
J De Lara, H Vangheluwe
International Conference on Graph Transformation, 239-253, 2002
852002
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
802008
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
Meta-models are models too
H Vangheluwe, J De Lara
Proceedings of the Winter Simulation Conference 1, 597-605, 2002
792002
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20