Métodos Formais em Engenharia de Software

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

Tópicos

Avisos

15 Jul - Exame de recurso do módulo CSI - terá lugar dia tinynew.gif 18 de Julho (5ª-feira), às 9h30, na sala DI 1.08.

15 Jul - Publicadas as notas finais da época normal em tinynew.gif Funcionamento

6 Jul - As notas finais de AMT foram publicadas.

10 Jun - As classificações do teste de CSI encontram-se em Funcionamento.

08 Jun - Milestone 4 (PI): recomenda-se a leitura de How to write a great research paper (ver tinynew.gif Projecto) na preparação dos slides+relatório a apresentar nesta milestone final.

06 Jun - A Milestone 4 do PI terá lugar no dia 27-Jun - ver planeamento em tinynew.gif Sumários.

06 Jun - Chama-se a atenção dos alunos para o preenchimento na intranet dos inquéritos pedagógicos até tinynew.gif 3-Jul 2013.

13 Fev - Teste do módulo CSI - terá lugar dia 1 de Março (6ª-feira), às 9h00, na sala DI 1.08.

04 Jan - a milestone nr.1 do Projecto integrado terá lugar na próxima quinta-feira, 10-Jan, das 14h00 às 18h00, na sala DI 1.08 (1º andar do edifício do DI), sendo transmitidas via Skype para os supervisores nas empresas.

13 Nov - A WS de apresentação dos projectos (PI) aos alunos aulas terá lugar na próxima quinta-feira, 15-Nov, das 12h00 às 18h00, na sala DI 1.08 (1º andar do edifício do DI).

28 Set - As aulas iniciam-se na próxima quinta-feira, 4-Out, às 9h00, na sala DI 1.08 (1º andar do edifício do DI).

24 Set - A apresentaçao desta UC na Semana Inaugural MEI @ 2012/2013 terá lugar no dia 27-Set às 16h00, ver Sumários.

13 Set - Criação do site.

Projecto Integrado (Cohesive Project)

Interesting and useful slides for preparing the milestones:

Start-up Workshop (15-Nov-2012)

  • Project theme proposals: PDF tinynew.gif

  • Slides of some presentations: PDF + PDF tinynew.gif

Projects / Groups

Group Project Partnership External supervisor(s) Tutors Student Name Photo
A Extending transaction handling to application logic SIG M. Ferreira, J. Visser J.N. Oliveira pg22796 André Santos Andre Santos
pg21319 Victor Miraldo  
B Formalization of the Outsystems Visual Language Outsystems Tiago L. Alves & Lúcio Ferrão M.A. Cunha pg23205 Daniel Murta Daniel Murta
pg22811 Guilherme Rodrigues Guilherme Rodrigues
C Verification of a C library with Frama-C Galois Aaron Tomb J.S. Pinto pg22840 Cristiano Sousa Cristiano Sousa
pg22815 Nuno Carvalho  
D Especificação, implementação e validação formal do processo de cálculo do preço de custo médio de artigos Primavera Software Afonso Macedo J.B. Barros PG22759 Celso Silva  
PG22766 Fábio Esteves  
E Fault containment in component-based software systems SIG M. Ferreira, J. Visser J.N. Oliveira pg22576 Tiago Ferreira Tiago Ferreira
pg22577 Xavier Pinho  
F Model validation through test case generation CSAIL/MIT Eunsuk Kang M.A. Cunha pg22832 Tiago Guimarães  
pg23208 José Pinheiro  
G Integration of Model Checking and Theorem Proving in the IVY workbench QMUL/UK Paolo Masci, Michael Harrison J.F. Creissac   Thiago Ramos  
  Deise Santana Maia  
pg22578 Abílio Couto  
H Quality indicators for agile platform applications Outsystems Tiago L. Alves & Lúcio Ferrão M.J. Frade pg22812 Tiago Jorge Tiago
pg22808 Maria João Magalhães Maria joao
pg16334 José Miguel Magalhães  

r17 - 08 Jun 2013 - 11:33:41 - JoseNunoOliveira
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM