Métodos Formais em Engenharia de Software

Mestrado de [Engenharia] Informática (2009/10)

Tópicos

Avisos

03 Set Lancamento das classificações finais - ver secção Funcionamento

19 Jul As notas da 2ª milestone de PI1 foram (finalmente) lançadas.

12 Jul A data de entrega dos exercícios de Coq foi adiada para o dia 29 de Julho.

29 Jun - Palestra HASLab de 30-Jun foi adiada devido à ICPC'10- detalhes aqui

27 Jun - A sessão da manhã do dia 1-Jul será dedicada à preparação da última milestone - ver Sumários

27 Jun - Data da última Milestone do PI(II): 15-Julho. Mais detalhes sobre a calendarização do mês de Julho na página de Sumários

15 Jun - Actualizada informação relativa a provas de avaliação individual (ver Funcionamento)

24 Mai Atenção à data da segunda Milestone do PI(II): 17-Junho. A terceira (e última, com participação da indústria) será em meados de Julho.

22 Abr Atenção à data da primeira Milestone do PI(II): 6-Maio. A segunda será em meados de Junho e a terceira (e última) em meados de Julho.

3 Fev Atenção à calendarização das provas de avaliação e milestones (ver sumários da UCE).

9 Dez O relatório referente à primeira Milestone (10-Dez) pode ser entregue até ao dia 17-Dez.

3 Dez O fórum dos alunos encontra-se aqui.

29 Out Está a partir de hoje on-line o repositório de ferramentas da associação FME.

29 Out A sessão de CSI de 05-Nov será ocupada pelo módulo AMT (ver sumários)

29 Set As aulas começaram no dia 1 de Outubro às 9h00.

29 Set Criação do site.

Índice:

Onde

As aulas desta UCE decorrem todas num só dia, à 5ª-feira, das 9h00-18h00 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-12h DI 1.08 JNO
PI 5ª 13h-15h DI 1.08 MAC
AMT 5ª 15h-18h DI 1.08 MAC
VFS 5ª 9h-12h DI 1.08 JSP, MJF
PI 5ª 13h-15h DI 1.08  
PAS 5ª 15h-18h DI 1.08 LSB

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). Oportunamente serão indicados os métodos de avaliação para cada um dos módulos.

Classificações finais da UCE

10934 = F ; 13405 = 15 ; 15141 = 14 ; 15142 = 15 ; 15143 = 13 ; 15220 = 15 ; 15260 = 17 ; 15330 = 16 ; 15345 = 16 ; 15395 = 14 ; 15753 = 13 ; 15989 = D ; 15992 = 12 ; 15997 = 13 ; 16019 = 13 ; 16046 = 14 .

Provas de Avaliação

Notas das Provas de Avaliação Individual (18-Fev)

Para cada aluno, identificado pelo seu número, a nota de AMT vem em primeiro lugar e a de CSI em segundo. Lista por ordem crescente de número de aluno:

13405=(14,15.9);15141=(R,14.5);15142=(R,16.5);15143=(10,13.3);15220=(10,15.2);15260=(13,17.8);15330=(10,18.4);15345=(13,18.5);15395=(12,14.6);15753=(R,10.0);15992=(R,14.5);15997=(10,14.5);16019=(11,12.2);16046=(R,13.3); jm=(R,17.8).

Notas de PAS

Para cada aluno, identificado pelo seu número, seguindo o formato Nr= (NT (Teste ou Exame), Exerc UPPAAL, Final). Lista por ordem crescente de número de aluno:

10934= (0, 0, NA); 13405= (7.5, 6, 14); 15141= (5, 7, 13); 15142= (10, 9, 19); 15143= (6.5, 0, 8); 15220= (9.6, 6, 17); 15260= (10, 9, 19); 15330= (7.5, 7, 15); 15345= (10, 9, 19); 15395= (8, 8, 16); 15753= (3, 6, 10); 15992= (4.5, 5, 10); 15997= (8.5, 6, 15); 16019= (5.5, 6, 12); 16046= (9.6, 8, 18); jm= (0, 0, NA).

Notas de AMT (após recurso)

10934 = F ; 13405 = 14.0 ; 15141 = 14.0 ; 15142 = 13.0 ; 15143 = 10.0 ; 15220 = 10.0 ; 15260 = 13.0 ; 15330 = 12.5 ; 15345 = 13.0 ; 15395 = 12.0 ; 15753 = 9.5 ; 15989 = D ; 15992 = 7.0 ; 15997 = 10.0 ; 16019 = 11.0 ; 16046 = 12.0 .

Notas de VFS

Para cada aluno, identificado pelo seu número, a nota de (teste,exame,ex.Coq,final).

13405 = (13.5, -, 20, 15); 15141 = (-, 9.5, 18, 11); 15142 = (-, 11.5, 18, 13); 15143 = (-, 11, 20, 13); 15220 = (11.1, -, 20, 14); 15260 = (14.1, -, 20, 16); 15330 = (-, 15.5, 20, 16); 15345 = (-, 11, 20, 13); 15395 = (-, 13.5, 18, 14); 15753 = (-, 9, 20, 11); 15989 = (-, -, 20, -); 15992 = (-, 10, 20, 12); 15997 = (-, 10.5, 20, 12); 16019 = (-, 8.5, 20, 11); 16046 = (8.6, 7.5, 20, 11).

Notas de PI(I)

10934 = F ; 13405 = 15 ; 15141 = 12 ; 15142 = 12 ; 15143 = 13 ; 15220 = 17 ; 15260 = 17 ; 15330 = 14 ; 15345 = 15 ; 15395 = 13 ; 15753 = 14 ; 15989 = 13 ; 15992 = 13 ; 15997 = 13 ; 16019 = 13 ; 16046 = 13 .

Notas de PI(II)

SIG1 = 18 ; SIG2 = 14 ; CS2 = 18 ; BSC1 = 14 ; BSC2 = 16 ; G1 = 15 ; G2 = 16.

r15 - 11 Apr 2011 - 10:52:58 - JoseNunoOliveira
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM