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
Factos & Números
000
Apresentação

Computação Centrada no Humano e Ciência da Informação

HumanISE é um centro de investigação interdisciplinar focado em Computação Centrada no Humano (HCC) com uma ampla e profunda experiência em Ciência da Computação (CS) e Ciência da Informação (IS).

No HumanISE, engenheiros, cientistas e designers focam-se na investigação e desenvolvimento de sistemas de software, métodos e ferramentas que podem potenciar o ser humano e seus ambientes e comunidades, envolvendo elevada complexidade técnica e de gestão, resultante de larga escala, heterogeneidade, incerteza, integridade, conformidade com normas e enquadramentos legais ou questões organizacionais especificas do domínio de aplicação.

A nossa missão é desenvolver atividade de excelência e impactante em termos científicos, inovação, consultoria e e transferência de tecnologia, em estreita cooperação com os nossos parceiros académicos e empresariais. Focamos a nossa atividade em cinco áreas de investigação principais - Interação Homem(Pessoa)-Computador; Computação Gráfica e Media Digital Interativa; Gestão da Informação e Sistemas de Informação; Engenharia de Software; e Sistemas Computacionais de Grande Escala e Propósito Específico, Linguagens e Ferramentas - e quatro áreas principais de inovação - Investigação em Saúde Personalizada; Ciências da Terra, Mar e Espaço; Engenharia de Sistemas de Informação Geo-espacial; e Sistemas de Informação e Computação Aplicada.

Estamos também fortemente empenhados na formação de jovens investigadores e jovens profissionais, tendo um registo significativo na orientação de mestrandos e doutorandos.

Atualmente, os nossos investigadores são oriundos da Universidade do Porto (UP), Politécnico do Porto (IPP), Universidade de Trás-os-Montes e Alto Douro (UTAD), Universidade Aberta (UAb) e Universidade do Minho (UM).

Últimas Notícias
Robótica

Portugal na linha da frente com nova tecnologia para medir gás radão e melhorar as projeções climáticas globais

Durante quatro anos o INESC TEC vai liderar um consórcio internacional de 2,6M€ que tem como objetivo utilizar técnicas avançadas de medição da radioatividade ambiental. Espera-se que em 2028 existam novas soluções tecnológicas capazes de melhorar quer a investigação climática – principalmente no que à estimativa das emissões de gases de efeito de estufa diz respeito – quer a proteção radiológica da população e do meio ambiente.

02 outubro 2024

INESC TEC quer ajudar empresas a abraçar a transformação digital a custos reduzidos

Transição digital, inovação, capacitação das empresas, financiamento, tecnologias disruptivas como Inteligência Artificial (IA) e Computação Avançada (HPC). E uma certeza: 2024 será um ano de oportunidades para as empresas que estiverem dispostas a arriscar. No Palácio do Freixo, no Porto, cerca de 100 participantes juntaram-se para conhecer em detalhe o ATTRACT, o pólo europeu de inovação digital (EDIH – European Digital Innovation Hub), coordenado pelo INESC TEC.

08 fevereiro 2024

Investigadores do INESC TEC querem tornar treinos em ambientes virtuais mais realistas e multissensoriais

O trabalho científico "Studying the Influence of Multisensory Stimuli on a Firefighting Training Virtual Environment" venceu a 13.ª edição do prémio Professor José Luís Encarnação. É a sexta vez que um grupo de investigadores do INESC TEC é reconhecido com este galardão anual.

17 janeiro 2024

Tecnologia INESC TEC ajuda a proteger o olival e pode chegar a outras culturas

The InOlive project reached the end; the olive groves' smart monitoring solutions developed within the scope of the initiative are currently being used. INESC TEC has created a smart trap, a technology that could be optimised to other crops.  

10 outubro 2023

INESC TEC participa em seminário dedicado à Bioeconomia Florestal

Promover o debate e a reflexão em torno das tecnologias avançadas, dos mercados emergentes e das políticas nacionais e europeias, que contribuam para a valorização e o uso eficiente e sustentável dos recursos florestais – este foi o mote do seminário organizado pela FORESTIS – Associação Florestal de Portugal, que reuniu atores de Portugal e Espanha, e que contou com a participação do INESC TEC.

