Planas Hortal, Elena

Publicacions (17)
  • Planas, E., Bañeres, D. (2018). "Model-driven analytics for open data APIs". Lecture Notes in Computer Science. Pàg. 176-182. ISSN.0302-9743. DOI: 10.1007/978-3-030-03056-8_15.
  • Sree-Kumar, A., Planas, E., Clarisó, R. (2018). Extracting Software Product Line Feature Models from Natural Language Specifications. A: Benavides, D., Berger, T., Borba, P., Botterweck, G., Elsner, C., Kehrer, T., Männistö, T., Mukelabai, M., Nadi, S., Rabiser, R. SPLC '18. Proceedings of the 22nd International Systems and Software Product Line Conference. Volume 1. ACM Press. Pàg. 43-53. ISBN. 978-1-4503-6464-5
  • Mora, A., Planas, E., Arnedo, J. (2016). Designing game-like activities to engage adult learners in higher education. A: García, F. ACM International Conference Proceeding Series. 4th International Conference on Technological Ecosystems for Enhancing Multiculturality, TEEM 2016. ACM Press . Pàg. 755-762. ISBN. 978-1-4503-4747-1
  • Planas, E., Cabot, J., Gómez, C. (2016). "Lightweight and Static Verification of UML Executable Models". Computer Languages, Systems and Structures. Pàg. 66-90. ISSN.1477-8424. DOI: 10.1016/j.cl.2016.07.002.Accés al text complet de la publicació.
  • Sree-Kumar, A., Planas, E., Clarisó, R. (2016). Analysis of Feature Models Using Alloy: A Survey. A: Rubin, J., Thüm, T. Proceedings 7th International Workhsop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2016). Electronic Proceedings in Theoretical Computer Science (EPTCS). Pàg. 46-60.
  • Serra, M., Planas, E., Bañeres, D., Ornellas, A. (2015). Potenciando el compromiso social de la universidad mediante las TIC. A: Canaleta, X., Climent, A., Vicent, L. Actas de las XXI Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI). La Salle. Pàg. 354-359. ISBN. 978-99920-70-10-9
  • Guitart, I., Conesa, J., Villarejo, L., Lapedriza, À., Masip, D., Pérez, A., Planas, E. (2013). Opinion Mining on Educational Resources at the Open University of Catalonia. A: Barolli, L., Chen, H., Hussain, F., Skarmeta, A., Xhafa, F. Seventh International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS).. Shi An, Xina: IEEE Computer Society. Pàg. 385-390. ISBN. 978-0-7695-4992-7
  • Planas, E., Sànchez, D., Cabot, J., Gómez, C. (2012). "Alf-verifier: An eclipse plugin for verifying alf/UML executable models". Lecture Notes in Computer Science. Pàg. 378-382. ISSN.0302-9743. DOI: 10.1007/978-3-642-33999-8_44.
  • Caballé, S., Planas, E. (2012). Enginyeria de Requisits. BARCELONA: Editorial UOC . ISBN. B-19.357-2012
  • Planas, E., Cabot, J., Gómez, C. (2011). "Lightweight Verification of Executable Models". Lecture Notes in Computer Science. Pàg. 467-475. ISSN.0302-9743. DOI: 10.1007/978-3-642-24606-7_37.
  • Planas, E., Cabot, J., Gómez, C. (2011). Two basic correctness properties for ATL transformations: Executability and coverage. A: Kurtev, I., Tisi, M., Wagelaar, D. Workshop on Model Transformation with ATL (MtATL-2011). CEUR Workshops Proceedings. Pàg. 1-9. ISBN. 1613-0073
  • Planas, E., Cabot, J., Gómez, C., Guerra, E., de Lara, J. (2010). Lightweight Executability Analysis of Graph Transformation Rules. A: Díaz, P., Hundhausen, C., Pietriga, E., Rosson, M. Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing (2010). IEEE Computer Society. Pàg. 127-130. ISBN. 978-1-4244-8485-0
  • Planas, E. (2009). "A Framework for verifying UML behavioral models". CEUR Workshop Proceedings. ISSN.1613-0073.
  • Planas, E., Cabot, J., Gómez, C. (2009). Verifying Action Specifications in UML Behavioral Models. A: Gordijn, J., van Eck, P., Wieringa, R. Proceedings of International Conference on Advanced Information Systems (CAiSE 2009). Springer . Pàg. 125-140. ISBN. 0302-9743
  • Planas, E., Cabot, J., Gómez, C. (2009). "Verifying action semantics specifications in UML behavioral models". Lecture Notes in Computer Science. Pàg. 125-140. ISSN.0302-9743. DOI: 10.1007/978-3-642-02144-2_14.
  • Planas, E., Cabot, J., Gómez, C. (2008). Verificación de la ejecutabilidad de operaciones definidas con Action Semantics . A: , . Actas de los Talleres de las Jornadas de Ingeniería del Software y Bases de Datos - Desarrollo de Software Dirigido por Modelos (DSDM 2008). GIJON: DSDM'2008 V Taller sobre Desarrollo de Software Dirigido por Modelos . Pàg. 62-71.
  • Cabot, J., Gómez, C., Planas, E., Rodríguez, M. (2008). Reverse Engineering of OO constructs in Object-Relational Database Schemas. A: de la Riva, C., Moreira, A., Suárez-Cabal, M., Tuya, J. Actas de las XIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2008). GIJON: JISBD . Pàg. 241-252. ISBN. 978-84-612-5820-8