Métodos Formais em Engenharia de Software

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

Tópicos

Avisos

23 Jul - Lançadas as classificações finais da UCE: ver Funcionamento.

14 Jul - Correcção do teste de CSI: ver enunciado no material pedagógico.

24 Jun - Sessão de correcção do teste de CSI: será dia 26-Jun, 17h, sala DI 1.08.

22 Jun - Classificações do teste de CSI: ver Funcionamento.

18 Jun - Chama-se a atenção dos alunos para a realização das JOIN'14 - XII Jornadas de Informática da Universidade do Minho

18 Jun - A data da última 'milestone' do Projecto Integrado foi adiada para 3-Jul, ver sumários.

22 Mai - A pedido da organização, divulga-se e sugere-se a participação dos alunos no TIUP 2014

25 Abr - AMT: finalmente foram publicadas as notas do teste de Alloy! Em princípio as próximas notas serão lançadas durante a próxima semana.

22 Fev - Publicado oFormulário de CSI em material pedagógico.

05 Fev - CSI: colectados num único PDF todos os exercícios de CSI no material pedagógico.

17 Dez Já estão definidos os tutores de cada grupo, cf. Projecto. Cada grupo deverá entrar em contacto com o seu tutor para definirem horário conveniente para o PI e arrancarem com os trabalhos.

6 Dez - Sugestão de leitura para alunos de MFES... e não só!

12 Nov - Foi criada uma mailing list para a edição 13/14 de MFES. Recomenda-se a subscrição a todos os alunos.

12 Nov - AMT: exemplos do barqueiro adicionados na secção de material pedagógico.

04 Nov - CSI: o módulo Alloy RelCalc.als que se adicionou ao Material pedagógico deve ser estudado como preparação para a próxima aula.

31 Out - CSI: O sumário da TP1 de hoje (11h30) inclui o código Alloy que deve ser usado como ponto de partida para o problema de programação sugerido na aula.

24 Out - FAQs de CSI: ver Material pedagógico (no fim).

07 Out - O código de activação de pré-inscrição nesta UC no e-Learning pode ser obtido carregando aqui.

23 Set - As aulas iniciam-se no próximo dia 3 de Outubro. Ver detalhes em: Calendário

11 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 Finais da UCE

Nr CSI AMT PAS VFS PI Nota final
pg19643 12 15 16 15 19 (*)
pg22766 13 17 16 16 13 15
pg25263 6 13 12 14 11 11
pg25285 11 13 15 16 14 14
pg25299 -- -- -- -- -- D
pg25300 10 11 15 16 14 13
pg25301 16 16 17 18 19 18
pg25311 17 18 18 18 19 18
pg25313 15 14 18 15 18 17
pg25318 11 14 14 15 18 15
pg25328 10 15 16 15 13 14
pg25332 12 13 14 15 14 14
pg25335 14 15 16 17 19 17
pg25340 13 14 17 16 14 15
pg26119 12 14 12 12 11 12
pg26133 10 15 13 14 15 14

(*) Classificações a lançar individualmente em várias disciplinas, ao abrigo do novo plano de estudos.

-- JoseNunoOliveira - 11 Sep 2013

r6 - 25 Jul 2014 - 14:13:19 - JoseNunoOliveira
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM