Object Oriented Design Expertise Reuse: An Approach Based on Heuristics, Design Patterns and Anti-patterns. - Alexandre L. Correa; Cláudia Maria Lima Werner; Gerson Zaverucha (ICSR, 2000)

ORÁCULO: Um Sistema de Críticas para UML. - Alexandre Ribeiro Dantas; Alexandre L. Correa; Cláudia Maria Lima Werner (SBES, 2001)

Suporte a Padrões no Projeto de Software. - Alexandre Ribeiro Dantas; Gustavo Olanda Veronese; Alexandre L. Correa; José Ricardo Xavier; Cláudia M. L. Werner (SBES, 2002)

ARES: Uma Ferramenta de Engenharia Reversa Java-UML. - Gustavo Olanda Veronese; Alexandre L. Correa; Cláudia M. L. Werner; Felipe Jezini Netto (SBES, 2002)

Precise Specification and Validation of Transactional Business Software. - Alexandre L. Correa; Cláudia Maria Lima Werner (RE, 2004)

Specification and Validation of Transactional Business Software: An Approach Based on the Exploration of Concrete Scenarios. - Alexandre L. Correa; Cláudia Maria Lima Werner (SEKE, 2004)

Applying Refactoring Techniques to UML/OCL Models. - Alexandre L. Correa; Cláudia Maria Lima Werner (UML, 2004)

Tool Support for OCL and Related Formalisms - Needs and Trends. - Thomas Baar; Dan Chiorean; Alexandre L. Correa; Martin Gogolla; Heinrich Hußmann; Octavian Patrascoiu; Peter H. Schmitt; Jos Warmer (MoDELS (Satellite Events), 2005)

An Empirical Study of the Impact of OCL Smells and Refactorings on the Understandability of OCL Specifications. - Alexandre L. Correa; Cláudia M. L. Werner; Márcio de Oliveira Barros (MoDELS, 2007)

Enhancing the Understandability of OCL Specifications. - Alexandre L. Correa; Cláudia M. L. Werner; Márcio de Oliveira Barros (SBES, 2007)

Refactoring object constraint language specifications. - Alexandre L. Correa; Cláudia M. L. Werner (Softw. Syst. Model., 2007)

Elaboration of use case specifications: an approach based on use case fragments. - Felipe G. Dias; Eber A. Schmitz; Maria Luiza Machado Campos; Alexandre L. Correa; Antonio J. Alencar (SAC, 2008)

Elaboração de Especificações de Casos de Uso para Linhas de Produto de Software Baseada em Fragmentos. - Antonio J. Alencar; Diego O. Araújo; Eber A. Schmitz; Alexandre L. Correa (SBCARS, 2009)

Refactoring to improve the understandability of specifications written in object constraint language. - Alexandre L. Correa; Cláudiláudia Werner; Márcio de Oliveira Barros (IET Softw., 2009)

A method for validating the compliance of business processes to business rules. - Bruno de Moura Araujo; Eber Assis Schmitz; Alexandre L. Correa; Antonio Juarez Alencar (SAC, 2010)

O Impacto de Unidades de Software Não Essenciais e Relações de Precedência Flexíveis sobre o Valor de Projetos de Software. - Antonio Juarez Alencar; Rafael Alcemar Nascimento; Eber Assis Schmitz; Alexandre L. Correa; Angélica F. S. Dias (SBSI, 2011)

Maximizing the Financial Benefits Yielded by IT Projects While Ensuring their Strategic Fit. - Antonio Juarez Alencar; Gustavo Taveira; Eber Assis Schmitz; Angélica Fonseca da Silva Dias; Alexandre L. Correa (SEKE, 2011)

Unleashing the Potential Impact of Nonessential Self-contained Software Units and Flexible Precedence Relations upon the Value of Software. - Antonio Juarez Alencar; Rafael Alcemar Nascimento; Eber Assis Schmitz; Alexandre L. Correa; Angélica Fonseca da Silva Dias (J. Softw., 2011)

Testes Funcionais de Web Services RESTful a partir de Modelos UML. - Thiago Silva-de-Souza; Alexandre L. Correa; Eber Assis Schmitz; Antonio Juarez Alencar (SBQS, 2012)

Uma Abordagem Baseada em Especificação para Testes de Web Services RESTful. - Thiago Silva-de-Souza; Alexandre L. Correa; Antonio Juarez Alencar; Eber Assis Schmitz (SBSI, 2012)

Defining RESTful Web Services Test Cases from UML Models. - Alexandre L. Correa; Thiago Silva-de-Souza; Eber Assis Schmitz; Antonio Juarez Alencar (SEKE, 2012)

Evaluating the Efficiency in which Risk is Managed in a Portfolio of IT Projects: A Data Envelopment Analysis Approach. - Antonio Juarez Alencar; Erica Castilho Grão; Eber Assis Schmitz; Alexandre L. Correa; Otavio H. Figueiredo (J. Softw., 2012)

A Statistical Approach for the Maximization of the Financial Benefits Yielded by a Large Set of MMFs and AEs. - Antonio J. Alencar; Carlos A. S. Franco; Eber A. Schmitz; Alexandre L. Correa (Comput. Informatics, 2013)

Maximizing the Appropriation of the Intangible Benefits Yielded by IT Investments in the Public Sector. - Antonio Juarez Alencar; Rigel Procópio Fernandes; Eber Assis Schmitz; Alexandre L. Correa (J. Softw., 2013)

A Method for Verifying the Consistency of Business Rules Using Alloy. - Denilson Guimaraes; Eber A. Schmitz; Antonio Juarez Alencar; Priscila Lima 001; Alexandre L. Correa (SEKE, 2014)

Analysing IT Investments in the Public Sector: A Project Portfolio Approach. - Rigel Procópio Fernandes; Antonio Juarez Alencar; Eber Assis Schmitz; Alexandre L. Correa (J. Softw., 2014)

Automatic Spreadsheet Generation from Conceptual Models. - Léo Carvalho Ramos Antunes; Alexandre L. Correa; Márcio de Oliveira Barros (SBES, 2015)

Optimizing Framework Release Plans Using the Incremental Funding Method. - Andre de Souza Andrade; Eber Assis Schmitz; Antonio Juarez Alencar; Alexandre L. Correa (J. Softw., 2016)