Métodos Formais em Engenharia de Software |
---|
Cálculo de Sistemas de Informação |
Programação Ciber-física |
Verificação Formal |
Calendário | Sumários |
Anos anteriores |
Alumni |
50465 = 10; 50496 = 14; 50497 = 10; 50663 = 12; 51497 = 13; 52693 = 13; 52704 = 14; 53595 = 14; 53598 = 13; 53601 = 12; 53766 = 12; 53825 = 11; 53840 = 10; 53849 = R; 53870 = 10; 53902 = 17; 53915 = F; 53926 = F; 53968 = 12; 53971 = R; 53985 = 10; 54042 = F; 54188 = 11; 54210 = 18; 54257 = 19; 54273 = 13; 54468 = F; 93318 = 14; 94557 = R; 95255 = 10; 97027 = 14
Notas dos TPs (Método-B):
50496 = 17; 53902 = 18; 54210 = 18; 54257 = 18; 54273 = 17; 93318 = 17
Aluno(s) | Tipo | Data e hora | Sala |
---|---|---|---|
Grupo G01 (João Afonso Alvim Oliveira Dias de Almeida, Rui Pedro Esteves Vasques Correia de Oliveira, Tiago Miguel Moreira Bacelar Pereira) | Defesa TP | 25-Jun, 10h00 | E7 0.05 |
Grupo G02 (Jéssica Macedo Fernandes, João Pedro Rodrigues Carvalho, Vitor Lelis Noronha Leite) | Defesa TP | 25-Jun, 11h00 | E7 0.05 |
Gonçalo Lobo Freitas | Oral T | 25-Jun, 12h15 | E7 0.05 |
João Augusto Macedo Moreira | Oral T | 25-Jun, 12h30 | E7 0.05 |
José Diogo Lopes Faria | Oral T | 25-Jun, 12h45 | E7 0.05 |
Defesas do TP:
Ordenadas por número mecanográfico (apenas alunos avaliados):
50465 = 8.0; 53595 = 14.5; 53902 = 16.6; 94557 = 4.3.
Ordenadas por número mecanográfico (apenas alunos avaliados):
a93318 = 11.1; a95255 = 7.5; a97027 = 13.0; pg50496 = 7.8; pg50497 = 9.1; pg50663 = 10.9; pg51497 = 15.0; pg52693 = 12.4; pg52704 = 12.3; pg53598 = 11.9; pg53601 = 10.6; pg53766 = 12.3; pg53825 = 8.9; pg53840 = 5.9; pg53870 = 8.0; pg53902 = 12.9; pg53968 = 10.4; pg53985 = 10.5; pg54188 = 8.4; pg54210 = 18.3; pg54257 = 18.6; pg54273 = 10.0
Ordenadas por número mecanográfico (apenas alunos avaliados):
50496 = 14.6; 50497 = 10.8; 50663 = 13.5; 51497 = 11.0; 52693 = 14.0; 52704 = 16.0; 53598 = 13.3; 53601 = 14.0; 53766 = 11.0; 53825 = 13.6; 53840 = 10.3; 53849 = 7.1; 53870 = 11.0; 53902 = 15.5; 53968 = 12.8; 53971 = 8.5; 53985 = 9.3; 54188 = 14.0; 54210 = 18.4; 54257 = 19.5; 54273 = 9.0; 93318 = 12.6; 95255 = 10.3; 97027 = 15.8
Inscritos
Nome | NM |
---|---|
pg53595 | Afonso Franco Ferreira |
pg53598 | Afonso Miguel Rodrigues Magalhães |
pg53601 | Afonso Xavier Cardoso Marques |
a97027 | Artur Jorge Castro Leite |
pg51497 | Cláudia Peixoto Silva |
pg54468 | David José de Sousa Machado |
pg53766 | Diana Filipa Ferreira Malheiro Teixeira |
a94557 | Délio Miguel Lopes Alves |
pg53825 | Gabriel Alexandre Monteiro da Silva |
pg53840 | Gonçalo Lobo Freitas |
pg53849 | Gonçalo Vilar Vale |
pg53870 | Inês Daniela Alves Ferreira |
a95255 | José Diogo Lopes Faria |
pg53968 | José Fernando Monteiro Martins |
pg53971 | José Henrique Dias Monteiro |
pg53985 | José Rafael Cruz Ferreira |
pg53902 | João Afonso Alvim Oliveira Dias de Almeida |
pg50465 | João Augusto Macedo Moreira |
pg53915 | João Henrique Rodrigues Pestana do Vale |
pg53926 | João Miguel Pinheiro Machado |
pg50496 | João Pedro Rodrigues Carvalho |
a93318 | Jéssica Macedo Fernandes |
pg54042 | Maria Eugénia Bessa Cunha |
pg52693 | Maria Francisca Mendes Lemos |
pg50663 | Moisés Araújo Antunes |
pg54188 | Ricardo Lopes Santos Silva |
pg54210 | Rui Pedro Esteves Vasques Correia de Oliveira |
pg52704 | Tiago Adriano Pereira Feixa Gomes Moreira |
pg54257 | Tiago Miguel Moreira Bacelar Pereira |
pg54273 | Vitor Lelis Noronha Leite |