You are here: Start > Projetos / Dissertações / Teses > Tese de Mestrado em Engenharia Informática e Computação
Campus Map
Tese de Mestrado em Engenharia Informática e Computação
Data-Driven Hint Generation for Alloy using Historial Student Submissions
| Estudante: | Ana Inês Oliveira de Barros |
| Nº de Estudante: | 201806593 |
| Orientadores: |
Nuno Filipe Moreira Macedo
|
| Coorientadores: |
Ana Cristina Ramada Paiva
|
| Estado: | Concluído |
| Desde: | 09-AGO-2023 |
| Início: | 30-AGO-2022 |
| Entrega da Tese: | 26-JUL-2023 |
| Defesa: | 25-JUL-2023 |
| Título da Tese: | Data-Driven Hint Generation for Alloy using Historial Student Submissions |
| Título Provisório: | History-based hint generation for formal specifications |
Elementos do Júri
| Nome | Papel |
|---|---|
| Alexandra Mendes | Presidente |
| Nuno Macedo | Vogal |
| José Campos | Arguente |
Copyright 1996-2025 © Faculdade de Engenharia da Universidade do Porto
I Terms and Conditions
I Accessibility
I Index A-Z
I Guest Book
Page generated on: 2025-08-08 at 07:03:19 | Acceptable Use Policy | Data Protection Policy | Complaint Portal
Page generated on: 2025-08-08 at 07:03:19 | Acceptable Use Policy | Data Protection Policy | Complaint Portal