| # | Name / Author | Supervisor / Affiliation | Status |
|---|---|---|---|
| 1 | Verification, Slicing, and Visualization of Programs with Contracts
Author: Daniela Carneiro da Cruz |
Supervisor: Pedro Manuel Rangel Henriques UM - DI / CCTC |
Concluded 2007 - 2011 |
| 2 | Adaptive Object-Modeling: Patterns, Tools and Applications
Author: Hugo José Sereno Lopes Ferreira |
Supervisor: Ademar Manuel Teixeira de Aguiar UP - FEUP - DEI / CSIG - INESC TEC |
Concluded 2007 - 2011 |
Events
Check incoming events
FAQ
For incoming Students
Check FAQ's for incoming students for answers to commonly asked questions.
FAQ
For current Students
Mailing List
Subscription