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 |
31-Jul: Lançadas as notas da época especial - ver Alunos.
2-Jul: Lançadas as notas do recurso e finais - ver Alunos.
21 Jun: tendo surgido dúvidas sobre o regime de avaliação, esclarece-se que a nota final é a média dos 2 testes, sem haver lugar a notas mínimas; ou, se essa média for negativa, a nota do exame de recurso.
21 Jun: qualquer mensagem dirigida ao docente relativa a esta disciplina deverá ter a sigla CSI ou MFP no assunto. Não se garante resposta atempada a mensagens que não cumpram este requisito.
19 Jun: classificações do 2º teste. Consulta dos testes: ver sumários.
19 Jun: enunciado do 2º teste com propostas de resolução.
17 Jun: nova data e sala para o exame de recurso de CSI - sábado, 25-Jun, 10h, na sala E7-1.09.
6 Jun: nova data e sala para o exame de recurso de CSI - 23-Jun, 14h, na sala E7-1.09.
3 Jun: classificações do 1º teste. Consulta dos testes: ver sumários.
27 Mai: acaba de ser divulgada a sala para o exame de recurso de CSI: sala E3-2.01, 22-Jun, às 14h30.
25-Mai: a aula T+TP de 5ª-feira, 2-Jun (a última, de reposição) decorrerá das 13h-16h e será essencialmente uma aula de dúvidas para o 2º teste (9-Jun) - ver sumários da UC.
12 Mai: enunciado do 1º teste.
05 Mai: o 2º teste terá lugar dia 9-Jun, das 09h-11h, na sala E7-1.09.
29 Abr: a aula de reposição terá lugar dia 4-Mai, das 13h-16h, na sala E7-1.09.
21 Abr: a aula de hoje foi adiada por motivos de saúde do docente.
07 Abr: Tal como consta dos sumários, o 1º teste da disciplina será no dia 5-Mai, no horário e sala habitual das aulas.
17 Mar: Tal como consta dos sumários, as aulas da próxima semana consistirão na participação dos alunos na DaVinci Spring School - “Formal Models and Specifications for Systems of Interacting” organizada pelo projecto Da Vinci do HASLab.
20 Fev: preparação para as aulas - ver sumários previstos e seguir as respectivas indicações nos apontamentos (PDBC) que constam da bibliografia. (Em CSI segue-se o método pedagógico ‘Flipped Classroom’.)
31-Jan: Início das aulas - 17-Fev, ver sumários.