Rohit Gheyi. A Refinement Theory for Alloy. PhD thesis, Informatics Center, Federal Universisty of Pernambuco, Recife, Brazil. August 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)
Adeline Sousa. Generation of Transformation System (in portuguese). Master's thesis, Informatics Center, Federal Universisty of Pernambuco, Recife, Brazil. August 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)
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.