Modelação e Validação de Sistemas Concorrentes
Código
11560
Unidade Orgânica
Faculdade de Ciências e Tecnologia
Departamento
Departamento de Informática
Créditos
6.0
Professor responsável
Carla Maria Gonçalves Ferreira, Luís Manuel Marques da Costa Caires
Horas semanais
4
Total de horas
84
Língua de ensino
Português
Método de avaliação
A avaliação é contínua é composta por:
- Componente teórica: 2 testes. A média das notas dos testes terá um peso de 70% na classificação final.
- Componente prática: 2 projetos. A média das notas dos projetos terá um peso de 30% na classificação final.
- Participação nas aulas teóricas e práticas poderão dar um bónus de 10% na classificação final.
Nota: O exame final, quando realizado tanto para aprovação como para melhoria de nota, substitui a componente teórica no cálculo da classificação final.
Para obter frequência à UC é necessário:
- Classificação mínima de 7.0 valores em cada um dos projetos; e
- Média da classificação dos projetos superior ou igual a 9.5 valores.
Nota: Alunos com frequência do ano anterior podem requerer que a classificação de frequência obtida no ano anterior seja considerada este ano.
Para obter aprovação à disciplina é necessário:
- Ter frequência à diciplina, obtida neste ano ou no ano passado;
- Média da componente teórica seja superior ou igual a 9.5 valores; e
- Classificação final seja superior ou igual a 9.5 valores.