Métodos Formais em Engenharia de Software

Mestrado 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 tinynew.gif #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.

r3 - 15 Nov 2006 - 19:43:52 - TWikiContributor
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM