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 | 33 | 2009 |
Lightweight verification of executable models E Planas, J Cabot, C Gómez International Conference on Conceptual Modeling, 467-475, 2011 | 19 | 2011 |
Two Basic Correctness Properties for ATL Transformations: Executability and Coverage. E Planas, J Cabot, C Gómez MtATL@ TOOLS, 1-9, 2011 | 19 | 2011 |
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 | 16 | 2016 |
Lightweight and static verification of UML executable models E Planas, J Cabot, C Gómez Computer Languages, Systems & Structures 46, 66-90, 2016 | 10 | 2016 |
Analysis of feature models using alloy: A survey A Sree-Kumar, E Planas, R Clarisó arXiv preprint arXiv:1604.00349, 2016 | 10 | 2016 |
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 | 10 | 2013 |
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 | 9 | 2020 |
The DBLP case study E Planas, A Olive | 9 | 2006 |
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 | 8 | 2018 |
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 | 8 | 2012 |
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 | 7 | 2008 |
Lightweight Executability Analysis of Graph Transformation Rules E Planas, J Cabot, C Gómez, E Guerra, J De Lara 2010 IEEE Symposium on Visual Languages and Human-Centric Computing, 127-130, 2010 | 5 | 2010 |
A Framework for Verifying UML Behavioral Models E Planas CAiSE Doctoral Consortium, 2009 | 5 | 2009 |
Verifying action semantics specifications in UML behavioral models (Extended version) E Planas, J Cabot, C Gómez Seoane | 3 | 2009 |
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 | 2 | 2008 |
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 | 1 | 2013 |
Validating Feature Models With Respect to Textual Product Line Specifications A Sree-Kumar, E Planas, R Clarisó 15th International Working Conference on Variability Modelling of Software …, 2021 | | 2021 |
¿ 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 |