Proposta de tesi

Investigadors/es

Grup de recerca

Design of e-healthcare systems as a step forward towards their improvement and sustainability

e-Health is an emergent field of research in which many opportunities have been detected and important social benefits can be achieved. It is an interdisciplinary field where carrying out research means making advances simultaneously in different disciplines like health care, technology and business. From a technological point of view there are different barriers to be overcome. There is a need for new information systems adapted to new scenarios and new roles (ie it should be patient centred and healthcare professionals should have technological skills). These systems should be intelligent enough to be able to interact with users (patients and their families) and be used to give suitable solutions to healthcare problems taking into account the different socio-economic realities. Furthermore, a huge amount of critical and confidential data is generated, thereby opening up new opportunities for improving both the systems themselves and their use.

This line of research proposes to explore this matter in depth, trying to construct a data model for these kinds of systems, and to identify the core system’s services as well as the new requirements. The proposed data models may help to build user-friendly systems, a key aspect for predicting future needs and trends in this field. Summing up, the main goal is the long-term sustainability of e-healthcare systems.

Dra. Àngels Rius  

Proposta de tesi

Investigadors/es

Grup de recerca

Reuse-based software engineering methodologies for developing complex collaborative learning systems

e-Learning and in particular computer-supported collaborative learning (CSCL) needs are evolving in line with increasingly demanding pedagogical and technological requirements. As a result, current collaborative learning practices must be continuously adapted, adjusted, and personalized to each specific target learning group and pedagogical model. These very demanding needs of the CSCL domain have become very attractive for domain software developers and represent a great challenge for the software development research community.

This line of research proposes to conduct research on advanced reuse-based software engineering methodologies and architecture solutions for developing complex CSCL applications. One key aspect will be to reuse the large number of common requirements shared by CSCL applications. The aim is to yield effective and timely CSCL software systems capable of supporting and enhancing current online collaborative learning practices.

Dr. Santi Caballé

 

SMARTLEARN

 

Propostes de tesi

Investigadors/es

Grup de recerca

Model-driven development

Model-driven development is a software development approach that attempts to reduce development costs by focusing on producing software models (usually specified by UML) rather than code, and relying on tools to automatically generate the final implementation from these models.

This line of research will investigate techniques and tools to support model-driven software development processes (model transformations, executable models, domain specific languages). The focus of this work will be on developer productivity improvements and the quality of the final software product.

Dra. Elena Planas

Dr. Robert Clarisó

Dr. Jordi Cabot

 

SOM Research Lab

 

Proposta de tesi

Investigadors/es

Grup de recerca

Graphical formalisms and their application to computing education

There are many types of graphical formalisms that can be used to describe the dynamic behaviour of a system: graphs, automata, state machines, nets, activity/sequence diagrams, etc. In computing degrees, these formalisms are introduced in courses within areas such as digital circuit design, software engineering, graph theory or theoretical computer science.

This research deals with the construction of a tool infrastructure that can support features such as layout and representation of graphical formalisms, diagram animation and simulation, generation of a software/hardware implementation from the model, automated testing and evaluation of correctness. The goal is the application of these techniques to courses in the computing curriculum in order to improve the understanding of computing concepts, facilitate the creation, visualization and exchange of graphical formalisms, and contribute to the assessment and self-assessment of students.

Dr. David Bañeres

Dr. Robert Clarisó

SOM Research Lab

 

Proposta de tesi

Investigadors/es

Grup de recerca

Software analytics

Software analytics is the study of all data related to software and its engineering processes in order to better understand how software is built. The goal is to be able to predict and improve important quality factors of software artifacts. Software analytics includes the analysis of the program code but we are interested also in the analysis of all the collaboration and social aspects around it (who is the community that builds the software? How are they organized? What best practices do they follow? Etc.).

Dr. Jordi Cabot

Dra. Elena Planas

 

SOM Research Lab

 

 

Proposta de tesi

Investigadors/es

Grup de recerca

Open data for everyone

Open data is, in theory, the idea of allowing all people access to huge amounts of data (eg government data, geographical data, weather data, etc.), usually by means of public APIs, without restrictions. Nevertheless, non-technical people have no means to “consume” that data in a way in which they can extract meaningful knowledge from it.

The open data movement has not been accompanied by a parallel development of methods to empower end users to find, filter and combine that data, which defeats the whole purpose of the open data philosophy and keeps citizens illiterate.

Our goal will be to develop new research techniques for semiautomatic API discovery and mashup. Given a data request from a non-technical end-user, we should be able to automatically find and combine a set of APIs to respond to that user request.

Dr. Jordi Cabot

Dra. Elena Planas

 

SOM Research Lab

 

Proposta de tesi

Investigadors/es

Grup de recerca

Effective use of ontologies for knowledge-intensive applications

The goal of this line of research is to use knowledge of ontologies in order to enhance applications that require a large amount of knowledge to operate. An ontology is a specification of a representational vocabulary for a shared domain of discourse. Ontologies provide a shared and common understanding of a domain that can be communicated between people and applications and may be used in many academic domains such as software engineering, data integration, semantic web, e-learning and improving web queries. We are particularly interested in the effective application of ontologies in the fields of geographic information systems and e-learning.

Dr. Jordi Conesa

Dr. Antoni Pérez

 

SMARTLEARN

 

ICSO Research Group


Proposta de tesi

Investigadors/es

Grup de recerca

Lightweight formal methods

Bugs in software systems may lead to catastrophic consequences, especially in safety-critical systems such as medical or aerospace software. Testing and code reviews can reduce the defect rate, but sometimes a higher level of assurance is required. To this end, formal methods are a family of techniques that analyse a mathematical description of the system in order to ensure its correctness.

Some techniques used in the formal verification of software are model checking, theorem proving and static analysis. A problem shared by these approaches is their high computational complexity, which can limit their applicability in real-world examples. This line of research will consider pragmatic approaches for ensuring the quality of software systems at an industrial scale, considering key issues such as usability, efficiency and applicability.

Dr. Robert Clarisó

Dr. Daniel Riera

Dr. David Bañeres

SOM Research Lab

 

ICSO Research Group