Alexandre Luis Correa

Possui graduação em Bacharelado em Matemática - Modalidade Informática pela Universidade Federal do Rio de Janeiro (1988), mestrado em Engenharia de Sistemas e Computação pela Universidade Federal do Rio de Janeiro (1999) e doutorado em Engenharia de Sistemas e Computação pela Universidade Federal do Rio de Janeiro (2006). Atualmente é professor adjunto da Universidade Federal do Estado do Rio de Janeiro. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: ocl, validação, modelagem uml, engenharia reversa e uml.

Informações coletadas do Lattes em 05/05/2026

Acadêmico

Formação acadêmica

Doutorado em Engenharia de Sistemas e Computação

2000 - 2006

Universidade Federal do Rio de Janeiro
Título: Reestruturação de Especificações de Restrições de Modelos Elaboradas em OCL
Claudia Maria Lima Werner. Palavras-chave: Validação; UML; OCL; Especificação de Software; Refactoring.Grande área: Ciências Exatas e da Terra

Mestrado em Engenharia de Sistemas e Computação

1997 - 1999

Universidade Federal do Rio de Janeiro
Título: Uma Arquitetura para Avaliação de Modelos de Projeto Orientados a Objetos,Ano de Obtenção: 1999
Orientador: Cláudia Maria Lima Werner / Gerson Zaverucha(co-orientador)
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.

Graduação em Bacharelado em Matemática - Modalidade Informática

1984 - 1988

Universidade Federal do Rio de Janeiro

Idiomas

Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Espanhol

Compreende Bem, Fala Razoavelmente, Lê Razoavelmente, Escreve Pouco.

Alemão

Compreende Pouco, Fala Pouco, Lê Razoavelmente, Escreve Pouco.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Sistemas de Informação.

Grande área: Ciências Humanas / Área: Educação / Subárea: Ensino-Aprendizagem/Especialidade: Tecnologia Educacional.

Grande área: Ciências Humanas / Área: Educação / Subárea: Ensino-Aprendizagem/Especialidade: Métodos e Técnicas de Ensino.

Organização de eventos

CORREA, A. L. . SBES - Simpósio Brasileiro de Engenharia de Software. 2001. (Congresso).

Participação em eventos

IV Simpósio Brasileiro de Sistemas de Informação.Banca - Simpósio de Doutorado - IIV Simpósio Brasileiro de Sistemas de Informação. 2008. (Simpósio).

Doctoral Symposium - Models Conference 2007.Banca - Doctoral Symposium - Models Conference 2007. 2007. (Simpósio).

Congresso Fenasoft. Extreme Programming - Uma Introdução. 2002. (Congresso).

Congresso Fenasoft 2002. Elaboracao de casos de uso : uma abordagem sistemática. 2002. (Congresso).

Congresso Fenasoft. Produzindo Modelos Precisos de Sistemas. 2001. (Congresso).

ERBASE - Escola Regional Bahia-Sergipe. Patterns e Frameworks. 2001. (Congresso).

Participação em bancas

Aluno: Ivan Maia Vital Junior

A.J.AlencarSchmitz, Eber AssisCORREA, A. L.. Identificando a Sequência de Implementação mais Eficiente de Projetos de Tecnologia de Informação e Comunicação. 2015. Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

Aluno: Marcelo Carvalho Fernandes

A.J.AlencarE.A.SchimtzCORREA, A. L.. Um método multicritério para maximizar o valor dos planos de entrega de projetos de software que utilizam programação extrema. 2011. Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

Aluno: Rafael Alcemar do Nascimento

A.J.AlencarE.A.SchimtzCORREA, A. L.. O Impacto das Unidades de Software Não Essenciais e Relações de Precedência Flexíveis sobre o Valor de Projetos de Software. 2011. Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

Aluno: Érica Castilho Grão

A.J.AlencarE.A.SchimtzCORREA, A. L.. Um Método de Avaliação da Eficiência na qual o Risco é Gerenciado num Portfólio de Projetos de TI. 2011. Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

Aluno: Gustavo Taveira

A.J.AlencarE.A.SchimtzCORREA, A. L.. Um Método Financeiro para Gestão de Portfolios e Priorização de Projetos de TI?. 2010. Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

