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
Ciência e Engenharia dos Computadores

Investigadores INESC TEC na organização de conferência internacional em visão computacional e computação gráfica

A VISIGRAPP 2025 – 20th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, chegou ao Porto no fim de fevereiro. Juntou mais de 380 investigadores e profissionais, interessados em acompanhar e discutir os avanços teóricos e as aplicações das áreas de Visão Computacional, Computação Gráfica, Interação Humano-Computador e Visualização de Informação, respetivamente os temas principais das conferências co-colocadas VISAPP, GRAPP, HUCAPP e IVAPP. Um dos co-chairs desta conferência foi o investigador do INESC TEC A. Augusto de Sousa.

27 março 2025

Ciência e Engenharia dos Computadores

Carros sem condutor? Sim, mas só em determinadas condições. Investigadores querem tornar estas condições sustentáveis e adaptáveis

FRODDO - é o nome do projeto que vai contribuir, através do desenvolvimento e teste de soluções tecnológicas, para uma maior segurança e robustez de sistemas autónomos e conectados, como o dos carros sem condutor, apoiando a mobilidade centrada no utilizador. O INESC TEC é um dos parceiros deste projeto europeu, com um financiamento de quase seis milhões de euros, ao abrigo do programa de financiamento Horizonte Europa.

07 fevereiro 2025

Ciência e Engenharia dos Computadores

A aprendizagem imersiva veio para impactar os contextos educativos. E o INESC TEC conta com uma investigadora na direção da principal rede da área

Daniela Pedrosa, investigadora colaboradora do INESC TEC, assumiu o cargo de gestão de edição responsável pelas publicações da Immersive Learning Research Network (iLRN), depois de quatro anos como publications chair no comité organizador da conferência promovida pela associação.

04 fevereiro 2025

Como será a educação do futuro? Uma rede quer aproximar pessoas, tecnologia e natureza para dar respostas – e conta com o INESC TEC

Um ambiente educativo que coloque o enfoque na interação do ser humano com todo o contexto que o rodeia: é este o objetivo de uma proposta de educação que vai receber contributos do INESC TEC.  

29 janeiro 2025

Ciência e Engenharia dos Computadores

Um ecossistema de redes, a inteligência artificial e a educação OnLIFE: há um novo projeto no Brasil que conta com o contributo do INESC TEC

Como é que a colaboração entre redes pode potenciar a educação interligada à inteligência artificial e aos ambientes imersivos? E como é que essa educação pode responder às mudanças ambientais, tecnológicas, sociais que vivemos? Como se prepara a sociedade para viver, aprender e trabalhar nestas novas realidades? Para dar resposta a estas perguntas, surge o projeto “Network Ecosystem in the OnLIFE Education Paradigm in the Age of Artificial Intelligences”, que pretende potenciar a investigação em rede, alavancando a formação em contextos ecologicamente interligados com a IA Generativa.

27 janeiro 2025

008

Projetos Selecionados

DUVOPS

Ocean Preservation System Based on Digital Twins and Fleets of Heterogeneous Unmanned Vehicles

2025-2028

XARPER_RETAIL

XARP Extended Reality for the Retail Industry

2025-2027

PGU2CIMTS

Consultoria para a implementação de uma Plataforma de Gestão Urbana na CIM do Tâmega e Sousa

2025-2025

IATriage4SU

Apoio à tomada de decisão na triagem de urgência de adultos, com recurso a inteligência artificial

2025-2026

AMIDA

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

2024-2025

PFAI4_5eD

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

2024-2024

Data4LEM

Synthetic and Explainable Data Generation for the Simulation and Analysis of Future Local Electricity Markets

2024-2025

PTPumpup

Building Portuguese Language Resources through machine learning and limited human interaction

2021-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

LLM Prompt Engineering for Automated White-Box Integration Test Generation in REST APIs

Autores
Rincon, AM; Vincenzi, AMR; Faria, JP;

Publicação
2025 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS, ICSTW

