Seguir
Elena Planas
Título
Citado por
Citado por
Año
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
372020
Verifying action semantics specifications in UML behavioral models
E Planas, J Cabot, C Gómez
Advanced Information Systems Engineering: 21st International Conference …, 2009
312009
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
272018
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
272016
Two Basic Correctness Properties for ATL Transformations: Executability and Coverage.
E Planas, J Cabot, C Gómez
MtATL@ TOOLS, 1-9, 2011
202011
Analysis of feature models using alloy: A survey
A Sree-Kumar, E Planas, R Clarisó
arXiv preprint arXiv:1604.00349, 2016
192016
Lightweight verification of executable models
E Planas, J Cabot, C Gómez
Conceptual Modeling–ER 2011: 30th International Conference, ER 2011 …, 2011
182011
Lightweight and static verification of UML executable models
E Planas, J Cabot, C Gómez
Computer Languages, Systems & Structures 46, 66-90, 2016
102016
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
Advances in Conceptual Modeling: ER 2012 Workshops CMS, ECDM-NoCoDA, MoDIC …, 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
Towards a model-driven approach for multiexperience AI-based user interfaces
E Planas, G Daniel, M Brambilla, J Cabot
Software and Systems Modeling 20, 997-1009, 2021
52021
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
42021
A framework for verifying uml behavioral models
E Planas
CAiSE Doctoral Consortium, 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
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20