Theses and Dissertations

PhD Theses

• Rodrigo Bonifácio de Almeida. Modeling SPL Variability in Use Case Scenarios - An Approach Based on Crosscutting Mechanisms. PhD thesis, Informatics Center, Federal University of Pernambuco, Recife, Brazil. March 2010. (The presentation is here)

• Alberto Costa Neto. Specifying Design Rules in Aspect-Oriented Systems. PhD thesis, Informatics Center, Federal University of Pernambuco, Recife, Brazil. March 2010. (The presentation is here)

• Eduardo Aranha. Estimating Test Execution Effort Based on Test Specifications. PhD thesis, Informatics Center, Federal University of Pernambuco, Recife, Brazil. January 2009.

• 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

• Carlos Eduardo Pontual. Design Rules For Increasing Modularity With CaesarJ. Master's thesis, Informatics Center, Federal Universisty of Pernambuco, Recife, Brazil. June 2010. (The presentation is here)

• Leopoldo Teixeira. Verification and Refactoring of Configuration Knowledge for Software Product Lines. Master's thesis, Informatics Center, Federal Universisty of Pernambuco, Recife, Brazil. January 2010. (The presentation is here)

• Liana Silva. Testware Support: Addressing Test Elements and Supporting a Benchmarking Framework in Aspect-Oriented Software Assessment. Master's thesis, Department of Computing and Systems, Universisty of Pernambuco, Recife, Brazil. July 2009. (The presentation is here)

• Marcelo Moura. A Benchmarking Framework to Evaluate Aspect-Oriented Software Maintainability (in portuguese). Master's thesis, Department of Computing and Systems, Universisty of Pernambuco, Recife, Brazil. September 2008. (The presentation is here)

• Mario Monteiro. An Impact Evaluation of Software Evolution over its Architecture (in portuguese). Master's thesis, Department of Computing and Systems, Universisty of Pernambuco, Recife, Brazil. August 2008. (The presentation is here)

• Pedro Matos Jr. Analysis of Techniques for Implementing Variabilities in Software Product Lines. Master's thesis, Informatics Center, Federal Universisty of Pernambuco, Recife, Brazil. Fevereiro 2008.

• Márcio Ribeiro. Restructuring Test Variabilities in Software Product Lines. Master's thesis, Informatics Center, Federal Universisty of Pernambuco, Recife, Brazil. Fevereiro 2008. (The presentation is here)

• Marcos Dósea. An Approach for Aspect-Oriented Software Design (in portuguese). Master's thesis, Informatics Center, Federal Universisty of Pernambuco, Recife, Brazil. Fevereiro 2008.

• 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. Generation and Execution of Acceptance Tests for Web Systems (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.

-- CarlosEduardoPontual - 28 Jul 2010 -- AlbertoNeto - 06 May 2010 -- AlbertoNeto - 19 Mar 2010 -- EduardoAranha - 19 Mar 2010 -- LeopoldoTeixeira - 17 Mar 2010 -- SergioSoares - 07 Jul 2009 -- MarcioRibeiro - 08 Sep 2008 -- MarcioRibeiro - 12 May 2008 -- TiagoMassoni - 19 Apr 2008 -- MarcosDosea - 26 Mar 2008 -- PauloBorba - 23 Oct 2005 -- EduardoAranha - 16 Aug 2006