Abstract
This study explores prompt engineering for automated white-box integration testing of RESTful APIs using Large Language Models (LLMs). Four versions of prompts were designed and tested across three OpenAI models (GPT-3.5 Turbo, GPT-4 Turbo, and GPT-4o) to assess their impact on code coverage, token consumption, execution time, and financial cost. The results indicate that different prompt versions, especially with more advanced models, achieved up to 90% coverage, although at higher costs. Additionally, combining test sets from different models increased coverage, reaching 96% in some cases. We also compared the results with EvoMaster, a specialized tool for generating tests for REST APIs, where LLM-generated tests achieved comparable or higher coverage in the benchmark projects. Despite higher execution costs, LLMs demonstrated superior adaptability and flexibility in test generation.

2025

Automated Social Media Feedback Analysis for Software Requirements Elicitation: A Case Study in the Streaming Industry

Autores
Silva, M; Faria, JP;

Publicação
Proceedings of the 20th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2025, Porto, Portugal, April 4-6, 2025.

Abstract

2025

Automatic Generation of Loop Invariants in Dafny with Large Language Models

Autores
Faria, JP; Trigo, E; Abreu, R;

Publicação
Fundamentals of Software Engineering - 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings

Abstract
Recent verification tools aim to make formal verification more accessible for software engineers by automating most of the verification process. However, the manual work and expertise required to write verification helper code, such as loop invariants and auxiliary lemmas and assertions, remains a barrier. This paper explores the use of Large Language Models (LLMs) to automate the generation of loop invariants for programs in Dafny. We tested the approach on a curated dataset of 100 programs in Dafny involving arrays, strings, and numeric types. Using a multimodel approach that combines GPT-4o and Claude 3.5 Sonnet, correct loop invariants (passing the Dafny verifier) were generated at the first attempt for 92% of the programs, and in at most five attempts for 95% of the programs. Additionally, we developed an extension to the Dafny plugin for Visual Studio Code to incorporate automatic loop invariant generation into the IDE. Our work stands out from related approaches by handling a broader class of problems and offering IDE integration. © IFIP International Federation for Information Processing 2025.

2025

Agile Processes in Software Engineering and Extreme Programming - Workshops - XP 2024 Workshops, Bozen-Bolzano, Italy, June 4-7, 2024, Revised Selected Papers

Autores
Marchesi, L; Goldman, A; Lunesu, MI; Przybylek, A; Aguiar, A; Morgan, L; Wang, X; Pinna, A;

Publicação
XP Workshops

Abstract

2025

Scrum4DO178C: An Agile Process to Enhance Aerospace Software Development for DO-178C Compliance - A Case Study at Criticality Level A

Autores
Ferreira Ribeiro, JE; Silva, JG; Aguiar, A;

Publicação
IEEE Access

Abstract
The development of safety-critical systems is heavily governed by domain-specific standards. In the aerospace industry, the DO-178C - Software Considerations in Airborne Systems and Equipment Certification - serves as the primary certification standard used by agencies such as the FAA and EASA to review and approve software-based systems. Although DO-178C aims to ensure system safety while providing evidence for certification, it does not prescribe a specific software development process, allowing flexibility for traditional Waterfall, Agile, or hybrid methods with appropriate adaptations for the aerospace context. This study proposes Scrum4DO178C, an Agile process based on Scrum, to meet the demanding requirements of aerospace software, including safety, robustness, reliability, and integrity. Scrum4DO178C introduces novel process enhancements specifically tailored to meet these criticality needs, while aligning with the standard. Unlike previous proposals that lack detail, this research presents a comprehensive, validated process applied in a real-world industry project at the highest criticality level (Level A - Catastrophic), offering insights beyond theoretical scenarios. The findings demonstrated that the Scrum4DO178C process improves project performance, allows frequent and manageable requirement changes, reduces Verification & Validation (V&V) effort, and increases efficiency while maintaining full compliance with DO-178C. The study also identifies areas for further improvement and suggests exploring the process in additional case studies, both within the aerospace industry and other domains with similarly stringent safety-critical requirements. Finally, it confirms that appropriate automation, namely for documentation production, is a central element to further improve the process. © 2013 IEEE.