Aluno: Enio Pires de Abreu

E.A.SchimtzA.J.AlencarCORREA, A. L.; BARROS, M. O.; Silva, G.P.. Uma abordagem branch & bound à maximização do valor de projetos de software em ambientes de recursos escassos. 2009. Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

Aluno: Felipe Gomes Dias

E.A.Schimtz; M.L.M. Campos;CORREA, A. L.; Julio C.P. Leite. Elaboração de Requisitos de Software: Uma Abordagem Baseada em Fragmentos de Casos de Uso. 2008. Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

Aluno: Gisele Pereira Morgado

E.A.Schimtz; M.L.M. Campos;CORREA, A. L.. Rapdis: um processo e um ambiente MDA para o desenvolvimento de sistemas de inforjmação. 2007. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

Aluno: Carlos Magno Coutinho de Sena; Victor Fortunato Azevedo

Azevedo, L.G.; Rodrigues, R.A.;CORREA, A. L.. Um PlugIn de Validação de Regras Arquiteturais para Inspeção Automatizada de Código. 2015. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

Aluno: Beatriz Machado Barreto de Macedo

BARROS, M. O.;CORREA, A. L.; Azevedo, L.G.. Cálculo de Dependências Léxicas Exibidas Através de Mapas de Calor. 2014. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

Aluno: Rafaela da Fonseca Sampaio

SOUZA, G.S.;CORREA, A. L.; Santos, R.T.. Avaliação do Uso de Linguagem Ubíqua no Detalhamento de Requisitos Utilizando Gherkin. 2014. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

Aluno: Tainá Catarina Oliveira Abrahão Leal

SOUZA, G.S.;CORREA, A. L.; Azevedo, L.G.. Pós-Agilismo: Um estudo sobre o legado das metodologias ágeis para os processos de software. 2014. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

Aluno: Yuri Vitor Pourre

Revoredo, K.C.; Fernando Araujo Baiao;CORREA, A. L.. MibSim: Uma proposta colaborativa de robôs autônomos. 2014. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

Aluno: Marcela Soares Farias; Roberta Andreza Almeida dos Santos

SOUZA, G.S.; PIMENTEL, M.;CORREA, A. L.. Histimate - Ferramenta de Apoio a Estimativas em Projetos de Desenvolvimento Ágeis. 2013. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

Aluno: Amanda Aguiar da Motta

BARROS, M. O.; Flavia M. Santoro;CORREA, A. L.. Desenvolvimento de um Plugin Eclipse para Visualizar o Histórico de Alterações em Arquivos Utilizando o SVN. 2013. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

Aluno: Casimiro Conde Marco Neto

BARROS, M. O.; ANDRADE, L. C. V.;CORREA, A. L.. Uma Ferramenta de Cálculo de Esforço para Projetos de Desenvolvimento de Software Baseada no Método de Pontos de Função. 2013. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

Aluno: Sandro Pinheiro Lopes / Marcos de Barros Mele

Azevedo, L.G.;CORREA, A. L.; BARROS, M. O.. Uma Abordagem Prática para Desenvolvimento de Web Services com Contract First. 2012. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

Aluno: Diego Felipe S

BARROS, M. O.;CORREA, A. L.; Azevedo, L.G.. P. dos Santos e Ricardo de O. dos Santos.Redes Sociais para Desenvolvedores. 2010. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

Aluno: Moreno Marques Rocha

BARROS, M. O.; Flavia M. Santoro;CORREA, A. L.. Contribuições de Sistemas de Informação para a Implementação de Metodologia de Gerenciamento de Projetos. 2009. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

Aluno: Victor Manaia Gonçalves Chaves

Renata M. Araujo; Fernando Araujo Baiao;CORREA, A. L.. Implementação do Método Mac Knight para Elicitação de Requisitos na Metodologia ARIS. 2008. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

Orientou

Léo Carvalho Ramos Antunes

GERAÇÃO AUTOMÁTICA DE PLANILHAS A PARTIR DE MODELOS CONCEITUAIS; 2013; Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Estado do Rio de Janeiro,; Coorientador: Alexandre Luis Correa;

Thiago Silva de Souza

