Elena Planas
Titel
Geciteerd door
Geciteerd door
Jaar
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
312009
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
162011
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
122016
Lightweight and static verification of UML executable models
E Planas, J Cabot, C Gómez
Computer Languages, Systems & Structures 46, 66-90, 2016
102016
Analysis of feature models using alloy: a survey
A Sree-Kumar, E Planas, R Clarisó
arXiv preprint arXiv:1604.00349, 2016
92016
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
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
42018
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20