14 Jun - VF:
O exame de VF realiza-se no dia 19 de Junho (4ª feira), às 14:00, na sala CP2 1.12.
Os alunos deverão trazer os seus computadores pessoais com o software utilizado nas aulas instalado. É permitida a consulta da documentação na parte laboratorial do exame.
14 Jun - VF:
As notas dos projecto e notas finais foram lançadas no Blackboard.
11 Jun - VF:
As notas do 2º teste foram lançadas no Blackboard.
3 Jun - VF:
A apresentação dos projectos realiza-se no dia 12 de Junho (4º feira), às 9:00, na sala 1.10 do DI.
As apresentações são de 15 min. + 5 min. para perguntas.
Todos os alunos deverão estar presentes na sessão.
Os relatórios deverão ser entregues por email até ao dia 10 de Junho.
27 Mai - VF:
O 2º teste de VF realiza-se na próxima 5ª feira, 30 de Maio, às 14:00, na sala E7 1.10.
Os alunos deverão trazer os seus computadores pessoais com o sistemas Frama-C e CBMC instalados. É permitida a consulta da documentação.
16 Abr - VF: As notas do 1º teste foram lançadas no Blackboard.
16 Abr - VF:
A distribuição dos projectos por grupos já está disponível na página de VF.
4 Abr - VF: Os temas dos projectos estão disponíveis. Por favor, comuniquem as vossas escolhas dos projectos a mjf@di.uminho.pt até 15-Abr.
26 Fev - A Workshop ClearSy terá lugar 4ª-feira 6-Mar, às 14h30. Estejam atentos a mais informações. Até lá, recomenda-se que vejam este video.
10 Fev - LEI: a quem estiver interessado - por favor comuniquem as vossas escolhas dos projectos em LEI a jno@di.uminho.pt até 21-Fev.
10 Fev - CSI: as notas após o exame de recurso foram lançadas na página de CSI.
31 Jan - VF: As aulas de Verificação Formal começam a 14-Fev.
29 Jan - Informa-se que o exame de recurso de CSI foi adiado para dia 6-Fev, às 15h00, na sala 0.05 do DI.
29 Jan - EM: as notas do exame foram lançadas no blackboard da disciplina.
28 Jan - O enunciado do teste de CSI tem agora a correcção proposta.
28 Jan - A Workshop ClearSy de que se falou nas aulas está prevista para 6-Mar (em não Fevereiro como arradamente se referiu). Será conduzida por Thierry Lecomte, especialista em uso de MFs na indústria dos transportes.
27 Jan - CSI: as notas à data do teste foram lançadas na página de CSI.
22 Jan - EM: as notas finais da época normal foram lançadas no blackboard da disciplina. (correção parcial na wiki)
16 Jan - CSI: o teste de CSI de amanhã decorrerá na sala 0.05 do DI.
15 Jan - EM: as notas do segundo teste foram lançadas no blackboard da disciplina.
11 Jan - CSI: as notas do mini-teste foram lançadas na página de CSI.
9 Jan - EM: o teste de EM decorrerá na sala 0.05 do DI.
30 Dec - EM: as notas do TP1 e do primeiro mini-teste foram lançadas no blackboard da disciplina.
21 Dec - EM: foi lançado o enunciado do TP2 sobre Alloy na página EM. A data limite da entrega é 20-Jan.
13 Dez - O segundo teste de EM decorrerá no dia 10-Jan às 9h00 (sala a indicar). O segundo teste de CSI decorrerá no dia 17-Jan (sala e hora a confirmar).
8 Dez - Lista recente e actualizada de empresas que usam métodos formais na indústria.
28 Nov - CSI: haverá hoje uma aula de dúvidas às 16h00, na sala 1.16.
24 Nov - CSI: já está disponível o formulário na página de CSI, bem como algumas FAQs.
24 Nov - CSI: o mini-teste decorrerá às 14h00 de 29-Nov, na sala das aulas. Os alunos podem consultar (apenas) informação escrita ou impressa.
14 Nov - EM: o primeiro teste decorrerá às 9h00 na sala das aulas. Podem usar os portáteis para testar execuções no NuSMV.
8 Nov - CSI: em casa, completar os invariantes I3 e I4 do modelo Alloy do problema Plano de Estudos do MEI saído da aula de hoje material pedagógico na página CSI.
5 Nov - CSI: há novo material pedagógico na página CSI.
25 Out - EM: foi lançado o enunciado do TP1 sobre NuSMV na página EM. A data limite da entrega é 11-Nov.
21 Out - CSI: ver exemplos Alloy das aulas na página CSI.
02 Out - CSI: preparação para as aulas: ver sumários previstos e seguir as respectivas indicações nos apontamentos fornecidos na bibliografia. (Em CSI segue-se o método 'Flipped Classroom')
15 Set - Início das aulas: 20-Set, 9h00, sala E7 1.10.
Bem vindo ao Perfil de MFES Bem vindo à página da edição de 2018/19 do perfil de Métodos Formais em Engenharia de Software . Este perfil de especialização do conta ...
14 Jun VF : O exame de VF realiza se no dia 19 de Junho (4ª feira), às 14:00, na sala CP2 1.12 . Os alunos deverão trazer os seus computadores pessoais com ...
Cohesive Project (Lab. EI) Material Interesting and useful slides for preparing your milestone presentations: http://research.microsoft.com/en us/um/people/simonpj ...
Education/MFES1819 Web Preferences The following settings are web preferences of the Education/MFES1819 web. These preferences overwrite the site level preferences ...
UC4 Arquitectura e Cálculo (2ª semestre) Este curso tem por objectivo o estudo de modelos e cálculos em arquitectura de software, com ênfase nos sistemas reactivos ...