Theses and Dissertations

PhD Theses

• Tiago Massoni. A Model-driven Approach to Formal Refactoring. PhD thesis, Informatics Center, Federal University of Pernambuco, Recife, Brazil. August 2007. (The presentation is here)

• Rohit Gheyi. A Refinement Theory for Alloy. PhD thesis, Informatics Center, Federal Universisty of Pernambuco, Recife, Brazil. August 2007. (The presentation is here)

• Vander Alves. Implementing Software Product Line Adoption Strategies(2.7 Mb). PhD thesis, Informatics Center, Federal Universisty of Pernambuco, Recife, Brazil. March 2007. (The presentation is here)

• Sérgio Soares. An Aspect-Oriented Implementation Method(1.5 Mb). PhD thesis, Informatics Center, Federal Universisty of Pernambuco, Recife, Brazil. October 2004. (The presentation is here)

MSc dissertations

• Marcos Dósea. Uma Abordagem para Projeto de Software Orientado a Aspectos (in portuguese). Master's thesis, Informatics Center, Federal Universisty of Pernambuco, Recife, Brazil. Fevereiro 2007.

• Adeline Sousa. Generation of Transformation System (in portuguese). Master's thesis, Informatics Center, Federal Universisty of Pernambuco, Recife, Brazil. August 2006.

• Gustavo Santos. Refactoring Support in a General Purpose Transformation System (in portuguese). Master's thesis, Informatics Center, Federal Universisty of Pernambuco, Recife, Brazil. March 2006.

• Leonardo Cole. Deriving Refactorings for AspectJ. Master's thesis, Informatics Center, Federal Universisty of Pernambuco, Recife, Brazil. February 2005.

• Rohit Gheyi. Basic Laws of Object Modeling . Master's thesis, Informatics Center, Federal Universisty of Pernambuco, Recife, Brazil. February 2004.

• Ayla Débora Dantas de Souza. Structuring Adaptive Applications Using AspectJ . Master's thesis, Informatics Center, Federal Universisty of Pernambuco, Recife, Brazil. February 2004. (The presentation is here)

• Eduardo Aranha. Geração e Execução de Testes de Aceitação de Sistemas Web (in portuguese). Master's thesis, Informatics Center, Federal Universisty of Pernambuco, Recife, Brazil. April 2002.

• Klissiomara Lopes. Structuring Enterprise JavaBeans Applications (in portuguese). Master's thesis, Informatics Center, Federal Universisty of Pernambuco, Recife, Brazil. March 2002.

• Eduardo Laureano. Persistence Implementation with AspectJ. Master's thesis, Informatics Center, Federal Universisty of Pernambuco, Recife, Brazil. January 2002.

• Tiago Massoni. A software process supporting progressive implementation (in portuguese). Master's thesis, Informatics Center, Federal Universisty of Pernambuco, Recife, Brazil. February 2001.

• Sérgio Soares. Progressive Development of Concurrent Object-Oriented Programs (in portuguese). Master's thesis, Informatics Center, Federal Universisty of Pernambuco, Recife, Brazil. February 2001. (The presentation is here)

• Vander Alves. Progressive Development of Distributed Object-Oriented Applications. Master's thesis, Informatics Center, Federal Universisty of Pernambuco, Recife, Brazil. February 2001.

• Euricelia Viana. A Method for object-oriented implementation using Java and relational Databases (in portuguese). Master's thesis, Informatics Center, Federal Universisty of Pernambuco, Recife, Brazil. Mach 2000.

-- TiagoMassoni - 19 Apr 2008 -- MarcosDosea - 26 Mar 2008 -- PauloBorba - 23 Oct 2005 -- EduardoAranha - 16 Aug 2006