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.

Índice

Onde

As aulas desta UCE decorrem todas num só dia, à 5ª-feira, das 9h00-19h00 e numa só sala, o Laboratório DI 1.08. Os meios audiovisuais estão localizados na parte anterior do laboratório. DI-1.08 A parte posterior está ocupada com 6 Macs Core2duo 2.0GHz/2GB/250GB/ATI2400XT/20", com sistema operativo Mac OS X. Outros sistemas operativos estão disponíveis através de Vmware Fusion. Nestas máquinas encontra-se todo o software necessário à componente experimental da UCE.

Os alunos podem deixar os seus haveres no laboratório no período de almoço. Podem ainda usar os armários que estão sob as janelas para aí deixarem material de umas sessões para outras.

A entrada no laboratório está controlada por um sistema de identificação de impressão digital, estando o acesso reservado a docentes das UCEs que aí funcionam e técnicos.

Quando

O horário de base da UCE é o seguinte:

Módulo Semestre Horário Sala Docentes
CSI 5ª 9h-12h30 DI 1.08 JNO
AMT 5ª 14h-17h DI 1.08 MAC
PI 5ª 17h-19h DI 1.08 MAC
PAS 5ª 9h30-12h30 DI 1.08 LSB
VFS 5ª 14h-17h DI 1.08 JSP
PI 5ª 17h-19h DI 1.08 todos

São feitas adaptações sempre que necessário (por exemplo, aquando das milestones do Projecto Integrado (PI), sessões de docentes convidados, etc)

Calendário escolar 2010/11: PDF

Regime de Avaliação

A nota final é a média pesada das notas obtidas nos diferentes módulos:

  • Cálculo de Sistemas de Informação (15%).
  • Análise, Modelação e Teste (15%).
  • Verificação Formal de Software (15%).
  • Processos e Arquitecturas de Software (15%).
  • Projecto Integrado (40%).

Para obter aprovação à UCE os alunos terão que ter aprovação em todos os módulos: excepcionalmente poderão ser aprovados alunos que tenham reprovado a um dos módulos teóricos (a aprovação no projecto integrado é sempre obrigatória). Quem reprovar à UCE poderá fazer um único exame de recurso que aborda a matéria dos quatro módulos e que vale 60% da nota final. O projecto integrado não tem direito a recurso. Oportunamente serão indicados os métodos de avaliação para cada um dos módulos.

Classificações finais tinynew.gif

Nr CSI AMT PAS VFS PI(1) PI(2) Final
Paul (Erasmus)     18 15.8   15 16
PG15989 17.8 14 - 10 15 15 12
PG16305 20 20 19 19.4 19.5 19 19
PG16490 11.1 16 18 15.6 16.25 15 15
PG16875 7.3 9 13 10.4 14.5 15 11
PG17227 11.6     15.2     13
PG17277 F           F
PG17297 8.1 13 14 16.6 14.25 13 13
PG17311 7.92 8 11 12.8 14.75 14 11
PG17312 9     14.6     12
PG17314 10           10
PG17849 F           F
PG17904 8.5 16 17 13.8 14.75 15 14
PG18378 12.6 14 13 14.6 15.25 14 14
PG18385 9.63 8 10 14.2 14.75 13 12
PG18391             D

r11 - 27 Jul 2011 - 17:10:30 - JoseNunoOliveira
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM