Métodos Formais em Engenharia de SoftwareMestrado Integrado em Engenharia Informática - MFES 2020/2021
|
Tópicos
Avisos
30 Out - CSI: módulo RelCalc.als já está disponível.
27 Out - EM: o servidor do alloy4fun já está a funcionar.
24 Out - CSI: preparação para as aulas
 #03: ler secções 5.6 a 5.8 de Program Design by Calculation.
23 Out - CSI: aconselha-se os alunos a prestar atenção às FAQs que já começaram a sair na página da disciplina.
20 Out - CSI: 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 - CSI: preparação para as aulas #02: ler secções 5.2 a 5.5 de Program Design by Calculation.
17 Out - CSI: 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.
|
Tópicos
Avisos
30 Out - CSI: módulo RelCalc.als já está disponível.
27 Out - EM: o servidor do alloy4fun já está a funcionar.
24 Out - CSI: preparação para as aulas
#03: ler secções 5.6 a 5.8 de Program Design by Calculation.
23 Out - CSI: aconselha-se os alunos a prestar atenção às FAQs que já começaram a sair na página da disciplina.
20 Out - CSI: 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 - CSI: preparação para as aulas #02: ler secções 5.2 a 5.5 de Program Design by Calculation.
17 Out - CSI: 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.
| ||
Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.