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