Català | Español | English    AAA
Web de l’equip docent i investigador de la Universitat Oberta de Catalunya
 Currículum Vitae
Estudis d'Informàtica, Multimèdia i Telecomunicació
Elena Planas Hortal
eplanasha r r o b auoc.edu
Research Group in Software Engineering:
 
Conceptual Modeling Research Group:
 
PUBLICATIONS IN CONFERENCES

2010

Elena Planas, Jordi Cabot, Cristina Gómez,E. Guerra, J. deLara: Lightweight execuability anaysis of graph transformationrules. Poceedings of IEEE Symposium on Visual Languages and Human-Centric Computin (VL/HCC), 2010.

2009

Elena Planas, Jordi Cabot, Cristina Gómez: Verifying Action Semantics Specifications in UML Behavioral Models. Proceedngso the 21st International Conference on Advanced Information Systems (CAiSE), volume 5565 o LNCS, page 125-140. Springer, 2009.

Santi Caballé, Jordi Cabot, Robert Clarisó, Elena Planas, Daniel Riera: CUCKOO: Una plataforma web para la verificación de modelos. Jornadas de Eneñnza Universitara de la Informátia (JENUI), 2009.

2008

Jordi Cabot, Cristina Gómez, Elena Planas, M.Elena Rodríguez: Reverse Egineering of OO constructs in Object-Relational Database Schemas. XIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD), 241-252 (2008)

Elena Planas, Jordi Cabot, Cristina Gómez: Verificación de la ejecutabilidad de operaciones definidas con Action Semantics. Taller de Desarollo de Software Dirigido por Modelos (DSDM), XIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD) (2008)

TECHNICAL REPORTS

Elena Planas, Jordi Cabot, Cristina Gómez:  Verifying Action Semantics Specifications in UML Behavioral Models (Extended Version). LSI-09-6-R LSI Research Report, Universitat Politècnica de Catalunya (2009)
THESIS

Elena Planas: Verifying consistency between structural and behavioral schemas in UML . Master's Thesis, Universitat Politècnica de Catalunya (2008)