Métodos Formais em Engenharia de Software MIEIC — 4º ano 2013/14 |
Avaliação: |
Obtenção de frequência Nota mínima de 45% no mini teste. Nota mínima de 45% no trabalho prático.
Cálculo da classificação final Avaliação distribuída com exame final, com as seguintes componentes: a) mini teste de Alloy, com consulta, duração de 1h, peso 40%, nota mínima de 45%. b) trabalho prático de VDM++, peso 25%, nota mínima de 45%. c) exame final com consulta, duração 1h30, peso 35%, nota mínima de 45%.
Avaliação especial (TE, DA, …) Os trabalhos são obrigatórios para TODOS os alunos, mesmo para os alunos dispensados de frequência às aulas.
Melhoria de Classificação Final/Distribuída A classificação do mini teste só poderá ser melhorada em exame de recurso. Os alunos que não obtiverem aprovação no mini teste poderão fazer um módulo adicional de 1h no exame final da época de recurso. A classificação do exame pode ser melhorada em exame de recurso. As classificações obtidas no trabalho prático podem ser melhoradas na edição seguinte da disciplina.
Classificação do miniteste de 2013-02-04 Classificação do trabalho de VDM++ Classificação da segunda chamada Exames anos anteriores: · 20130204 · 20130116 · 20140122
|