Projecto Integrado (Cohesive Project)

Interesting and useful slides for preparing the milestones:

• http://research.microsoft.com/en-us/um/people/simonpj/papers/giving-a-talk/writing-a-paper-slides.pdf

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
F	Model validation through test case generation	CSAIL/MIT	Eunsuk Kang	M.A. Cunha	pg22832	Tiago Guimarães
F	Model validation through test case generation	CSAIL/MIT	Eunsuk Kang	M.A. Cunha	pg23208	José Pinheiro
C	Verification of a C library with Frama-C	Galois	Aaron Tomb	J.S. Pinto	pg22840	Cristiano Sousa
C	Verification of a C library with Frama-C	Galois	Aaron Tomb	J.S. Pinto	pg22815	Nuno Carvalho
B	Formalization of the Outsystems Visual Language	Outsystems	Tiago L. Alves & Lúcio Ferrão	M.A. Cunha	pg23205	Daniel Murta
B	Formalization of the Outsystems Visual Language	Outsystems	Tiago L. Alves & Lúcio Ferrão	M.A. Cunha	pg22811	Guilherme Rodrigues
H	Quality indicators for agile platform applications	Outsystems	Tiago L. Alves & Lúcio Ferrão	M.J. Frade	pg22812	Tiago Jorge
H	Quality indicators for agile platform applications	Outsystems	Tiago L. Alves & Lúcio Ferrão	M.J. Frade	pg22808	Maria João Magalhães
H	Quality indicators for agile platform applications	Outsystems	Tiago L. Alves & Lúcio Ferrão	M.J. Frade	pg16334	José Miguel Magalhães
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
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	PG22766	Fábio Esteves
G	Integration of Model Checking and Theorem Proving in the IVY workbench	QMUL/UK	Paolo Masci, Michael Harrison	J.F. Creissac		Thiago Ramos
G	Integration of Model Checking and Theorem Proving in the IVY workbench	QMUL/UK	Paolo Masci, Michael Harrison	J.F. Creissac		Deise Santana Maia
G	Integration of Model Checking and Theorem Proving in the IVY workbench	QMUL/UK	Paolo Masci, Michael Harrison	J.F. Creissac	pg22578	Abílio Couto
A	Extending transaction handling to application logic	SIG	M. Ferreira, J. Visser	J.N. Oliveira	pg22796	André Santos
A	Extending transaction handling to application logic	SIG	M. Ferreira, J. Visser	J.N. Oliveira	pg21319	Victor Miraldo
E	Fault containment in component-based software systems	SIG	M. Ferreira, J. Visser	J.N. Oliveira	pg22576	Tiago Ferreira
E	Fault containment in component-based software systems	SIG	M. Ferreira, J. Visser	J.N. Oliveira	pg22577	Xavier Pinho