Modelação e Validação de Sistemas Concorrentes

Objectivos

A disponibilizar brevemente

Caracterização geral

Código

11560

Créditos

6.0

Professor responsável

António Maria Lobo César Alarcão Ravara, Carla Maria Gonçalves Ferreira

Horas

Semanais - 4

Totais - 84

Idioma de ensino

Português

Pré-requisitos

A disponibilizar brevemente

Bibliografia

A disponibilizar brevemente

Método de ensino

A disponibilizar brevemente

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.

Conteúdo

A disponibilizar brevemente

Cursos

Cursos onde a unidade curricular é leccionada: