Elena Planas
Título
Citado por
Citado por
Año
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
172011
Lightweight verification of executable models
E Planas, J Cabot, C Gómez
International Conference on Conceptual Modeling, 467-475, 2011
152011
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
142016
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
102013
Lightweight and static verification of UML executable models
E Planas, J Cabot, C Gómez
Computer Languages, Systems & Structures 46, 66-90, 2016
92016
Analysis of feature models using alloy: a survey
A Sree-Kumar, E Planas, R Clarisó
arXiv preprint arXiv:1604.00349, 2016
92016
The DBLP case study
E Planas, A Olive
92006
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
72008
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
Extracting software product line feature models from natural language specifications
A Sree-Kumar, E Planas, R Clarisó
Proceedings of the 22nd International Systems and Software Product Line …, 2018
52018
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
Proceedings of CAISE-D. Amsterdam, Netherlands. Retrieved from http://ceur …, 2009
32009
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
22020
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
¿ Realmente la programación puede ser para todos? Análisis de la experiencia dentro de un MOOC
D Bañeres, C Casado, A Ornellas, E Planas, J Prieto, M Serra
Actas de las Jornadas sobre Enseñanza Universitaria de la Informática 3, 263–270, 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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20