Métodos Formais em Engenharia de Software

Mestrado de [Engenharia] Informática (2011/12)

Tópicos

Avisos

28 Mar - Definidas as tutorias e supervisões dos grupos de tinynew.gif Projecto integrado.

29 Jan - A notas finais do módulo de Lógica (AMT) estão publicadas em Funcionamento.

12 Dez - Data limite para a entrega do relatório sobre a ficha prática de Lógica: 15 Jan 2012

07 Dez - A aula suplementar no próximo dia 09-Dez (sexta feira), das 9h00 às 18h00, terá lugar na sala

Í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

A calendarização prevista para a UCE está disponível no respectivo plano.

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

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

Nr Nome Nota Final
20680 Alexandre Rocha D -
21029 Ivo Daniel de Jesus Carrajola D -
16490 Jorge Cunha Mendes 16 -
17904 Ricardo Daniel Queirós Alves 15 não subiu no recurso
19800 Cláudio Filipe Belo da Silva Lourenço 18 -
20685 Paulo Cristiano Pinheiro Faria 10 negativa a CSI no recurso
20687 Paulo Filipe de Jesus Cruz 13 10.33 a CSI no recurso
17229 Renato Jorge Araújo Neves 18 -

-- JoseNunoOliveira - 15 Sep 2011

r9 - 27 Jul 2012 - 15:31:10 - JoseNunoOliveira
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM