MFP

Logo

Índice

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

CSI/2020-21

Avisos

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.