Elena Planas
TitleCited byYear
Verifying action semantics specifications in UML behavioral models
E Planas, J Cabot, C Gómez
International Conference on Advanced Information Systems Engineering, 125-140, 2009
302009
Two Basic Correctness Properties for ATL Transformations: Executability and Coverage.
E Planas, J Cabot, C Gómez
MtATL@ TOOLS, 1-9, 2011
182011
Lightweight verification of executable models
E Planas, J Cabot, C Gómez
International Conference on Conceptual Modeling, 467-475, 2011
142011
Designing game-like activities to engage adult learners in higher education
A Mora, E Planas, J Arnedo-Moreno
Proceedings of the Fourth International Conference on Technological …, 2016
112016
Opinion mining on educational resources at the open university of Catalonia
I Guitart, J Conesa, L Villarejo, À Lapedriza, D Masip, A Pérez, E Planas
2013 Seventh International Conference on Complex, Intelligent, and Software …, 2013
92013
The DBLP case study
E Planas, A Olive
92006
Lightweight and static verification of UML executable models
E Planas, J Cabot, C Gómez
Computer Languages, Systems & Structures 46, 66-90, 2016
72016
Analysis of feature models using alloy: a survey
A Sree-Kumar, E Planas, R Clarisó
arXiv preprint arXiv:1604.00349, 2016
72016
Alf-Verifier: an eclipse plugin for verifying Alf/UML executable models
E Planas, D Sanchez-Mendoza, J Cabot, C Gómez
International Conference on Conceptual Modeling, 378-382, 2012
62012
Reverse Engineering of OO constructs in Object-Relational Database Schemas
J Cabot, C Gómez, E Planas, ME Rodríguez
Jornadas de IngenierÃa del Software y Bases de Datos 20 (49), 134, 2008
62008
Lightweight executability analysis of graph transformation rules
E Planas, J Cabot, C Gomez, E Guerra, J De Lara
2010 IEEE Symposium on Visual Languages and Human-Centric Computing, 127-130, 2010
32010
A framework for verifying uml behavioral models
E Planas
CAiSE Doctoral Consortium, 2009
32009
Verifying action semantics specifications in UML behavioral models (Extended version)
E Planas, J Cabot, C Gómez Seoane
22009
PeLP: Plataforma para el Aprendizaje de Lenguajes de Programación
X Baró, D Masip, E Planas, J Minguillón
Jornadas de Enseñanza Universitaria de la Informática (19es: 2013: Castelló …, 2013
12013
Verificación de la ejecutabilidad de operaciones definidas con Action Semantics
E Planas, J Cabot, C Gómez
Actas de los Talleres de las Jornadas de Ingeniería del Software y Bases de …, 2008
12008
How are UML class diagrams built in practice? A usability study of two UML tools: Magicdraw and Papyrus
E Planas, J Cabot
Computer Standards & Interfaces 67, 103363, 2020
2020
Extracting software product line feature models from natural language specifications
A Sree-Kumar, E Planas, R Clarisó
Proceeedings of the 22nd International Conference on Systems and Software …, 2018
2018
Model-Driven Analytics for Open Data APIs
E Planas, D Baneres
International Conference on Web Engineering, 176-182, 2018
2018
Potenciando el compromiso social de la universidad mediante las TIC
M Serra, E Planas, D Baneres, A Ornellas
Actas de las xxi Jornadas sobre la Enseñanza Univerrsitaria de la …, 2015
2015
Lightweight and Static Verification of UML Executable Models
R Clariso, A Olive, V Pelechano, E Planas, R Raventos, M Wimmer
2013
The system can't perform the operation now. Try again later.
Articles 1–20