Í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. 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
PI	2º	5ª 13h-15h	DI 1.08
CSI	1º	5ª 9h-12h	DI 1.08	JNO
VFS	2º	5ª 9h-12h	DI 1.08	JSP, MJF
PAS	2º	5ª 15h-18h	DI 1.08	LSB
PI	1º	5ª 13h-15h	DI 1.08	MAC
AMT	1º	5ª 15h-18h	DI 1.08	MAC

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.