Theses and Dissertations

PhD Theses

• Paola Accioly. Understanding Collaboration Conflicts Characteristics PhD thesis, Informatics Center, Federal University of Pernambuco, Recife, Brazil. February 2018. (The presentation is here)
• Rodrigo Andrade. Privacy and Security Constraints for Code Contributions PhD thesis, Informatics Center, Federal University of Pernambuco, Recife, Brazil. March 2018. (The presentation is here)

• Leopoldo Teixeira. Safe Evolution of Software Product Lines and Sets of Product Lines PhD thesis, Informatics Center, Federal University of Pernambuco, Recife, Brazil. April 2014. (The presentation is here)

• Márcio Ribeiro. Emergent Feature Modularization PhD thesis, Informatics Center, Federal University of Pernambuco, Recife, Brazil. September 2012. (The presentation is here)

• 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 University 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 University 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 University of Pernambuco, Recife, Brazil. October 2004. (The presentation is here)

MSc Dissertations

• Léuson Mário da Silva. Build and Test Conflicts in the Wild. Master's thesis, Informatics Center, Federal University of Pernambuco, Recife, Brazil. February, 2018.
• Gabriela Cunha Sampaio. Partially Safe Evolution of Software Product Lines. Master's thesis, Informatics Center, Federal University of Pernambuco, Recife, Brazil. March 2017. (The presentation is available here pdf)
• Roberto Barros Filho. Using information flow to estimate interference between developers same-method contributions . Master's thesis, Informatics Center, Federal University of Pernambuco, Recife, Brazil. March 2017.
• Fernando Benbassat. Safe Evolution of Software Product Lines: Feature Extraction Scenarios (in portuguese). Master's thesis, Informatics Center, Federal University of Pernambuco, Recife, Brazil. February 2017.
• Guilherme Cavalcanti. Comparing integration effort and correctness of different merge approaches in Version Control Systems. Master's thesis, Informatics Center, Federal University of Pernambuco, Recife, Brazil. February 2016. (The presentation is available here pdf)
• Eudis Oliveira Teixeira. Quality Analysis of Controlled Experiments in the Context of Empirical Software Engineering (in portuguese). Master's thesis, Informatics Center, Federal University of Pernambuco, Recife, Brazil. May 2014. (The presentation is available here pdf)
• Jean Melo. Modular Reasoning for Software Product Lines with Emergent Feature Interfaces. Master's thesis, Informatics Center, Federal University of Pernambuco, Recife, Brazil. March 2014. (The presentation is available here pdf)
• Jefferson Almeida. Designing and Comparing Strategies for Improving Precision When Checking Safe Evolution of Software Product Lines. Master's thesis, Informatics Center, Federal University of Pernambuco, Recife, Brazil. March 2014.
• Társis Tolêdo. Dataflow Analysis for Software Product Lines. Master's thesis, Informatics Center, Federal University of Pernambuco, Recife, Brazil. February 2013.
• Felype Santiago Ferreira. Making Software Product Line Evolution Safer . Master's thesis, Informatics Center, Federal University of Pernambuco, Recife, Brazil. August 2012. The presentation is available at [pdf].
• Paola Accioly. Comparing Different Testing Strategies for Software Product Lines. Master's thesis, Informatics Center, Federal University of Pernambuco, Recife, Brazil. April 2012. (The presentation is available here pdf)
• Laís Neves. Safe Evolution Templates for Software Product Lines . Master's thesis, Informatics Center, Federal University of Pernambuco, Recife, Brazil. March 2012. (The presentation is here [pdf])
• Rodrigo Andrade. Idioms to Implement Flexible Binding Times for Features. Master's thesis, Informatics Center, Federal University of Pernambuco, Recife, Brazil. March 2012. (The presentation is here [pdf])
• Adauto Almeida. A Systematic Mapping of Mechanisms to Guide Empirical Studies in Software Engineering (in portuguese). Master's thesis, Informatics Center, Federal University of Pernambuco, Recife, Brazil. March 2011. (The presentation is here [ppt])
• Emanoel Barreiros. A Systematic Mapping Study on Software Engineering Testbeds. Master's thesis, Informatics Center, Federal University of Pernambuco, Recife, Brazil. March 2011. (The presentation is here [ppt])
• Rômulo Lima. Empirical Studies in Software Engineering: Evaluating the Benchmarking Framework Using a Survey and Replicating Performance Evaluation (in portuguese). Master's thesis, Department of Computing and Systems, University of Pernambuco, Recife, Brazil. July 2010. (The presentation is here [ppt])
• Fernanda R. S. d'Amorim. Modularity Analysis of Use Case Implementations. Master's thesis, Informatics Center, Federal University of Pernambuco, Recife, Brazil. June 2010. (The presentation is here [ppt])
• Carlos Eduardo Pontual. Design Rules For Increasing Modularity With CaesarJ. Master's thesis, Informatics Center, Federal University of Pernambuco, Recife, Brazil. June 2010. (The presentation is here [pdf or ppt])
• Leopoldo Teixeira. Verification and Refactoring of Configuration Knowledge for Software Product Lines. Master's thesis, Informatics Center, Federal University of Pernambuco, Recife, Brazil. January 2010. (The presentation is here)
• Juliana de Albuquerque G. Saraiva. Assessment of the Impact of AOP on Layered Architecture. Master's thesis, Department of Computing and Systems, University of Pernambuco, Recife, Brazil. January 2010.
• 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, University 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, University 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, University 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 University of Pernambuco, Recife, Brazil. Fevereiro 2008.
• Márcio Ribeiro. Restructuring Test Variabilities in Software Product Lines. Master's thesis, Informatics Center, Federal University 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 University of Pernambuco, Recife, Brazil. Fevereiro 2008.
• Adeline Sousa. Generation of Transformation System (in portuguese). Master's thesis, Informatics Center, Federal University of Pernambuco, Recife, Brazil. August 2006.
• Gustavo Santos. Refactoring Support in a General Purpose Transformation System (in portuguese). Master's thesis, Informatics Center, Federal University of Pernambuco, Recife, Brazil. March 2006.
• Leonardo Cole. Deriving Refactorings for AspectJ. Master's thesis, Informatics Center, Federal University of Pernambuco, Recife, Brazil. February 2005.
• Rohit Gheyi. Basic Laws of Object Modeling . Master's thesis, Informatics Center, Federal University of Pernambuco, Recife, Brazil. February 2004.
• Ayla Débora Dantas de Souza. Structuring Adaptive Applications Using AspectJ . Master's thesis, Informatics Center, Federal University 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 University of Pernambuco, Recife, Brazil. April 2002.
• Klissiomara Lopes. Structuring Enterprise JavaBeans Applications (in portuguese). Master's thesis, Informatics Center, Federal University of Pernambuco, Recife, Brazil. March 2002.
• Eduardo Laureano. Persistence Implementation with AspectJ. Master's thesis, Informatics Center, Federal University of Pernambuco, Recife, Brazil. January 2002.
• Tiago Massoni. A software process supporting progressive implementation (in portuguese). Master's thesis, Informatics Center, Federal University of Pernambuco, Recife, Brazil. February 2001.
• Sérgio Soares. Progressive Development of Concurrent Object-Oriented Programs (in portuguese). Master's thesis, Informatics Center, Federal University 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 University 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 University of Pernambuco, Recife, Brazil. Mach 2000.

-- FelypeFerreira - 2014-08-28 -- SergioSoares - 2014-08-24 -- LeopoldoTeixeira - 2014-07-17 -- TarsisToledo - 2013-08-17 -- MarcioRibeiro - 2012-12-16 -- CarlosEduardoPontual - 20 Dec 2011 -- EmanoelBarreiros - 23 Apr 2011 -- SergioSoares - 19 Jan 2011 -- LeopoldoTeixeira - 03 Aug 2010 -- 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