Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Sobre
Download foto HD

Sobre

João Pascoal Faria tem um doutoramento em Engenharia Electrotécnica e de Computadores pela Faculdade de Engenharia da Universidade do Porto em 1999, onde é atualmente Professor Associado no Departamento de Engenharia Informática e Diretor do Mestrado Integrado em Engenharia Informática e Computação. É membro do Grupo de Investigação em Engenharia de Software (softeng.fe.up.pt) e investigador do INESC TEC, onde coordena a área de Engenharia de Software. Representa a FEUP e o INESC TEC na Comissão Técnica de Sistemas de Informação para a Saúde (CT 199) e a FEUP como Presidente da Comissão Setorial para a Qualidade das Tecnologia da Informação e das Comunicações (CS/03), no âmbito do Instituto Português da Qualidade (IPQ). No passado, trabalhou com várias empresas de software (Novabase Saúde, Sidereus, Medidata) e foi co-fundador de outras duas (QualiSoft e Strongstep). Tem mais de 25 anos de experiência em ensino, investigação, desenvolvimento e consultoria em diversas áreas de engenharia de software. É o principal autor de uma ferramenta de desenvolvimento rápido de aplicações (SAGA), com base em linguagens específicas de domínio, com mais de 25 anos de presença no mercado e evolução (1989-presente). Está atualmente envolvido em projectos de investigação, supervisões e atividades de consultoria nas áreas de teste de software baseado em modelos, melhoria de processos de software e desenvolvimento conduzido por modelos.

Tópicos
de interesse
Detalhes

Detalhes

  • Nome

    João Pascoal Faria
  • Cluster

    Informática
  • Cargo

    Investigador Sénior
  • Desde

    14 outubro 1985
002
Publicações

2020

Visual Self-healing Modelling for Reliable Internet-of-Things Systems

Autores
Dias, JP; Lima, B; Faria, JP; Restivo, A; Ferreira, HS;

Publicação
Lecture Notes in Computer Science - Computational Science – ICCS 2020

Abstract

2020

Local Observability and Controllability Analysis and Enforcement in Distributed Testing with Time Constraints

Autores
Lima, B; Faria, JP; Hierons, R;

Publicação
IEEE Access

Abstract

2020

The ProcessPAIR Method for Automated Software Process Performance Analysis

Autores
Raza, M; Faria, JP;

Publicação
IEEE ACCESS

Abstract
High-maturity software development processes and development environments with automated data collection can generate significant amounts of data that can be periodically analyzed to identify performance problems, determine their root causes, and devise improvement actions. However, conducting the analysis manually is challenging because of the potentially large amount of data to analyze, the effort and expertise required, and the lack of benchmarks for comparison. In this article, we present ProcessPAIR, a novel method with tool support designed to help developers analyze their performance data with higher quality and less effort. Based on performance models structured manually by process experts and calibrated automatically from the performance data of many process users, it automatically identifies and ranks performance problems and potential root causes of individual subjects, so that subsequent manual analysis for the identification of deeper causes and improvement actions can be appropriately focused. We also show how ProcessPAIR was successfully instantiated and used in software engineering education and training, helping students analyze their performance data with higher satisfaction (by 25%), better quality of analysis outcomes (by 7%), and lower effort (by 4%), as compared to a traditional approach (with reduced tool support).

2020

A living lab for professional skills development in Software Engineering Management at U.Porto

Autores
Gonçalves, GM; Meneses, R; Faria, JP; Vidal, RM;

Publicação
2020 IEEE Global Engineering Education Conference, EDUCON 2020, Porto, Portugal, April 27-30, 2020

Abstract

2020

DCO analyzer: local controllability and observability analysis and enforcement of distributed test scenarios

Autores
Lima, B; Faria, JP;

Publicação
ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June - 19 July, 2020

Abstract
To ensure interoperability and the correct behavior of heterogeneous distributed systems in key scenarios, it is important to conduct automated integration tests, based on distributed test components (called local testers) that are deployed close to the systemcomponents to simulate inputs from the environment and monitorthe interactions with the environment and other system components. We say that a distributed test scenario is locally controllableand locally observable if test inputs can be decided locally andconformance errors can be detected locally by the local testers,without the need for exchanging coordination messages betweenthe test components during test execution (which may reduce theresponsiveness and fault detection capability of the test harness).DCO Analyzer is the first tool that checks if distributed test scenarios specified by means of UML sequence diagrams exhibit thoseproperties, and automatically determines a minimum number ofcoordination messages to enforce them.The demo video for DCO Analyzer can be found at https://youtu.be/LVIusK36. © 2020 Copyright held by the owner/author(s).

Teses
supervisionadas

2020

Transformação Digital dos Processos de Dissertação de Mestrado da FEUP

Autor
Sofia Catarina Bahamonde Alves

Instituição
UP-FEUP

2020

Lean Forecasting In Software Projects

Autor
Pedro Manuel Costa Miranda

Instituição
UP-FEUP

2020

Prototipagem de um Sistema de Triagem Dinâmica para Urgências Hospitalares

Autor
Ana Catarina Leite Sousa

Instituição
UP-FEUP

2020

A Live Approach for Developing Internet-of-Things Systems

Autor
João Pedro Matos Teixeira Dias

Instituição
UP-FEUP

2019

Automated Scenario-based Testing of Distributed and Heterogeneous Systems

Autor
Bruno Miguel Carvalhido Lima

Instituição
UP-FEUP