Métodos Formais em Engenharia de SoftwareMestrado Integrado em Engenharia Informática - MFES 2019/2020
|
Tópicos
Avisos
17 Set - Vídeo de apresentação da edição de
 2020/21.
30 Mar - VF: alteração do método de avaliação.
21 Fev - VF: aula de substituição será, 4ª feira, 26-Fev, às 14:00, na sala 0.04 do DI.
10 Fev - CSI: afixadas as notas finais na página de CSI.
4 Fev - As aulas de AC e VF iniciam-se esta quinta-feira, 6-Fev.
28 Jan - CSI: o exame de recurso terá lugar na sala E2-1.10 às 9h00.
26 Jan - CSI: estão lançadas as classificações após a realização do teste - ver página CSI. Atendimento para mostrar os testes: dia 27-Jan, às 16h.
13 Jan - CSI: a aula de dúvidas amanhã de tarde será às 17h, na sala 0.09, e não às 16h, como por lapso disse a alguns alunos. Pf ver Sumarios.
13 Jan - CSI: matéria para a parte 2 do teste - ver FAQ 9 na página de CSI.
13 Jan - CSI: o teste terá lugar no dia 16-Jan às 14h, na sala E7-0.07.
13 Jan - CSI: haverá uma aula de dúvidas amanhã de tarde, na sala 0.09, pf ver Sumarios.
5 Jan - EM: o prazo para a entrega do TP2 foi adiado uma semana.
2 Jan - CSI: estão lançadas as classificações do mini-teste na página CSI.
3 Dez - CSI: os alunos devem prestar atenção ao material pedagógico que vai aparecendo na página da disciplina.
24 Nov - CSI: os alunos devem prestar atenção às FAQs que vão saindo na página da disciplina.
12 Nov - CSI: mini-teste terá lugar no dia 28-Nov às 14h, na sala E7-0.07. Haverá aula depois até às 17h.
10 Nov - CSI: Caso de estudo da aula de 7-Nov ('campeonato de futebol') adicionado ao material da disciplina.
29 Out - CSI: Formulário actualizado colocado na página respectiva.
2 Out - Atenção à mudança de sala de ATS: passa para CP2.-2.08.
26 Set - Atenção à mudança de sala de CSI: passa da 1.10 para a 0.07 (Edifício 7).
17 Set - Início das aulas: 17-Set (ATS).
-- JoseNunoOliveira - 17 Sep 2019
|
Bem-vindo ao Perfil de MFESBem vindo à página da edição de 2019/20 do perfil de Métodos Formais em Engenharia de Software.
Este perfil de especialização do MiEI conta com uma equipa de docentes altamente qualificados na investigação e ensino de métodos formais aplicados ao desenvolvimento de software.
Todos fazemos parte do Laboratório HASLab/U.Minho
(Formal Methods for High-Assurance Software),
em que se vem consolidando know-how em métodos formais desde há mais de 30 anos.
As unidades curriculares que compoem MFES corporizam os principais vectores de que depende o projecto de aplicações fiáveis, à escala industrial.
Na sua componente teórica, a visão é a de abordar problemas de software segundo uma autêntica perspectiva de engenharia, que permite - através da modelos sobre os quais é possível raciocinar e calcular - prever o comportamento dos programas antes de serem escritos. Uma vez escritos, MFES ensina como fazer a sua análise e teste, dois ingredientes essenciais à qualidade do software.
O HASLab/U.Minho orgulha-se de ter sido  convidado a organizar o 3º congresso mundial de MF, que terá lugar no Porto em Outubro de 2019.
Classificação ACMNúmero de ECTS por área de conhecimento, segundo as IEEE/ACM Curriculum Guidelines for Software Engineering:
Outros cursos sobre Métodos Formais
Divulgação
Parcerias
|
Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.