LIFIA promotes new research topics and original projects that contribute to the development of methods, techniques and products in the area of ICT, and that can be transfer to the local and international industry. LIFIA researchers publish their results in indexed journals and renowned conferences.

LIFIA participates in different national and international projects funded by scientific and technological research agencies. The lab promotes intensive collaboration with researchers from other institutions, and most research articles involve them as co-authors.

Research Activities

Web Engineering

In this area we focus on modeling and design approaches for building web applications in a modular way. Projects in this area include: agile web development, requirements engineering, web adaptation, and usability and accessibility improvement.

Mobile computers and context sensitive

This area faces the challenge of building mobile and context sensitive applications with a model-based approach. The main goal is the development of a modular and extensible architecture for a broad range of applications, from geographic information systems to web services for phisical hypermedia systems.

Formal methods in software development and its impact on TICs

This area is focused on the rigorous use of formal methods during software development, in particular to improve testing and validation activities.

Collaborative environments and knowledge management

This area focuses on the integration of technologies of the Social Semantic Web. Its aim is to improve the quality of knowledge sharing services in software systems that support collaborative and knowledge-intensive activities.


  • Building Location-based Mobile Experiences
  • Client-Side Adaptation on Web Applications
  • Context-Aware Classrooms
  • Crowdsourcing Mobile Applications
  • Detecting conflicts in Web Application requirements
  • From Semantic Web to Social Web
  • Identifying and modelling complex workflow requirements in Web applications
  • Mockup-Driven Development of Web Applications - MockupDD
  • Model Driven Software Development: theory, methodologies and tools
  • Modeling Requirements with WebSpec
  • Modelling Location-based Mobile Learning Applications
  • Recommender systems in the form of web-services
  • Refactoring for usability and accessibility of web applications
  • Repositorios digitales en la web social semántica
  • Self Refactoring
  • Using Domain Knowledge in Requirements Engineering
  • Volatile Functionality