Métodos Formais em Engenharia de Software

Mestrado de [Engenharia] Informática (2010/11)

Tópicos

Avisos

27 Jul - A notas finais estão publicadas em Funcionamento.

11 Jul - A notas à data da época normal estão publicadas em Funcionamento.

18 Jun - Teste de VFS terá lugar na 2a.fa. dia 20, às 15:00, na sala 0.02.

16 Jun - Deadline para entrega do relatório (hard): 23-Jun

16 Jun - Atenção ao facto de, para evitar conflito com as JOIN (28-30 Jun), a Milestone 3 (final) terá lugar numa sexta-feira, dia 1-Jul. O escalonamento das apresentações será anunciado no respectivo sumário.

14 Jun - As classificações do teste de CSI podem ser consultadas em Funcionamento.

16 Mar - Informa~se que, devido a um imprevisto de ordem pessoal, o Prof. LSB não poderá dar aula amanhã de manhã.

10 Mar - Informa~se que hoje de tarde só há a sessão às 17h00 (aulas de VFS só na próxima semana)

09 Mar - A alocação de projectos + tutorias de PI(II) serão anunciadas na sessão de amanhã (17h00).

23 Fev - A agenda e acetatos da milestone 2 estão no tópico do projecto.

10 Fev - A workshop de apresentação de propostas de projectos por parte dos parceiros industriais da UCE terá lugar dia 03-Mar, ver Sumários)

10 Fev - A Milestone PI(2) terá lugar dia 24-Fev de manhã; de tarde decorrerá a apresentação dos módulos do 2º semestre)

20 Jan - O dia 3-Fev será integralmente dedicado ao módulo CSI (aulas de revisões e preparação para o teste de 10-Fev)

4 Jan - As notas da primeira milestone de PI1 foram publicadas.

21 Dez - Já estão online os enunciados de mais um mini-projecto e um exercício de leitura de AMT.

14 Dez - Qualidade de dois projectos de MFES (2009/10) analisada na Open Code Clinic da SIG

02 Dez - No dia 16 de Dezembro não haverá sessão de CSI - todo o dia será dedicado a AMT (docente: Joost Visser)

29 Nov - As notas do teste de Alloy foram publicadas na secção AMT.

24 Nov - A primeira milestone do Projecto Integrado terá lugar dia 2-Dez.

28 Set - As aulas da edição corrente da UCE (2010/11) iniciaram-se a 30-Out, às 9h00, na sala DI 1.08 do Departamento de Informática.

29 Set - Criação do site.

Alunos

Nr Mestrado Nome Fotografia E-mail
E4083 Erasmus/Utrecht Paul van der Walt   paul AT denknerd DOT nl
pg17849 MAT Ana Cecília Morais Gonçalves   pg17849 AT alunos DOT uminho DOT pt
pg17277 MAT Fernando Manuel Gomes da Cruz   pg17277 AT alunos DOT uminho DOT pt
pg17227 MAT Isabel Maria Ventura Santos IsabelSantos pg17227 AT alunos DOT uminho DOT pt
pg17312 MAT José João Peixoto Pereira JoseJoaoPereira pg17312 AT alunos DOT uminho DOT pt
pg17314 MAT Nuno Miguel Oliveira   pg17314 AT alunos DOT uminho DOT pt
pg16875 MI André Vilas Boas da Costa AndreCosta pg16875 AT alunos DOT uminho DOT pt
pg18385 MEI/MI Daniel Ribeiro Quinta Daniel Quinta pg18385 AT alunos DOT uminho DOT pt
pg16305 MEI Iago Abal Rivas IagoAbal pg16305 AT alunos DOT uminho DOT pt
pg15989 MEI João Silva de Melo João Melo pg15989 AT alunos DOT uminho DOT pt
pg16490 MEI Jorge Cunha Mendes JorgeMendes pg16490 AT alunos DOT uminho DOT pt
pg17311 MEI Leonel João Fernandes Braga LeonelBraga pg17311 AT alunos DOT uminho DOT pt
pg17297 MI Manuel António Freitas de Sousa ManuelSousa pg17297 AT alunos DOT uminho DOT pt
pg18391 MEI/MI Nuno Miguel Carvalho Oliveira NunoOliveira pg18391 AT alunos DOT uminho DOT pt
pg17904 MEI Ricardo Daniel Queirós Alves RicardoAlves pg17904 AT alunos DOT uminho DOT pt
pg18378 MEI/MI Rui Miguel de Carvalho Gonçalo Rui Goncalo pg18378 AT alunos DOT uminho DOT pt

r18 - 10 Jul 2013 - 09:05:21 - JoseNunoOliveira
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM