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-Jul: lançadas as classificações da época especial.
12-Jul: informa-se que o exame da época especial é no dia 21-Jul, 6ª-feira, às 14h30, sala E1-2.27.
30-Jun: lançadas as classificações da época de recurso. Consulta dos testes: pf. entrar aqui e seguir as instruções.
15-Jun: lançadas as classificações do 2º teste. Consulta dos testes: pf. entrar aqui e seguir as instruções.
15-Jun: informa-se que o exame de recurso é no dia 22-Jun, 09h00, sala E1-2.24, conforme o calendário oficial.
15-Jun: 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.
24-Mai: informa-se que o 2º teste terá lugar no dia 1-Jun, às 14h, na sala E1-0.22
21-Mai: lançadas as classificações do 1º teste e adicionada proposta de resolução ao enunciado. Consulta dos testes: pf entrar aqui e seguir as instruções.
02-Mai: ver as FAQs que entretanto se estão a compilar quanto a dúvidas frequentes sobre a matéria.
01-Mai: (re)publicadas em Material as ficha de exercícios práticos com a resolução da maior parte dos exercícios. Quaisuqer dúvidas que haja, pf enviar email.
01-Mai: relembram-se as datas dos testes - 4-Mai (1º teste) e 1-Jun (2º teste).
20-Abr: disponível o Formulário bem como a Ficha de exercícios práticos nr.3 para a aula TP de hoje.
20-Abr: os slides até à aula de hoje e os previstos para a próxima semana estão disponíveis aqui.
14-Mar: os slides até à aula de 13-Abr e os previstos para a próxima semana estão disponíveis aqui.
13-Abr: proposta de datas para os testes - 4-Mai (1º teste) e 1-Jun (2º teste).
13-Abr: data do Exame de Recurso - 22-Jun, 9h-12h.
31-Mar: os slides até à aula de 30-Mar e os previstos para a próxima semana estão disponíveis aqui.
24-Mar: os slides até à aula de 23-Mar e os previstos para a próxima semana estão disponíveis aqui.
20-Mar: os slides até à aula de 16-Mar e os previstos para a próxima semana estão disponíveis aqui.
09-Mar: os slides até à aula de hoje e os previstos para a próxima semana estão disponíveis aqui.
07-Mar: chama-se a atenção dos alunos para a mudança para a sala E7-1.10, cf. Horários.
02-Mar: Os slides até à aula de hoje e os previstos para a próxima semana estão disponíveis aqui.
23-Fev: A aula de hoje de CSI vai ter que ser cancelada por motivo de doença do docente. Será oportunamente reposta, em horário a combinar.
16-Fev: Os slides da aula de hoje e os previstos para a próxima semana estão disponíveis aqui.
13-Fev: Devido à participação do docente no painel das 17:00-18:00 da SEI, a aula de apresentação de 16-Fev só se iniciará às 18h.
13-Fev: Início das aulas - 16-Fev, ver sumários.
15-Dez: Novidade - este ano está previsto mudar o regime de avaliação de 2 testes para 1 teste + trabalho, envolvendo este Alloy+Método B. (Está-se em contacto com uma empresa francesa para se garantir acesso à ferramenta de B que deverá ser utilizada).
15-Dez: Brevemente será actualizada esta página com informação relativa ao próximo semestre. Para já, quem quiser saber do que a disciplina trata e como funciona pode consultar a página do ano passado.