Métodos Formais em Engenharia de Software

Mestrado de [Engenharia] Informática (13/14)

Tópicos

Avisos

23 Jul - Lançadas as classificações finais da UCE: ver Funcionamento.

14 Jul - Correcção do teste de CSI: ver enunciado no material pedagógico.

24 Jun - Sessão de correcção do teste de CSI: será dia 26-Jun, 17h, sala DI 1.08.

22 Jun - Classificações do teste de CSI: ver Funcionamento.

18 Jun - Chama-se a atenção dos alunos para a realização das JOIN'14 - XII Jornadas de Informática da Universidade do Minho

18 Jun - A data da última 'milestone' do Projecto Integrado foi adiada para 3-Jul, ver sumários.

22 Mai - A pedido da organização, divulga-se e sugere-se a participação dos alunos no TIUP 2014

25 Abr - AMT: finalmente foram publicadas as notas do teste de Alloy! Em princípio as próximas notas serão lançadas durante a próxima semana.

22 Fev - Publicado oFormulário de CSI em material pedagógico.

05 Fev - CSI: colectados num único PDF todos os exercícios de CSI no material pedagógico.

17 Dez Já estão definidos os tutores de cada grupo, cf. Projecto. Cada grupo deverá entrar em contacto com o seu tutor para definirem horário conveniente para o PI e arrancarem com os trabalhos.

6 Dez - Sugestão de leitura para alunos de MFES... e não só!

12 Nov - Foi criada uma mailing list para a edição 13/14 de MFES. Recomenda-se a subscrição a todos os alunos.

12 Nov - AMT: exemplos do barqueiro adicionados na secção de material pedagógico.

04 Nov - CSI: o módulo Alloy RelCalc.als que se adicionou ao Material pedagógico deve ser estudado como preparação para a próxima aula.

31 Out - CSI: O sumário da TP1 de hoje (11h30) inclui o código Alloy que deve ser usado como ponto de partida para o problema de programação sugerido na aula.

24 Out - FAQs de CSI: ver Material pedagógico (no fim).

07 Out - O código de activação de pré-inscrição nesta UC no e-Learning pode ser obtido carregando aqui.

23 Set - As aulas iniciam-se no próximo dia 3 de Outubro. Ver detalhes em: Calendário

11 Set - Criação do site.

Alunos

Alunos 2013/14

Nr Mestrado Nome Fotografia E-mail Grupo
pg19643 MMC Ana Catarina Pereira Correia     B
pg25335 MEI Ana Paula Martins Carvalho     B
pg25300 MEI Damien da Silva Vaz     D
pg26119 MEI Fábio André Martins Fernandes     H
pg22766 MEI Fábio Esteves Sousa     C
pg25299 MEI Helder Cristiano Dias Afonso     G
pg26133 MEI João Carlos Alves Cruz     G
pg25285 MEI Jorge Lobo Teixeira Lopes     E
pg25311 MEI Luís Miguel Pereira Constantino Romano     F
pg25328 MEI Miguel Ângelo Gomes da Costa     C
pg25313 MEI Nuno Miguel da Costa Laranjo     A
pg25332 MEI Paulo Alexandre Ribeiro Silva     E
pg25318 MEI Rogério António da Costa Pontes     A
pg25263 MEI Telma Ferreira Correia     H
pg25301 MEI Vitor Manuel Parreira Pereira     F
pg25340 MEI Yoan David Ribeiro     D

Representante dos alunos da UCE: Yoan David Ribeiro

r15 - 18 Jun 2014 - 16:08:39 - JoseNunoOliveira
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM