Projecto Integrado (Cohesive Project)
Interesting and useful slides for preparing the milestones:
Start-up Workshop (15-Nov-2012)
- Project theme proposals: PDF
- Slides of some presentations: PDF + PDF
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 | |
pg21319 | Victor Miraldo | |
B | Formalization of the Outsystems Visual Language | Outsystems | Tiago L. Alves & Lúcio Ferrão | M.A. Cunha | pg23205 | Daniel Murta | |
pg22811 | Guilherme Rodrigues | |
C | Verification of a C library with Frama-C | Galois | Aaron Tomb | J.S. Pinto | pg22840 | 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 | |
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 | |
pg22808 | Maria João Magalhães | |
pg16334 | José Miguel Magalhães | |