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 |
19-Mai: o 2º teste terá lugar dia 22-Mai, 09h, na sala habitual (E2-2.12). Os únicos elementos de consulta serão os formulários de CSI e de CP.
16-Mai: a última aula (suplementar) terá lugar na próxima 2ª-feira, às 16h, no anfiteatro Anf. 0.02 (DI-A1), incluindo a correcção do 1º teste..
8-Mai: lançadas as classificações do 1º teste. Oportunamente será marcada uma data para consulta e correcção do teste.
23-Abr: o teste de amanhã decorrerá no horário e sala habitual. O teste é sem consulta, a menos do formulário do aviso anterior, que os alunos poderão trazer impresso, se desejarem.
23-Abr: nova versão do Formulário de acordo com as sugestões da aula de ontem. NB: as altearções em relação à versão anterior estão marcadas as azul.
14-Abr: a aula suplementar do dia 22-Abr terá lugar às 16h na sala E7-0.05.
19-Jan: Início das aulas - 6-Fev, ver sumários.