Uma Abordagem Baseada em Especificação para Testes de Web Services RESTful; 2012; Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Rio de Janeiro,; Coorientador: Alexandre Luis Correa;

Diego O

Araujo; Elaboração de Especificações de Casos de Uso para Linhas de Produtos de Software Baseada em Fragmentos; 2010; Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Rio de Janeiro,; Coorientador: Alexandre Luis Correa;

Bruno de Moura Araujo

Um método para validar a conformidade de Processos de Negócio com Regras de Negócio; 2010; Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Rio de Janeiro,; Coorientador: Alexandre Luis Correa;

Carlos Alessandre Assis da Cunha

Uma abordagem para transformação de regras de negócio na arquitetura baseada em modelos; 2009; Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Rio de Janeiro,; Coorientador: Alexandre Luis Correa;

Lia Carvalho Silva Rocha

Estudo comparativo de ferramentas de gerenciamento de métodos ágeis com foco no SCRUM; 2009; Monografia; (Aperfeiçoamento/Especialização em IS-Expert: Pós Graduação em Sistemas de Informação) - Universidade Federal do Rio de Janeiro; Orientador: Alexandre Luis Correa;

Patricia Silva de Oliveira

Uma análise comparativa entre abordagens de elicitação de requisitos a partir da modelagem de negócio; 2009; Monografia; (Aperfeiçoamento/Especialização em IS-Expert: Pós Graduação em Sistemas de Informação) - Universidade Federal do Rio de Janeiro; Orientador: Alexandre Luis Correa;

Marcelo Gonçalves da Rocha

Elicitação de Requisitos com ênfase em Data Warehouse; 2009; Monografia; (Aperfeiçoamento/Especialização em IS-Expert: Pós Graduação em Sistemas de Informação) - Universidade Federal do Rio de Janeiro; Orientador: Alexandre Luis Correa;

Alexandre Magno Crumond Nascimento

Reutilização de software e Desenvolvimento Baseado em Componentes: Um estudo de caso no departamento de Informática de um órgão da justiça brasileira; 2006; Monografia; (Aperfeiçoamento/Especialização em IS-EXPERT) - Universidade Federal do Rio de Janeiro; Orientador: Alexandre Luis Correa;

Carlos Eduardo Avila

Web 2; 0; 2006; Monografia; (Aperfeiçoamento/Especialização em IS-Expert: Pós Graduação em Sistemas de Informação) - Universidade Federal do Rio de Janeiro; Orientador: Alexandre Luis Correa;

João Paulo Linhares Gonçalves

Object Constraint Language: Utilização para Geração de Restrições em Bancos de Dados; 2005; Monografia; (Aperfeiçoamento/Especialização em IS-EXPERT) - Universidade Federal do Rio de Janeiro; Orientador: Alexandre Luis Correa;

Alan Teodoro Ferreira

Programação Orientada a Aspectos: Estudo Comparativo das Principais Implementações Open-Source de AOP; 2005; Monografia; (Aperfeiçoamento/Especialização em IS-EXPERT) - Universidade Federal do Rio de Janeiro; Orientador: Alexandre Luis Correa;

Julio Goldman

Framework para Avaliação de Soluções de Business Rules; 2005; Monografia; (Aperfeiçoamento/Especialização em IS-EXPERT) - Universidade Federal do Rio de Janeiro; Orientador: Alexandre Luis Correa;

Horácio Brescia de Sousa Henriques

Mapeamento do nível de maturidade de software baseado no MPS BR: Um Estudo de caso envolvendo a empresa BL Informática; 2005; Monografia; (Aperfeiçoamento/Especialização em IS-EXPERT) - Universidade Federal do Rio de Janeiro; Orientador: Alexandre Luis Correa;

Leonardo Moreira de Souza; Tulio Henrique Seixas Lemes

Um Estudo sobre o PhoneGap e seu Desempenho ante a Linguagem Nativa do Android; 2014; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro; Orientador: Alexandre Luis Correa;

Rodrigo Haus da Silva Bacellar

SOCIALFUT - REDE SOCIAL LIGADA AO FUTEBOL; 2014; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro; Orientador: Alexandre Luis Correa;

