Métodos Formais em Engenharia de Software

Mestrado de [Engenharia] Informática (2009/10)

Tópicos

Avisos

03 Set Lancamento das classificações finais - ver secção Funcionamento

19 Jul As notas da 2ª milestone de PI1 foram (finalmente) lançadas.

12 Jul A data de entrega dos exercícios de Coq foi adiada para o dia 29 de Julho.

29 Jun - Palestra HASLab de 30-Jun foi adiada devido à ICPC'10- detalhes aqui

27 Jun - A sessão da manhã do dia 1-Jul será dedicada à preparação da última milestone - ver Sumários

27 Jun - Data da última Milestone do PI(II): 15-Julho. Mais detalhes sobre a calendarização do mês de Julho na página de Sumários

15 Jun - Actualizada informação relativa a provas de avaliação individual (ver Funcionamento)

24 Mai Atenção à data da segunda Milestone do PI(II): 17-Junho. A terceira (e última, com participação da indústria) será em meados de Julho.

22 Abr Atenção à data da primeira Milestone do PI(II): 6-Maio. A segunda será em meados de Junho e a terceira (e última) em meados de Julho.

3 Fev Atenção à calendarização das provas de avaliação e milestones (ver sumários da UCE).

9 Dez O relatório referente à primeira Milestone (10-Dez) pode ser entregue até ao dia 17-Dez.

3 Dez O fórum dos alunos encontra-se aqui.

29 Out Está a partir de hoje on-line o repositório de ferramentas da associação FME.

29 Out A sessão de CSI de 05-Nov será ocupada pelo módulo AMT (ver sumários)

29 Set As aulas começaram no dia 1 de Outubro às 9h00.

29 Set Criação do site.

Alunos

Número Nome Foto E-mail
10934 Gonçalo Veiga Gonçalo Veiga gjveiga.lesi AT gmail DOT com
13405 Manuel Costa Manuel Costa mane_costa AT hotmail DOT com
15141 João Bordalo Joao Bordalo jpbordalo AT gmail DOT com
15142 André Martins André Martins andre_batista_martins AT hotmail DOT com
15143 Luís Filipe Teixeira André Martins filipeteixeira83 AT gmail DOT com
15220 Tiago Veloso Tiago Veloso ti.veloso AT gmail DOT com
15260 Luís Couto Luís Couto pg15260 AT alunos DOT uminho DOT pt
15330 João Martins João Martins pg15330 AT alunos DOT uminho DOT pt
15345 Daniel Cadete Daniel Cadete danielncadete AT gmail DOT com
15395 Nelson Gonçalves Nelson Gonçalves goncalvesnelson AT gmail DOT com
15753 André Pedro Andre Pedro apedro DOT 1 AT gmail DOT com
15992 Inês Prada Inês Prada inesprada AT gmail DOT com
15997 Mário Eiras Mário Eiras marioeiras AT gmail DOT com
16019 Diogo Araújo Inês Prada x0z.06.araujo AT gmail DOT com
16046 Márcio Coelho Márcio Coelho pg16046 AT alunos DOT uminho DOT pt
  João Melo João Melo joao.silva.de.melo AT gmail DOT com

r25 - 29 Jul 2010 - 21:37:06 - JoseNunoOliveira
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM