CONTACT

Teaching‎ > ‎Master thesis‎ > ‎

Students

  • Comparative empirical study on development tools for mobile devices. David González Piñeiro, Computer Engineering. A Coruña, January 23rd, 2014.
  • Automatic verification of web applications using property-based testing. Javier Gayoso Paz, Computer Engineering. A Coruña, September 26th, 2013.
  • Low-cost dashboard for developers (Dashboard as a Service). Joaquín Martínez Diz (co-sup. Iago Elizechea), Computer Engineering. A Coruña, September 26th, 2013.
  • Library to verify the accessibility of graphical interfaces using property-based testing. Antía Puentes Felpeto, Computer Engineering. A Coruña, September 26th, 2013.
  • Development of a software solution improvement for textile business systems. Diego Fernández Perdomo (co-sup. Henrique Ferreiro), Technical Engineering in Computer Management. A Coruña, September 23rd, 2013.
  • Analysis, design, and implementation of a spatialized audio system for synthetic video platforms. Juan Font Alonso (co-sup. Javier Taibo), Computer Engineering. A Coruña, September 26th, 2012.
  • iOS-based mobile application for HENSON-series home optical network systems. Javier Rodríguez Valiñas, Computer Engineering. A Coruña, September 26th, 2012.
  • Design and development of an open-source interoperability module for LibrePlan. Alba Carro Pérez, Master in Software Engineering. A Coruña, September 21th, 2012.
  • Analysis, design and implementation of an interactive TV application for access to social networks for the Synthetrick platform. David Duque Fuertes, Computer Engineering. A Coruña, July 10th, 2012.
  • Implementation of agile practices of development and software quality improvement: a case study. Iván Gómez Rodríguez (co-sup. José Luis Díez Gil), Computer Engineering. A Coruña, July 10th, 2012.
  • Testing a distributed Wiki web application with Quickcheck. Ramón Lastres Guerrero (co-sup. Thomas Arts), Computer Engineering. A Coruña, July 10th, 2012.
  • Building QuickCheck test models from standard API definitions in IDL. Adrián Campos Torrado, Computer Engineering. A Coruña, January 30th, 2012.
  • Study, analysis, and comparative of property-based automatic testing tools for the Erlang language. Alba Carro Pérez, Technical Engineering in Computer Systems. A Coruña, September 20th, 2011.
  • Verification tool for graphical user interfaces, using property-based testing. David Iglesias Fraga, Computer Engineering. A Coruña, July 6th, 2011.
  • Design and implementation of an Erlang/OTP native driver for SQLite DBMS. Diego Sobradelo Sineiro, Computer Engineering. A Coruña, July 6th, 2011.
  • Data re-engineering in Risk Management using Distributed Functional Technology. Miguel Andrade Vázquez, Computer Engineering. A Coruña, July 20th, 2010.