Helanio Rodrigues Batista

SISTEMA DE IRRIGAÇÃO DE PLANTAS EM AMBIENTES RESIDENCIAIS; 2014; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro; Orientador: Alexandre Luis Correa;

BRUNO MAGALHÃES DE CASTRO DUTRA; CARLOS EDUARDO PAES LEME

SISTEMA DE APOIO AO PLANEJAMENTO DE PROJETOS BASEADO NO MÉTODO DE SIMULAÇÃO DE MONTE CARLO; 2014; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro; Orientador: Alexandre Luis Correa;

Alexandre de Lima Antunes

Saúde Online: Sistema de Apoio ao Atendimento de Pacientes; 2014; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro; Orientador: Alexandre Luis Correa;

Diego Rafael Di Berardino

Software para Geração da Grade Horária do curso BSI da UNIRIO; 2013; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro; Orientador: Alexandre Luis Correa;

Ammanda Lúcia Misael Alves e André Luis Caglianone Gouvêa

Técnica de Inspeção de Software Baseada em Técnicas de Leitura e Verificação de Modelos UML de Alto Nível; 2013; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro; Orientador: Alexandre Luis Correa;

Alexandre Dantas

Um Sistema de Críticas para a UML; 2001; Trabalho de Conclusão de Curso; (Graduação em Informática) - Universidade Federal do Rio de Janeiro; Orientador: Alexandre Luis Correa;

Gustavo Veronese

ARES: Uma Ferramenta de Auxílio à Recuperação de Modelos UML de Projeto a partir de Códigos JAVA; 2001; Trabalho de Conclusão de Curso; (Graduação em Informática) - Universidade Federal do Rio de Janeiro; Orientador: Alexandre Luis Correa;

Produções bibliográficas

