Ana Paiva, Ph.D.

personal web site

• Personal
• CV
• Teaching
• Activities
• Research
• Tools
• Home
•  

2011/2012

• Engenharia de Software, 1S
• Métodos Formais em Engenharia de Software, 1S
• Teste e Qualidade de Software, 1S
• Tópicos de Investigação em Engenharia de Software, 1S, 1S
• Engenharia de Requisitos para Serviços, 2S

2010/2011

• Dissertação, A
• Engenharia de Software, 1S
• Métodos Formais em Engenharia de Software, 1S
• Teste e Qualidade de software, 1S
• Tópicos de Investigação em Engenharia de Software, 1S
• Dissertação, 2S
• Engenharia de Requisitos para Serviços, 2S

2009/2010

• Engenharia de Software, 1S
• Teste e Qualidade de software, 1S
• Tópicos de Investigação em Engenharia de Software, 1S
• Dissertação, 2S
• Métodos Formais em Engenharia de Software, 2S

2008/2009

• Engenharia de Software, 1S
• Projecto FEUP, 1S
• Teste e Qualidade de software, 1S
• Dissertação", 2S
• Métodos Formais em Engenharia de Software, 2S
• Projecto, 2S

2007/2008

• Algoritmos e Estruturas de Dados, 1S
• Dissertação, 1S
• Engenharia de Software Guiada por Modelos, 1S
• Projecto, 1S
• Projecto FEUP, 2S
• Teste e Qualidade de software, 1S
• Projecto, 2S

2006/2007

• Compiladores, 1S
• Complementos de Programação e Algoritmos, 1S
• Estágio Curricular, 2S
• Métodos Formais em Engenharia de software, 2S

2002/2003

• Laboratório de Bases de Dados, 1S
• Sistemas de Informação, 1S
• Estágio Curricular, 2S
• Laboratório de Bases de Dados, 2S

2001/2002

• Laboratório de Sistemas de Gestão de Bases de Dados, 1S
• Sistemas de Informação, 1S
• Algoritmos e Estruturas de Dados, 2S
• Tecnologia de Sistemas de Gestão de Bases de Dados, 2S

2000/2001

• Laboratório de Sistemas de Gestão de Bases de Dados, 1S
• Sistemas de Informação, 1S
• Sistemas Operativos, 1S
• Algoritmos e Estruturas de Dados, 2S
• Tecnologia de Sistemas de Gestão de Bases de Dados, 2S
• Teoria da Computação II, 2S

1999/2000

• Sistemas de Informação, 1S

© 2010 Ana Paiva | Original design by Andreas Viklund and dr. Hasan Sözer