Follow
Elena Planas
Title
Cited by
Cited by
Year
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
542020
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
342018
Verifying action semantics specifications in UML behavioral models
E Planas, J Cabot, C Gómez
Advanced Information Systems Engineering: 21st International Conference …, 2009
312009
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
292016
Towards a model-driven approach for multiexperience AI-based user interfaces
E Planas, G Daniel, M Brambilla, J Cabot
Software and Systems Modeling 20 (4), 997-1009, 2021
202021
Analysis of feature models using Alloy: A survey
A Sree-Kumar, E Planas, R Clarisó
arXiv preprint arXiv:1604.00349, 2016
202016
Two basic correctness properties for ATL transformations: Executability and coverage
E Planas, J Cabot, C Gómez Seoane
CEUR Workshop Proceedings, 2011, 742 (), 2011
202011
Lightweight verification of executable models
E Planas, J Cabot, C Gómez
Conceptual Modeling–ER 2011: 30th International Conference, ER 2011 …, 2011
182011
Validating feature models with respect to textual product line specifications
A Sree-Kumar, E Planas, R Clarisó
Proceedings of the 15th International Working Conference on Variability …, 2021
112021
Lightweight and static verification of UML executable models
E Planas, J Cabot, C Gómez
Computer Languages, Systems & Structures 46, 66-90, 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
102013
The DBLP case study
E Planas, A Olive
92006
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
72012
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
Un caso de incorporación de la perspectiva de género: de la estrategia institucional a la asignatura final
JM Marco-Simó, MA Huertas, MJ Marco-Galindo, E Planas, ...
Actas de las XXVIII Jornadas sobre Enseñanza Universitaria de la Informática …, 2022
42022
A Framework for verifying UML behavioral models
E Planas
CEUR Workshop Proceedings, 2009, 479, 2009
42009
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
32010
An empirical study on the impact of introducing a modeling tool in a Requirement Engineering course
L Burgueño, JLC Izquierdo, E Planas
2021 ACM/IEEE International Conference on Model Driven Engineering Languages …, 2021
22021
PeLP: Plataforma para el aprendizaje de lenguajes de programación
X Baró, D Masip, E Planas, J Minguillón
Asociación de Enseñantes Universitarios de la Informática (AENUI), 2013
22013
Verifying action semantics specifications in UML behavioral models (Extended version)
E Planas, J Cabot, C Gómez Seoane
22009
The system can't perform the operation now. Try again later.
Articles 1–20