ANDRADE, ANDRE DE SOUZA ; ASSIS SCHMITZ, EBER ; JUAREZ ALENCAR, ANTONIO ; LUIS CORREA, ALEXANDRE . Optimizing Framework Release Plans Using the Incremental Funding Method. Journal of Software , v. 11, p. 182-192, 2016.
FERNANDES, RIGEL PROCÓPIO ; A.J.Alencar ; E.A.Schimtz ; Correa, Alexandre Luis . Analyzing IT Investiments in the Public Sector: a Project Portfolio Approach. Journal of Software , v. 9, p. 1687-1700, 2014.
Alencar, Antonio Juarez ; FERNANDES, RIGEL PROCÓPIO ; Schmitz, Eber Assis ; Correa, Alexandre Luis . Maximizing the Appropriation of the Intangible Benefits Yielded by IT Investments in the Public Sector. Journal of Software , v. 8, p. 1537-1549, 2013.
A.J.Alencar ; Vital, I ; E.A.Schimtz ; Correa, A. . On the Identification of the Most Efficient Implementation Sequence of MMFs and AEs. International Journal of Information Processing , v. 7, p. 11-19, 2013.
A.J.Alencar ; FRANCO, C. A. S. ; E.A.Schimtz ; Correa, A. . A Statistical Approach for the Maximization of the Financial Benefits Yielded by a Large Set of MMFS and AES. Computing and Informatics , v. 32, p. 1147-1169, 2013.
Alencar, Antonio Juarez ; Grão, Erica Castilho ; Schmitz, Eber Assis ; Correa, Alexandre Luis ; Figueiredo, Otavio H . Evaluating the Efficiency in which Risk is Managed in a Portfolio of IT Projects: A Data Envelopment Analysis Approach. Journal of Software , v. 7, p. 186-195, 2012.
A.J.Alencar ; DORIA JR., J. V. ; E.A.Schimtz ; Correa, A. . On the Merits and Pitfalls of the Incremental Funding Method and Its Software Project Scheduling Algorithms. Communications in Computer and Information Science (Print) , v. 292, p. 493-502, 2012.
A.J.Alencar ; Vital, I ; E.A.Schimtz ; Correa, A. ; DORIA JR., J. V. . Identifying the Most Efficient Implementation Sequence of IT Projects Broken Down into MMFs and AEs. Communications in Computer and Information Science (Print) , v. 292, p. 477-486, 2012.
Alencar, Antonio Juarez ; Nascimento, Rafael Alcemar ; Schmitz, Eber Assis ; Correa, Alexandre Luis ; Dias, Angélica F . Unleashing the Potential Impact of Nonessential Self-contained Software Units and Flexible Precedence Relations upon the Value of Software. Journal of Software , v. 6, p. 2500-2507, 2011.
CORREA, A. L. ; Werner, C. ; Barros, M. . Refactoring to improve the understandability of specifications written in object constraint language. IET Software (Print) , v. 3, p. 69, 2009.
CORREA, A. L. ; WERNER, C. M. L. . Refactoring OCL Specifications. Software and Systems Modeling, 2006.
VERONESE, G. ; JEZINI NETTO, F. ; CORREA, A. L. ; WERNER, C. M. L. . Uma Ferramenta de Auxílio à Recuperação de Modelos UML. REIC. Revista Eletrônica de Iniciação Científica , v. 2, n.4, 2002.
DANTAS, A. ; CORREA, A. L. ; WERNER, C. M. L. . Oráculo: Um Sistema de Críticas para UML. REIC. Revista Eletrônica de Iniciação Científica , v. 1, n.2, 2001.
Alencar, Antonio Juarez ; Fernandes, Marcelo Carvalho ; Schmitz, Eber Assis ; Correa, Alexandre Luis . Evaluating E-Government Initiatives: An Approach Based Upon the Appropriation of Tangible and Intangible Benefits. In: Ejub Kajan; Cemal Dolcanin; Dragan Randjelovic; Boban Stojanovic. (Org.). Handbook of Research on Democratic Strategies and Citizen-Centered E-Government Services. 1ed.Hershey, PA, USA: IGI Global, 2014, v. 1, p. 328-352.
ANTUNES, LEO ; CORREA, ALEXANDRE ; BARROS, MARCIO . Automatic Spreadsheet Generation from Conceptual Models. In: 2015 29th Brazilian Symposium on Software Engineering (SBES), 2015, Belo Horizonte-MG. 2015 29th Brazilian Symposium on Software Engineering, 2015. p. 140-149.
Guimarâes, Denilson ; Schmitz, Eber Assis ; A.J.Alencar ; Lima, Priscila ; Correa, Alexandre Luis . A Method for Verifying the Consistency of Business Rules Using Alloy. In: Twenty-Sixth International Conference on Software Engineering and Knowledge Engineering (SEKE), 2014, Vancouver. Proceedings of the Twenty-Sixth International Conference on Software Engineering and Knowledge Engineering. Skokie, IL, USA: Knowledge Systems Institute Graduate School, 2014. v. 1. p. 381-386.
SOUZA, T. S. ; Correa, Alexandre Luis ; E.A.Schimtz ; Alencar, Antonio Juarez . Uma Abordagem para Geração de Procedimentos de Teste Baseada em Especificações UML e OCL. In: World Crongress on Systems Engineering and Information Technology (WCSEIT), 2013, Douro, Portugal. Proceeding of the World Crongress on Systems Engineering and Information Technology 2013, 2013. p. 100-110.
Correa, Alexandre Luis ; ARAUJO, B. ; E.A.Schimtz ; Alencar, Antonio Juarez . Um Método para Verificação da Conformidade de Processos com Regras de Negócio. In: VI WORKSHOP DE GESTÃO DE PROCESSOS DE NEGÓCIO, 2012, SÃO PAULO. VIII SIMPÓSIO BRASILEIRO DE SISTEMAS DE INFORMAÇÃO, 2012. v. 1. p. 200-217.
Correa, Alexandre Luis ; SOUZA, T. S. ; SCHMITZ, E. A. ; Alencar, Antonio Juarez . Defining RESTful Web Services Test Cases from UML Models. In: 24th International Conference on Software Engineering and Knowledge Engineering (SEKE), 2012, Redwood, California, USA. SEKE. Skokie, Illnois, USA: Knowledge Systems Institute Graduate School, 2012. v. 1. p. 100-108.
SOUZA, T. S. ; Correa, Alexandre Luis ; E.A.Schimtz ; Alencar, Antonio Juarez . Testes Funcionais de Web Services RESTful a partir de modelos UML. In: Simpósio Brasileiro de Qualidade de Software, 2012, Fortaleza, Ceará. Anais do Simpósio Brasileiro de Qualidade de Software (SQBS), 2012.
SOUZA, T. S. ; Correa, Alexandre Luis ; E.A.Schimtz ; Alencar, Antonio Juarez . Uma Abordagem Baseada em Especificação para Testes de Web Services RESTful. In: Simpósio Brasileiro de Sistemas de Informação (SBSI), 2012, São Paulo. Anais do Simpósio Brasileiro de Sistemas de Informação (SBSI), 2012. p. 100-115.
ANTUNES, L. C. R. ; BARROS, M. O. ; Correa, Alexandre Luis . Geração Automática de Planilhas Eletrônicas a partir do Modelo do Domínio. In: Workshop em Teses e Dissertações em Sistemas de Informação, 2012, São Paulo, SP. Anais do Simpósio Brasileiro de Sistemas de Informação - WTDSI 2012, 2012.
A.J.Alencar ; Nascimento, Rafael Alcemar ; Schmitz, Eber Assis ; CORREA, A. L. ; Dias, Angélica F . O Impacto de Unidades de Software Não Essenciais e Relações de Precedência Flexíveis sobre o Valor de Projetos de Software. In: SBSI, 2011, Salvador. Anais do VII Simpósio Brasileiro de Sistemas de Informação, 2011. p. 298-309.
A.J.Alencar ; Gustavo Taveira ; E.A.Schimtz ; CORREA, A. L. ; Dias, Angélica F . Maximizing the Financial Benefits Yielded by IT Projects While Ensuring their Strategic Fit. In: 23rd International Conference on Software Engineering & Knowledge Engineering, 2011, Miami, USA. Proceedings of the Twenty-Third International Conference on Software Engineering & Knowledge Engineering, 2011. p. 288-295.
ARAUJO, B. ; E.A.Schimtz ; Correa, A. ; A.J.Alencar . A method for validating the compliance of business processes to business rules. In: Symposium on Applied Computing, 2010, Sierre, Switzerland. Proceedings of the 2010 ACM Symposium on Applied Computing. New York: ACM, 2010. p. 145-149.
ARAUJO, D. ; E.A.Schimtz ; CORREA, A. L. ; A.J.Alencar . Elaboração de Especificaões de Casos de Uso para Linhas de Produto de Software Baseada em Fragmentos. In: SBCARS 2009, 2009, NATAL, RN. Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software, 2009, Natal, RN. III Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software, 2009. v. 1. p. 1-12.
F.G. Dias ; E.A.Schimtz ; M.L.M. Campos ; CORREA, A. L. ; A.J.Alencar . Elaboration of use case specifications: an approach based on use case fragments. In: SAC 2008 - 23rd Annual ACM Symposium on Applied Computing, 2008, Fortaleza - Brasil. Proceedings of the 23rd Annual ACM Symposium on Applied Computing. New York: ACM Press. p. 614-618.
CORREA, A. L. ; WERNER, C. M. L. ; BARROS, M. O. . An Empirical Study of the Impact of OCL Smells and Refactorings on the Understandability of OCL Specifications. In: ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MODELS?2007), 2007, Nashville, USA. Lecture Notes in Computer Science. Heildelberg: Springer, 2007. v. 4735. p. 76-90.
CORREA, A. L. ; WERNER, C. M. L. ; BARROS, M. O. . Enhancing the Understandability of OCL Specifications. In: SBES 2007 - XXI Simpósio Brasileiro de Engenharia de Software, 2007, João Pessoa. Anais do XXI Simpósio Brasileiro de Engenharia de Software, 2007. p. 22-38.
CORREA, A. L. ; WERNER, C. M. L. . Odyssey-PSW: Uma Ferramenta de Apoio à Verificação e Validação de Especificações de Restrições OCL. In: XIII Sessão de Ferramentas do SBES 2006, 2006, Florianópolis. XIII Sessão de Ferramentas do Smpósio Brasileiro de Engenharia de Software. Florianópolis: Sociedade Brasileira de Computação, 2006. p. 61-66.
BAAR, T. ; CHIOREAN, D. ; CORREA, A. L. ; GOGOLLA, M. ; HUSSMANN, H. ; PATRASCOIU, O. ; SCHMITT, P. H. ; WARMER, J. . Tool Support for OCL and Related Formalisms - Needs and Trends. In: MoDELS Satellite Events 2005, 2005, Montego Bay. Lecture Notes in Computer Science, 2005. v. 3844. p. 1-9.
CORREA, A. L. ; WERNER, C. M. L. . Applying Refactoring Techniques to UML/OCL Models. In: 7th International Conference on the Unified Modeling Language, 2004, Lisboa. Lecture Notes In Computer Science, 2004. v. 3273. p. 173-187.
CORREA, A. L. ; WERNER, C. M. L. . Precise Specification and Validation of Transactional Business Software. In: 12th IEEE International Requirements Engineering Conference, 2004, Kyoto. Proceedings of the 12th International Requirements Engineering Conference. Los Alamitos: IEEE Computer Society, 2004. v. 1. p. 16-25.
CORREA, A. L. ; WERNER, C. M. L. . Specification and Validation of Transactional Business Software: an approach based on the exploration of concrete scenarios. In: 16th International Conference on Software Engineering and Knowledge Engineering, 2004, Banff. Proceedings of the 16th International Conference on Software Engineering and Knowledge Engineering. Skokie: Knowledge Systems Institute Graduate School, 2004. v. 1. p. 294-299.
CORREA, A. L. ; WERNER, C. M. L. . Validação de especificações de componentes através de animação. In: Terceiro Workshop de Desenvolvimento Baseado em Componentes, 2003, São Carlos. Anais do Terceiro Workshop de DBC, 2003. v. 1.
DANTAS, A. ; VERONESE, G. ; CORREA, A. L. ; XAVIER, J. R. ; WERNER, C. M. L. . Suporte a Padrões no Projeto de Software. In: XVI Simpósio Brasileiro de Engenharia de Software, 2002, Gramado. Anais do XVI Simpósio Brasileiro de Engenharia de Software, Ferramentas, 2002. p. 450-455.
VERONESE, G. ; CORREA, A. L. ; WERNER, C. M. L. ; JEZINI NETTO, F. . ARES: Uma Ferramenta de Engenharia Reversa Java-UML. In: XVI Simpósio Brasileiro de Engenharia de Software, 2002, Gramado. Anais do XVI Simpósio Brasileiro de Engenharia de Software, Ferramentas, 2002. p. 347-352.
DANTAS, A. ; CORREA, A. L. ; WERNER, C. M. L. . Oráculo: Um Sistema de Críticas para UML. In: XV Simpósio Brasileiro de Engenharia de Software, 2001, Rio de Janeiro. Anais do XV Simpósio Brasileiro de Engenharia de Software, Ferramentas, 2001. p. 398-403.
BARROS, M. O. ; CORREA, A. L. ; WERNER, C. M. L. . Uma Coleção de Padrões para o Gerenciamento de Sessão em Aplicações Internet. In: First Latin American Conference on Pattern Languages of Programming, 2001, Rio de Janeiro. Proceedings of the First Latin American Conference on Patterns Languages of Programming, 2001.
CORREA, A. L. ; WERNER, C. M. L. ; ZAVERUCHA, G. . Uma Arquitetura de Suporte à Avaliação de Modelos Orientados a Objetos. In: Terceiro Workshop Ibero-americano de Engenharia de Requisitos e Ambientes de Software (IDEAS'00), 2000, Cancun. Terceiro Workshop Ibero-americano e Engenharia de Requisitos e Ambientes de Software, 2000. v. 1. p. 385-396.
CORREA, A. L. ; WERNER, C. M. L. ; ZAVERUCHA, G. . Object Oriented Design Expertise Reuse; an Approach based on Heuristics, Design Patterns and Anti-Patterns. In: 6th International Conference on Software Reuse, 2000, Viena. Software Reuse: Advances in Software Reusability - Lecture Notes in Computer Science. Heidelberg: Springer, 2000. v. 1844. p. 336-352.
CORREA, A. L. . Uma arquitetura de apoio para análise de modelos orientados a objetos 1999 (Dissertação de Mestrado).

Outras produções

CORREA, A. L. . Odyssey-PSW. 2004.

CORREA, A. L. . Adtra - Administração de Custos e Tráfego em Telefonia. 1993.

Correa, A. . Simposio Brasileiro de Sistemas de Informação SBSI - Membro do Comitê de Programa. 2010.

Correa, A. . Simposio Brasileiro de Componentes, Reutiização e Arquitetura de Software (SBCARS) - Membro do Comitê de Programa. 2010.

Correa, A. . Simpósio Brasileiro de Sistemas de Informação (SBSI) - Membro do Comitê de Programa. 2009.

Correa, A. . Simposio Brasileiro de Componentes, Reutiização e Arquitetura de Software (SBCARS / Ferramentas) - Revisor. 2008.

Correa, A. . Workshop Desenvolvimento Rapido de Aplicações (SBQS - WRDA) - Membro do Comitê de Programa. 2008.

Correa, A. . Workshop Desenvolvimento Rapido de Aplicações (SBQS - WRDA) - Membro do Comitê de Programa. 2007.

Prêmios

2012

Professor Homenageado da turma de formandos em 2012 do curso de Baharelado de Sistemas de Informação, UNIRIO.

2007

Menção Honrosa - 3o melhor artigo, SBES - 2007 - XXI Simpósio Brasileiro de Engenharia de Software.

2007

Top 5 Best Papers, ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems.

2004

Best Paper Award, UML'04 - International Conference on the Unified Modeling Language.

Histórico profissional

Experiência profissional

2010 - Atual

Universidade Federal do Estado do Rio de Janeiro

Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40

Atividades

07/2013
Conselhos, Comissões e Consultoria, DIA/CCET, .,Cargo ou função, Membro do Colegiado do Curso de Bacharelado em Sistemas de Informação.
03/2012
Conselhos, Comissões e Consultoria, Reitoria, Pró-Reitoria de Pós-Graduação e Pesquisa.,Cargo ou função, Membro da Câmara de Pesquisa e Bolsas.
10/2011
Conselhos, Comissões e Consultoria, Reitoria, .,Cargo ou função, Membro do Conselho Universitário (CONSUNI).
05/2010
Conselhos, Comissões e Consultoria, DIA/CCET, .,Cargo ou função, Membro do Colegiado do Departamento de Informática Aplicada.
03/2008
Ensino, Bacharelado em Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Processos de Desenvolvimento de Software, Programação Modular, Projeto e Construção de Sistemas, Técnicas de Programação II, Técnicas de Programação I, Estruturas de Dados I

2003 - 2010

Universidade Candido Mendes

Vínculo: Livre, Enquadramento Funcional: Consultor

Atividades

01/2003
Serviços técnicos especializados , Pró-Reitoria de Educação a Distância, .,Serviço realizado, Gerência de Desenvolvimento.

1997 - 2010

Núcleo de Computação Eletrônica - Universidade Federal do Rio de Janeiro

Vínculo: Colaborador, Enquadramento Funcional: Professor Externo

Atividades

03/1997 - 03/2010
Ensino, IS-EXPERT, Nível: Especialização,Disciplinas ministradas, Arquitetura de Sistemas de Informação, Engenharia de Requisitos, Modelagem de Software com UML, Projeto de Sistemas Distribuídos

2006 - 2007

Núcleo de Prática e Pesquisa em Tecnologia

Vínculo: Livre, Enquadramento Funcional: Consultor

1998 - 2000

MRS Logística S.A.

Vínculo: Livre, Enquadramento Funcional: Consultor, Carga horária: 24

Atividades

10/1998 - 10/2000
Serviços técnicos especializados , Superintendencia de Transportes, .,Serviço realizado, Gerencia de Qualidade em Desenvolvimento de Software.

1998 - 1998

VARIG S.A.

Vínculo: Livre, Enquadramento Funcional: Consultor, Carga horária: 16

Atividades

03/1998 - 09/1998
Serviços técnicos especializados .,Serviço realizado, Avaliação da Qualidade de Serviços Desenvolvidos por Terceiros.