Métodos Formais em Engenharia de Software

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

Tópicos

Avisos

15 Jul - Exame de recurso do módulo CSI - terá lugar dia tinynew.gif 18 de Julho (5ª-feira), às 9h30, na sala DI 1.08.

15 Jul - Publicadas as notas finais da época normal em tinynew.gif Funcionamento

6 Jul - As notas finais de AMT foram publicadas.

10 Jun - As classificações do teste de CSI encontram-se em Funcionamento.

08 Jun - Milestone 4 (PI): recomenda-se a leitura de How to write a great research paper (ver tinynew.gif Projecto) na preparação dos slides+relatório a apresentar nesta milestone final.

06 Jun - A Milestone 4 do PI terá lugar no dia 27-Jun - ver planeamento em tinynew.gif Sumários.

06 Jun - Chama-se a atenção dos alunos para o preenchimento na intranet dos inquéritos pedagógicos até tinynew.gif 3-Jul 2013.

13 Fev - Teste do módulo CSI - terá lugar dia 1 de Março (6ª-feira), às 9h00, na sala DI 1.08.

04 Jan - a milestone nr.1 do Projecto integrado terá lugar na próxima quinta-feira, 10-Jan, das 14h00 às 18h00, na sala DI 1.08 (1º andar do edifício do DI), sendo transmitidas via Skype para os supervisores nas empresas.

13 Nov - A WS de apresentação dos projectos (PI) aos alunos aulas terá lugar na próxima quinta-feira, 15-Nov, das 12h00 às 18h00, na sala DI 1.08 (1º andar do edifício do DI).

28 Set - As aulas iniciam-se na próxima quinta-feira, 4-Out, às 9h00, na sala DI 1.08 (1º andar do edifício do DI).

24 Set - A apresentaçao desta UC na Semana Inaugural MEI @ 2012/2013 terá lugar no dia 27-Set às 16h00, ver Sumários.

13 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

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

Classificações Finais (época normal)

NB(1): Fórmula de cálculo: 0.15*CSI+0.15*AMT+0.15*PAS+0.15*VFS+0.4*PI

NB(2): Todas as notas estão arredondadas à unidade.

Nr CSI AMT PAS VFS PI Nota global (normal)
16334 F 11 F F F D
21319 18 17 19 17 18 18
22576 10 14 14 N/A 15 14
22577 10 12 11 N/A 15 13
22578 F F F F F F
22759 F F F F F D
22766 5 8 F 7 0 R
22796 17 16 19 17 18 18
22808 14 14 12 18 16 15
22811 14 15 13 18 18 16
22812 13 16 12 18 16 15
22815 10 14 10 18 18 15
22832 11 13 12 14 16 14
22840 15 16 17 18 18 17
23205 19 18 17 18 18 18
23208 8 11 13 14 16 14
E4802 11 10 N/A 13 11 12
E4978 12 10 N/A 13 11 12

-- JoseNunoOliveira - 13 Sep 2012

r8 - 23 Jul 2013 - 15:32:40 - JoseNunoOliveira
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM