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 | |