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