Métodos Formais em Engenharia de Software

Mestrado Integrado em Engenharia Informática [17/18]

Tópicos

Avisos

16 Out - tinynew.gif *Preparação em casa ('Flipped Classroom') da aula de CSI desta semana: ler até ao slide 62 e preparar os exercícios 7, 8, 12, 14 e 15.

7 Out - Preparação em casa da aula de CSI da próxima semana: ler até ao slide 44 e estudar os exercícios 1 e 4.

30 Set - Os slides de UC2 - CSI já estão disponíveis.

22 Set - tinynew.gif Idealmente, na próxima aula de UC1 - EM devem já trazer a ferramenta NuSMV instalada.

19 Set - As aulas da disciplina UC2 - CSI só se iniciam a 28-Set (docente esta semana em missão no estrangeiro).

17 Set - Início das aulas: 19-Set.

09 Set - Aguarda-se informação da Direcção de Curso sobre data do início das aulas das disciplinas deste perfil.

06 Set - Slides da apresentação do perfil.

Education » MFES » WebHome » AC
UC4- Arquitectura e Cálculo (2ª semestre)

-- JoseNunoOliveira - 11 Sep 2017

r1 - 11 Sep 2017 - 15:42:38 - JoseNunoOliveira
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM