Você está em: Início > Cursos > Projetos / Dissertações / Teses > Tese de Mestrado em Engenharia Informática e Computação
Mapa das Instalações
Cursos
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 Termos e Condições
I Acessibilidade
I Índice A-Z
I Livro de Visitas
Página gerada em: 2025-09-03 às 05:22:34 | Política de Utilização Aceitável | Política de Proteção de Dados Pessoais | Denúncias
Página gerada em: 2025-09-03 às 05:22:34 | Política de Utilização Aceitável | Política de Proteção de Dados Pessoais | Denúncias