28 julho 2023

002

Projetos Selecionados

AMIDA

Aquisição de um serviço de desenvolvimento de arquitetura do sistema AMIDA

2024-2024

PFAI4_5eD

Programa de Formação Avançada Industria 4 - 5a edição

2024-2024

Equipa
003

Laboratórios

Laboratório de Sistemas de Informação

Laboratório de Engenharia de Software

Laboratório de Computação Gráfica e Ambientes Virtuais

Publicações

HumanISE Publicações

Ler todas as publicações

2025

Alloy Repair Hint Generation Based on Historical Data

Autores
Barros, A; Neto, H; Cunha, A; Macedo, N; Paiva, ACR;

Publicação
FORMAL METHODS, PT II, FM 2024

Abstract
Platforms to support novices learning to program are often accompanied by automated next-step hints that guide them towards correct solutions. Many of those approaches are data-driven, building on historical data to generate higher quality hints. Formal specifications are increasingly relevant in software engineering activities, but very little support exists to help novices while learning. Alloy is a formal specification language often used in courses on formal software development methods, and a platform-Alloy4Fun-has been proposed to support autonomous learning. While non-data-driven specification repair techniques have been proposed for Alloy that could be leveraged to generate next-step hints, no data-driven hint generation approach has been proposed so far. This paper presents the first data-driven hint generation technique for Alloy and its implementation as an extension to Alloy4Fun, being based on the data collected by that platform. This historical data is processed into graphs that capture past students' progress while solving specification challenges. Hint generation can be customized with policies that take into consideration diverse factors, such as the popularity of paths in those graphs successfully traversed by previous students. Our evaluation shows that the performance of this new technique is competitive with non-data-driven repair techniques. To assess the quality of the hints, and help select the most appropriate hint generation policy, we conducted a survey with experienced Alloy instructors.

2025

Testing infrastructures to support mobile application testing: A systematic mapping study

Autores
Kuroishi, PH; Paiva, ACR; Maldonado, JC; Vincenzi, AMR;

Publicação
INFORMATION AND SOFTWARE TECHNOLOGY

Abstract
Context: Testing activities are essential for the quality assurance of mobile applications under development. Despite its importance, some studies show that testing is not widely applied in mobile applications. Some characteristics of mobile devices and a varied market of mobile devices with different operating system versions lead to a highly fragmented mobile ecosystem. Thus, researchers put some effort into proposing different solutions to optimize mobile application testing. Objective: The main goal of this paper is to provide a categorization and classification of existing testing infrastructures to support mobile application testing. Methods: To this aim, the study provides a Systematic Mapping Study of 27 existing primary studies. Results: We present a new classification and categorization of existing types of testing infrastructure, the types of supported devices and operating systems, whether the testing infrastructure is available for usage or experimentation, and supported testing types and applications. Conclusion: Our findings show a need for mobile testing infrastructures that support multiple phases of the testing process. Moreover, we showed a need for testing infrastructure for context-aware applications and support for both emulators and real devices. Finally, we pinpoint the need to make the research available to the community whenever possible.

2024

Proceedings of the 19th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2024, Volume 4: VISAPP, Rome, Italy, February 27-29, 2024

Autores
Radeva, P; Furnari, A; Bouatouch, K; de Sousa, AA;

Publicação
VISIGRAPP (4): VISAPP

Abstract

2024

Proceedings of the 19th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2024, Volume 3: VISAPP, Rome, Italy, February 27-29, 2024

Autores
Radeva, P; Furnari, A; Bouatouch, K; de Sousa, AA;

Publicação
VISIGRAPP (3): VISAPP

Abstract

2024

Proceedings of the 19th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2024, Volume 2: VISAPP, Rome, Italy, February 27-29, 2024

Autores
Radeva, P; Furnari, A; Bouatouch, K; de Sousa, AA;

Publicação
VISIGRAPP (2): VISAPP

Abstract