Métodos Formais em Engenharia de Software |
---|
Cálculo de Sistemas de Informação |
Programação Ciber-física |
Verificação Formal |
Calendário | Sumários |
Anos anteriores |
Alumni |
16-Abr: a aula de compensação amanhã de manhã, 17-Abr, 10h-13h, será a E7-0.09.
14-Abr: para o 1º teste (dia 18-Abr, 16h) os alunos podem levar, como únicos elementos de consulta, os formulários de CSI e de CP.
14-Abr: os alunos que tiverem escolhido o método B como regime de avaliação devem, até 26 de Abril, comunicar nesta folha os respectivos grupos TP (3 alunos cada).
08-Mar: publicada a folha de problemas práticos nr.º 2, bem como uma página de FAQs.
Docente | Foto | Horário | Sala |
---|---|---|---|
José Nuno Oliveira | 5ª-feira, 16h-19h (T+TP) | E1-1.05 |
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: 5ª-feira, 11h-13h, por marcação verbal ou por e-mail com um mínimo de uma semana de antecedência, junto do respectivo docente.
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 … Como será possível ensinar tudo isso a um sistema de informação sem se estudar a sério o que é uma relação (no sentido formal do termo) e como raciocinar com relações? É esse o principal objectivo desta disciplina.
Há 2 regimes da avaliação à escolha para obter aprovação nesta unidade curricular:
Regime A) 2 testes sem consulta cuja média seja ≥ 10. A nota máxima neste regime é 14 valores. Aos alunos com média no intervalo [8..10[ será facultada a possibilidade de fazerem uma oral.
Regime B) 2 testes sem consulta com nota mínima 8, cuja média valerá 60% da nota final + realização de um trabalho prático de grupo de 3 alunos com nota mínima 10 (40% da nota final). O trabalho será avaliado através de um relatório e uma defesa oral.
Segundo o regime geral em vigor, há lugar a exame de recurso para os alunos que tenham tido média dos testes negativa. A nota no trabalho prático não tem recurso.
Escolha do regime de avaliação:
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.
Por favor entrar aqui
Data | Hora | Local | Curso(s) | Descrição | Enunciado |
---|---|---|---|---|---|
18-Abr | 16h | E1-1.05 | MEI/MMC | 1º Teste | |
23-Mai | TBA | TBA | MEI/MMC | 2º Teste | |
TBA | TBA | TBA | MEI/MMC | Recurso | |
TBA | TBA | TBA | MEI/MMC | Especial |
Por favor consultar o calendário do perfil.
Mais material ficará disponível aqui à medida que as aulas forem decorrendo.