Métodos Formais em Engenharia de Software |
---|
Cálculo de Sistemas de Informação |
Programação Ciber-física |
Verificação Formal |
Anos anteriores |
Calendário | Sumários |
Alumni |
Avisos
Na vida lá fora, tudo parece ser uma relação: relação profissional, relação amorosa, relação numérica, relação internacional, relação familiar, relação …, relação …
É esse o principal objectivo desta disciplina.
Disponível aqui.
Docente | Foto | Horário | Sala |
---|---|---|---|
José Nuno Oliveira | ![]() |
5ª-feira, 09h00-10h30h (T) | ![]() |
Luís Soares Barbosa | ![]() |
5ª-feira, 10h30-12h00 (TP) | ![]() |
Lista provisória de alunos comunicada pela D.Curso:
Número | Nome |
---|---|
PG54468 | David José de Sousa Machado |
PG58717 | João Carlos Macedo Ribeiro |
PG58811 | Vasco José Machado Mota |
PG60110 | João Pedro Fernandes Duarte |
PG60236 | Ana Sá Oliveira |
PG60240 | Cláudia Rego Faria |
PG60251 | Edgar Eira Araújo |
PG60257 | Gabriel Costa Paiva |
PG60260 | Gonçalo Alexandre Lopes Norton Caixeiro |
PG60265 | Henrique Pinto Pires Lopes de Faria |
PG60279 | Luís Miguel Alves e Silva |
PG60287 | Patrícia Daniela Fernandes Bastos |
PG61130 | Ana Margarida Campos Pires |
PG61135 | Carlos Diogo Fernandes Pina |
PG61144 | João Machado Gonçalves |
PG61153 | Miguel Torres Carvalho |
PG61542 | Renato Pereira Garcia |
Por favor consultar o calendário do perfil
Os elementos de avaliação desta UC são:
1 teste escrito (TE) individual, sem consulta, passível de exame de recurso
1 apresentação oral (AO) individual de um artigo técnico na área científica da UC
1 trabalho de grupo (TG) de 3 alunos.
Há dois regimes à escolha para obter aprovação à UC:
Regime A) TE + AO a valerem respectivamente 60% e 40% da nota final. A nota máxima neste regime é 14 valores.
Regime B) TE + AO + TG a valerem respectivamente 40%, 20% e 40% da nota final. O trabalho (TG) é avaliado através de uma defesa oral.
Finalmente:
Aos alunos com nota final no intervalo [8..10[ será facultada a possibilidade de fazerem uma oral.
A nota mínima da componente TE é 8 valores, havendo lugar a exame de recurso para os alunos que tenham tido nota TE negativa. As componentes TG e AO têm nota mínima de 10 valores e não têm recurso.
Os alunos deverão comunicar a sua escolha de regime de avaliação até uma data que será aqui afixada brevemente.
A escolha de regime de avalição é vinculativa, isto é, não irá ser permitido mudar de regime a meio.
Por omissão, aos alunos que não comunicarem a sua escolha será atribuído o Regime A.
Electrónico: FAQS + via correio electrónico para o docente. (Garantir sempre que “CSI” faz parte do assunto.)
On-line: por combinação com o docente, via BBCU, Zoom etc
Presencial: JNO: 5ª-feira, 14h-15h, por marcação verbal ou por e-mail com um mínimo de uma semana de antecedência, junto do respectivo docente; LSB: TBC
TBC