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 |
21-Jun: (método B) - a entrega do TP deverá ser feita hoje por email enviado ao docente. Horário das defesas: ver Alunos.
21-Jun: Horário da orais T - ver Alunos.
16-Jun: Lançadas as notas do exame de recurso - ver Alunos. Consultas dos exames - pf entrar aqui e seguir as instruções.
13-Jun: (método B) a data de entrega do TP é 21-Jun e as defesas serão dia 25-Jun, em horário a definir brevemente. Detalhes: ver Alunos.
13-Jun: as orais T decorrerão nos dias 25-Jun, em horário a definir no início da próxima semana.
12-Jun: o exame de recurso terá lugar amanhã, dia 13-Jun, 14h-16h, na sala E1-1.17. Os únicos elementos de consulta serão os formulários de CSI e de CP.
6-Jun: lançadas as classificações do 2º teste. Consulta dos testes: pf entrar aqui e seguir as instruções.
20-Abr: o 2º teste terá lugar dia 23-Mai, 16h, na sala E7-1.09. Os únicos elementos de consulta serão os formulários de CSI e de CP.
19-Mai: a 2ª aula suplementar terá lugar dia 22-Mai, às 14h, na sala E7-0.07. A sala do teste (23-Mai, 16h) será confirmada entretanto.
15-Mai: a aula suplementar combinada na semana passada terá lugar amanhã, dia 16-Mai, às 14h, na sala E7-0.07.
2-Mai: lançadas as classificações do 1º teste. Consulta dos testes: pf entrar aqui e seguir as instruções.
30-Abr: os alunos que escolheram o método B como regime de avaliação devem analisar os temas de projeto desta página e seguir as instruções.
16-Abr: a aula de compensação amanhã de manhã, 17-Abr, 10h-13h, será a E7-0.09.
14-Abr: para o 1º teste (dia 18-Abr, 16h) os alunos podem levar, como únicos elementos de consulta, os formulários de CSI e de CP.
14-Abr: os alunos que tiverem escolhido o método B como regime de avaliação devem, até 26 de Abril, comunicar nesta folha os respectivos grupos TP (3 alunos cada).
08-Mar: publicada a folha de problemas práticos nr.º 2, bem como uma página de FAQs.
04-Mar: publicada a folha de problemas nr.º1 relativa às aulas desta semana.
22-Fev: avisam-se os alunos de que, por motivo de doença do docente, não haverá aula de CSI hoje, ver sumários.
4-Fev: Adicionados os 30 alunos enviados pela DC.
31-Jan: Início das aulas - 8-Fev, ver sumários.