| Métodos Formais em Engenharia de Software |
|---|
| Cálculo de Sistemas de Informação |
| Programação Ciber-física |
| Verificação Formal |
| Projecto em MFP |
| Anos anteriores |
| Calendário | Sumários |
| Alumni |
26-Jan - Relembra-se que o calendário para as orais AO + TG está nos sumários da UC.
26-Jan: Confirma-se que o exame de recurso desta UC será dia 30-Jan (6ª-feira) às 14h, na sala E7-0.04.
23-Jan: As orais AO + TG na próxima semana terão lugar na sala E7-0.05.
23-Jan: Devido a um exame na tarde de 6ª-feira (30-Jan) houve necessidade de fazer alterações nas orais nesse dia - cf. sumários.
23-Jan: Os slides das apresentações (AO) ou trabalho de grupo (TG) devem ser enviados por email.
21-Jan: publicado o enunciado do teste de 16-Jan com proposta de resolução.
21-Jan: lançadas as classificações do teste de 16-Jan. Consulta dos testes: pf entrar aqui e seguir as instruções.
14-Jan - Publicada a proposta de calendário para as orais AO + TG - ver pf os sumários. Este calendário foi gerado aleatoriamente a menos de um invariante: garantir que a AO de cada aluno ocorre no dia em que ocorre a defesa do seu TG, se for caso disso. São possíveis trocas ou ajustes, cujos pedidos devem ser enviados atempadamente ao docente (por email ou Slack) para consideração.
14-Jan - Confirma-se que o teste desta UC terá lugar na sala E7-1.09, às 10h do dia 16-Jan, cf. sumários.
05-Nov - Avaliação: Escolha do método A / B + artigo a que se refere a componente AO: por favor entrar nesta folha e preencher as colunas C a F. Data limite: 14-Nov.
30-Out - Proposta a folha prática
nrº1, a abordar fora das aulas. Os alunos devem usar o ´slack’ para discutirem entre si soluções possíveis.
23-Out - Propõe-se que o teste desta UC seja realizado a 18-Dez (ou em data próxima, até 20-Dez) e informa-se que o exame de recurso está previsto para 20-Jan, conforme consta dos sumários.
23-Out - Mudança de sala - informa-se que as próximas aulas terão lugar na sala E7-0.04.
12-Out - Como se avisou na semana passada e consta dos sumários, não haverá aulas esta semana (docente em missão no estrangeiro). Essa aula será reposta mais tarde.
17-Set - As aulas terão início a 25-Set, cf. sumários.
13-Set - Página em construção – pf consultar, para já, a página do ano passado até que esta esteja com informação actualizada.