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 |
4-Mar: as notas finais após correcção do exame de recurso e ponderação final estão afixadas abaixo em Classificações.
11-Fev: enunciado do teste com resoluções propostas.
5-Fev: nova data / hora para o exame de recurso: 2ª-feira, 15-Fev, às 14h. O exame será feito via BB (on-line).
4-Fev: as notas após correcção do teste estão afixadas abaixo em Classificações.
18-Jan: versão novamente revista do formulário - correcção de numeração inconsistente.
18-Jan: vídeo de aula de dúvidas de ontem está disponível na directoria do costume.
17-Jan: matéria para o teste - ver FAQ14.
17-Jan: a aula de dúvidas para o teste será amanhã às 17h (on-line).
15-Jan: o formulário está de novo disponível.
8-Jan: o enunciado do mini-teste vem agora com uma proposta de resolução.
7-Jan: os slides da aula de hoje estão disponíveis no material.
7-Jan: as notas do miniteste foram normalizadas para 0-10, isto é, 4 x 2.5 valores (meia prova).
4-Jan: as notas do miniteste estão afixadas abaixo na secção Classificações. A consulta das provas poderá ser feita logo após as aulas desta quinta feira que vem (vejam os sumários pf.)
17-Dez: ver desafio (4) no problema da sinalização ferroviária da aula de hoje.
10-Dez: pf dar uma olhada ao caso de estudo previsto para a aula PL de amanhã no ficheiro partilhado das aulas anteriores.
8-Dez: a próxima aula será na 6a-feira (9h-12h) e não na 5a-feira por ausência do docente em reunião internacional.
29 Nov: De novo se aconselha aos alunos prestar atenção às FAQs da disciplina (ver abaixo).
29 Nov: O formulário de CSI actualizado está disponível aqui. (NB: o texto é o mesmo, apenas a numeração das leis é que mudou.)
28 Nov: A aula de dúvidas terá lugar a 30-Nov, 14h00 (3h). O link Zoom será enviado por e-mail, como habitualmente.
19 Nov: O mini-teste terá lugar a 3-Dez, 13h00 (1h), seguindo-se em aula até às 16h.
02 Nov: Preparação para as aulas desta semana, que serão ambas TP: ver exercícios 5.4, 5.5 e 5.6 de Program Design by Calculation e o caso de estudo Mercearia da D. Acácia.
30 Out: Módulo RelCalc.als já está disponível.
24 Out: Preparação para as aulas #03: ler secções 5.6 a 5.8 de Program Design by Calculation.
23 Out: Aconselha-se os alunos a prestar atenção às FAQs que já começaram a sair na página da disciplina.
20 Out: Foi enviado um e-mail aos alunos que estão listados na página de CSI. Quem porventura o não tiver recebido deve pf entrar em contacto com o docente.
17 Out: Preparação para as aulas #02: ler secções 5.2 a 5.5 de Program Design by Calculation.
17 Out: Como preparação para as aulas ver os sumários previstos e seguir as indicações semanais aqui nestes avisos. (Em CSI segue-se o método ‘Flipped Classroom’)
12 Out: As aulas iniciam-se esta semana.
17 Set: Vídeo de apresentação da edição 2020/21 de MFES.