Métodos Formais em Engenharia de Software

Mestrado de [Engenharia] Informática (13/14)

Tópicos

Avisos

23 Jul - Lançadas as classificações finais da UCE: ver Funcionamento.

14 Jul - Correcção do teste de CSI: ver enunciado no material pedagógico.

24 Jun - Sessão de correcção do teste de CSI: será dia 26-Jun, 17h, sala DI 1.08.

22 Jun - Classificações do teste de CSI: ver Funcionamento.

18 Jun - Chama-se a atenção dos alunos para a realização das JOIN'14 - XII Jornadas de Informática da Universidade do Minho

18 Jun - A data da última 'milestone' do Projecto Integrado foi adiada para 3-Jul, ver sumários.

22 Mai - A pedido da organização, divulga-se e sugere-se a participação dos alunos no TIUP 2014

25 Abr - AMT: finalmente foram publicadas as notas do teste de Alloy! Em princípio as próximas notas serão lançadas durante a próxima semana.

22 Fev - Publicado oFormulário de CSI em material pedagógico.

05 Fev - CSI: colectados num único PDF todos os exercícios de CSI no material pedagógico.

17 Dez Já estão definidos os tutores de cada grupo, cf. Projecto. Cada grupo deverá entrar em contacto com o seu tutor para definirem horário conveniente para o PI e arrancarem com os trabalhos.

6 Dez - Sugestão de leitura para alunos de MFES... e não só!

12 Nov - Foi criada uma mailing list para a edição 13/14 de MFES. Recomenda-se a subscrição a todos os alunos.

12 Nov - AMT: exemplos do barqueiro adicionados na secção de material pedagógico.

04 Nov - CSI: o módulo Alloy RelCalc.als que se adicionou ao Material pedagógico deve ser estudado como preparação para a próxima aula.

31 Out - CSI: O sumário da TP1 de hoje (11h30) inclui o código Alloy que deve ser usado como ponto de partida para o problema de programação sugerido na aula.

24 Out - FAQs de CSI: ver Material pedagógico (no fim).

07 Out - O código de activação de pré-inscrição nesta UC no e-Learning pode ser obtido carregando aqui.

23 Set - As aulas iniciam-se no próximo dia 3 de Outubro. Ver detalhes em: Calendário

11 Set - Criação do site.

Cohesive Project (Projecto Integrado)

Interesting and useful slides for preparing your milestone presentations:

Start-up Workshop (5-Dec-2013)

  • Project theme proposals: contact the MFES team

2nd Workshop (30-Jan-2014)

Group presentations (30 mins each)

3rd Workshop (10-Apr-2014)

Group presentations (30 mins each)

4th Workshop (22-May-2014)

Group presentations (30 mins each)

Final Workshop (03-Jul-2014)

Final evaluation by industrial partners.

Our Skype-ID: uminho-di-a1

Schedule:

Time Group Partnership Project Report tinynew.gif Slides tinynew.gif Ref External supervisor(s) Tutors
10h00 C Altreonic Event B Support for Formal or specification focused front-end for RTOS applications PDF PDF Al1 Eric Verhulst J.N. Oliveira
(break)                
11h30 G Efacec Optimization of C code for Critical Systems PDF PDF Ef1 J. Martins J.S. Pinto
12h10 E Efacec Centralized Interlocking PDF PDF Ef2 J. Martins L.S. Barbosa
(lunch)              
14h00 H Educed Extending PROVA for architecture definition and traceability PDF PDF Ed2 J.M. Faria L.S. Barbosa
14h40 D Educed Extending PROVA for ontologies definition and exchange PDF PDF Ed1 J.M. Faria M.A. Cunha
16h00 (8h00 in Portland) B Galois Using Cryptol to explore ECC-based random-number generators PDF PDF G1 Joe Hendrix J.N. Oliveira
17h00 (9h00 in Portland) A Galois Design and implement a Haskell library for easy interaction with SMT solvers PDF PDF G4 Iavor Diatchki M.J. Frade
18h00 (10h00 in Portland) F Galois Exploring post-quantum cryptographic algorithms in Cryptol PDF PDF G3 Joe Kiniry (Dylan McNamee) M.B. Barbosa

Projects / Groups

Group Ref Projectup Partnership External supervisor(s) Tutors Nr Student Photo
E Ef2 Centralized Interlocking Efacec João Martins e Hélder Azevedo L.S. Barbosa pg25285 Jorge Lobo Teixeira Lopes Lopes
E Ef2 Centralized Interlocking Efacec João Martins e Hélder Azevedo L.S. Barbosa pg25332 Paulo Alexandre Ribeiro Silva  
A G4 Design and implement a Haskell library for easy interaction with SMT solvers Galois Iavor Diatchki M.J. Frade pg25313 Nuno Miguel da Costa Laranjo Laranjo
A G4 Design and implement a Haskell library for easy interaction with SMT solvers Galois Iavor Diatchki M.J. Frade pg25318 Rogério António da Costa Pontes Pontes
C Al1 Event B Support for Formal or specification focused front-end for RTOS applications Altreonic Eric Verhulst J.N. Oliveira pg22766 Fábio Esteves Sousa  
C Al1 Event B Support for Formal or specification focused front-end for RTOS applications Altreonic Eric Verhulst J.N. Oliveira pg25328 Miguel Ângelo Gomes da Costa  
F G3 Exploring post-quantum cryptographic algorithms in Cryptol Galois Dylan McNamee M.B. Barbosa pg25311 Luís Miguel Pereira Constantino Romano Romano
F G3 Exploring post-quantum cryptographic algorithms in Cryptol Galois Dylan McNamee M.B. Barbosa pg25301 Vitor Manuel Parreira Pereira Vitor Manuel Parreira Pereira
H Ed2 EXTENDING PROVA FOR ARCHITECTURE DEFINITION AND TRACEABILITY Educed José Miguel Faria L.S. Barbosa pg26119 Fábio André Martins Fernandes  
H Ed2 EXTENDING PROVA FOR ARCHITECTURE DEFINITION AND TRACEABILITY Educed José Miguel Faria L.S. Barbosa pg25263 Telma Ferreira Correia Telma Ferreira Correia
D Ed1 EXTENDING PROVA FOR ONTOLOGIES DEFINITION AND EXCHANGE Educed José Miguel Faria M.A. Cunha pg25300 Damien da Silva Vaz Damien da Silva Vaz
D Ed1 EXTENDING PROVA FOR ONTOLOGIES DEFINITION AND EXCHANGE Educed José Miguel Faria M.A. Cunha pg25340 Yoan David Ribeiro Yoan David Ribeiro
G Ef1 Optimization of C code for Critical Systems Efacec João Martins e Hélder Azevedo J.S. Pinto pg25299 Helder Cristiano Dias Afonso Helder Cristiano Dias Afonso
G Ef1 Optimization of C code for Critical Systems Efacec João Martins e Hélder Azevedo J.S. Pinto pg26133 João Carlos Alves Cruz João Carlos Alves Cruz
B G1 Using Cryptol to explore ECC-based random-number generators Galois Joe Hendrix J.N. Oliveira pg19643 Ana Catarina Pereira Correia Catarina Correia
B G1 Using Cryptol to explore ECC-based random-number generators Galois Joe Hendrix J.N. Oliveira pg25335 Ana Paula Martins Carvalho Ana Paula Martins Carvalho

-- JoseNunoOliveira - 11 Sep 2013

r27 - 15 Oct 2014 - 16:37:56 - JoseNunoOliveira
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM