Márcio Lopes Cornélio
possui graduação em Ciência da Computação (Bacharelado) pela Universidade Federal da Paraíba (1996), mestrado em Ciências da Computação pela Universidade Federal de Pernambuco (1998) e doutorado em Ciência da Computação pela Universidade Federal de Pernambuco (2004). Atualmente é professor adjunto da Universidade Federal de Pernambuco. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: métodos formais, refatoração e transformação de programas.
Informações coletadas do Lattes em 11/02/2026
Acadêmico
Formação acadêmica
Doutorado em Ciências da Computação
1999 - 2004
Universidade Federal de Pernambuco
Título: Refactorings as Formal Refinements
Orientador: Ana Lucia Caneca Cavalcanti
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Cálculo de refinamentos; Orientação a objetos; Reestruturação de Programas Orientados a Objetos; Refactoring.Grande área: Ciências Exatas e da TerraSetores de atividade: Informática.
Mestrado em Ciências da Computação
1996 - 1998
Universidade Federal de Pernambuco
Título: Design and Evaluation of an Object-Oriented Formal Specification Language, Ano de Obtenção: 1998
Paulo Henrique Monteiro Borba.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Métodos Formais; MooZ; Z; Especificação orientada a objetos; Programação parametrizada; Projeto de Linguagens. Grande área: Ciências Exatas e da TerraSetores de atividade: Informática.
Idiomas
Inglês
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Espanhol
Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.
Francês
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: Linguagens de Programação.
Organização de eventos
CORNÉLIO, M. L. . Delegado Institucional - XVII Olimpíada Brasileira de Informática. 2015. .
CORNÉLIO, M. L. . Delegado Institucional - XVI Olimpíada Brasileira de Informática. 2014. .
CORNÉLIO, M. L. . XIII Olimpíada Brasileira de Informática (OBI2011). 2011. (Concurso).
CORNÉLIO, M. L. . XI Workshop Iberoamericano de Ambientes de Softwares e Engenharia de Requisitos. 2008. (Congresso).
CORNÉLIO, M. L. . Sexta Conferência Latino-americana em Linguages de Padrões para Programação. 2007. (Congresso).
LIMA, Ricardo Massa Ferreira ; CORNÉLIO, M. L. . IX Simpósio Brasileiro de Linguagens de Programação. 2005. (Congresso).
MOTA, Alexandre Cabral ; SAMPAIO, Augusto César Alves ; FARIAS, A. C ; CORNÉLIO, M. L. . Simpósio Brasileiro de Métodos Formais. 2004. (Congresso).
CORNÉLIO, M. L. . Delegado Institucional - XVI Olimpíada Brasileira de Informática. 2014. .
Participação em eventos
Brazilian Symposium on Formal Methods.Using CafeOBJ to Mechanise Refactoring Proofs and Applications. 2005. (Simpósio).
IX Simpósio Brasileiro de Lingugagens de Programação.IX Simpósio Brasileiro de Linguagens de Programação. 2005. (Simpósio).
Participação em bancas
GUSMÃO, Cristine Martins Gomes de;SOARES, Sérgio Castelo BrancoCORNÉLIO, M. L.. Mecanismos Utilizados para Conduzir Estudos Empíricos na Engenharia de Software. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
MOTA, Alexandre CabralMASSONI, Tiago LimaCORNÉLIO, M. L.. Evolução Arquitetural de um Web Service: transformação de código e avaliação de arquitetura. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
CORNÉLIO, M. L.; CORREA, R. F.;Oliveira, Adriano L.I.. Abordagem Semi-Supervisionada para Detecção de Módulos de Software Defeituosos. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
CORNÉLIO, M. L.; RIBEIRO, M. M.; LIMA FILHO, F. C.. Rewriting Concurrent Haskell Programs to STM. 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
MASSONI, Tiago Lima; FARIAS, A. C; GUERRERO, D. D. S.;CORNÉLIO, M. L.. Uma Abordagem para Adaptação de Clientes do Java Collections Framework Baseada em Técnicas de Migração de API's. 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.
CORNÉLIO, M. L.; SANTOS, J. P.; de MOURA, H. P. Uma Proposta para a Melhoria do Gerenciamento de Projetos de Pesquisa Ambiental. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
CORNÉLIO, M. L.; ALENCAR, M. H.; de MOURA, H. P. Indicators for Risk Assessment in Environments of Software Projects. 2012. Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
CORNÉLIO, M. L.; MOTA, C. M. M.;SOARES, Sérgio Castelo Branco. Riskontrol: A Proposal of an Approach for Controlling and Monitoring of Risks in Software Project. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
CORNÉLIO, M. L.; CAMPOS, F. F.da C.; GOMES, A. S.. Análise da Eficácia de Tarefas com Plataformas Sociais Educacionais por Usuários Professores. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
CORNÉLIO, M. L.MASSONI, Tiago LimaLima, Ricardo M.F.. Validando AJCSP com o uso de JPF em leis algébricas. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
CORNÉLIO, M. L.; MOTA, C. M. M.;SOARES, Sérgio Castelo Branco. A Risk Identification Technique for Requirements Assessment. 2012. Dissertação (Mestrado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
CORNÉLIO, M. L.; SAMPAIO, Augusto César Alves; RAMALHO, F. de S.. Integrando SOA e MDE em um Processo Sistemático de Desenvolvimento de Software. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
CORNÉLIO, M. L.; GUSMÃO, Cristine Martins Gomes de; de MOURA, H. P. Avaliação de Progresso da Qualidade em Projetos de Software. 2011. Dissertação (Mestrado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
CORNÉLIO, M. L.; LIMA, M. G.;SOARES, Sérgio Castelo Branco. Um Ambiente para Biblioteca Digital: PROHIST - Processamento de Imagens em Documentos Históricos. 2011. Dissertação (Mestrado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
CORNÉLIO, M. L.GHEYI, R.MASSONI, Tiago Lima. Uma Técnica de Refatoração de Programas Dirigidos por Contratos. 2010. Dissertação (Mestrado em Mestrado em Engenharia da Computação) - Universidade de Pernambuco.
CORNÉLIO, M. L.; CACHO, N. A. A.; LIMA FILHO, F. C.. Reuso de Tratadores de Exceções em Programas Orientados a Aspectos. 2010. Dissertação (Mestrado em Mestrado em Engenharia da Computação) - Universidade de Pernambuco.
ALVES, C. F.;CORNÉLIO, M. L.LIMA, Ricardo Massa Ferreira. Uma Proposta para Aplicar Análise Quantitativa de Riscos em Projetos de Software Ágeis. 2010. Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
CORNÉLIO, M. L.; BATISTA, M. C. M.; OLIVEIRA, Adriano Lorena Inácio. Proposta de Melhoria na Contratação de Fábricas de Software por Órgãos Públicos. 2010. Dissertação (Mestrado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
da SILVA, F. Q. B.;CORNÉLIO, M. L.; de MOURA, H. P. Uma Extensão do Rational Unified Process baseada na Criação de Valor. 2009. Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
MOTTA, G. H. M. B.; CAVALCANTI, A. C.; TAVARES, T. A.;CORNÉLIO, M. L.. Arquitetura de referência para mediação da segurança na interoperabilidade em ambientes federados. 2009. Dissertação (Mestrado em Informática) - Universidade Federal da Paraíba.
MOTA, Alexandre CabralCORNÉLIO, M. L.SAMPAIO, Augusto. Mapeando CSP em UML-RT. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
SAMPAIO, Augusto César Alves;CORNÉLIO, M. L.MOTA, Alexandre Cabral. Geração Mecanizada de Abstrações Seguras para Especificações CSP. 2008. Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
Gustavo Motta; CABRAL, L. A. F.;CORNÉLIO, M. L.. Pragma SR: um modelo pragmático de separação de responsabilidades para o controle de acesso baseado em papéis. 2008. Dissertação (Mestrado em Informática) - Universidade Federal da Paraíba.
SAMPAIO, Augusto César Alves;MOTA, Alexandre CabralCORNÉLIO, M. L.. Parallelizing Java Programs Using Transformation Laws. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
SAMPAIO, Augusto César Alves;CORNÉLIO, M. L.MOTA, Alexandre Cabral. Multissincronização em Message Sequence Chart. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
CORNÉLIO, M. L.. A Black-box Testing Technique for the Detection of Crashes Based on Automated Test Scenarios. 2008. Dissertação (Mestrado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
CORNÉLIO, M. L.. RBTProcess - Modelo de Processo de Teste de Software baseado em Riscos. 2008. Dissertação (Mestrado em Mestrado em Engenharia da Computação) - Universidade de Pernambuco.
VASCONCELOS, Alexandre Marcos Lins de;CORNÉLIO, M. L.; SAMPAIO, Augusto César Alves. Definição e Implementação do Sistema de Tipos da Linguagem Circus. 2006. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
Gustavo Motta; Glêdson Silveira;CORNÉLIO, M. L.. Basegen: Uma Ferramenta Baseada em MDA para Construção Semi-automática de Aplicações WEB. 2006. Dissertação (Mestrado em Informática) - Universidade Federal da Paraíba.
Gustavo Motta; CABRAL, L. A. F.; CAVALCANTI, A. C.;CORNÉLIO, M. L.. Uma Arquitetura para Controle de Acesso Diferenciado Através da WEB a Recursos Informacionais. 2006. Dissertação (Mestrado em Informática) - Universidade Federal da Paraíba.
BORBA, Paulo; SANTOS, A. L. M.;CORNÉLIO, M. L.. Reuso de Casos de Teste em Linhas de Produtos de Software. 2006. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
SAMPAIO, AugustoCORNÉLIO, M. L.MOTA, Alexandre Cabral. Verificação de Modelos para Programas JCSP. 2006. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
CORNÉLIO, M. L.; VASCONCELOS, Alexandre Marcos Lins de; SAMPAIO, Augusto César Alves. Uma Disciplina de Análise e Projeto para Aplicações Concorrentes Baseada no RUP. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
CORNÉLIO, M. L.; IYODA, JULIANO; TEIXEIRA, L. M.; Gheyi, Rohit; MELO, A. C. V.. Validating Transformations of Programs using the Alloy Analyzer. 2017. Tese (Doutorado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
BORBA, P. H. M.; SIMAO, A.; MELO, A. C. V.; IYODA, J. M.;CORNÉLIO, M. L.. NAT2TEST: Generating Test Cases from Natural Language Requirements based on CSP. 2016. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal de Pernambuco.
BORBA, P. H. M.; IYODA, J. M.;CORNÉLIO, M. L.; MELO, A. C. V.; DÉHARBE, D. B. P.. Systematic Development of Trustworthy Component-based Systems. 2011. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal de Pernambuco.
CORNÉLIO, M. L.. Abstraction of Infinite and Communicating CSPZ Processes. 2009. Tese (Doutorado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
MARUYAMA, N.; COZMAN, F. G.; ROCHA, R. L. A.; MELO, A. C. V.;CORNÉLIO, M. L.. Um método de refinamento para desenvolvimento de software embarcado: uma abordagem baseada em UML-RT e especificações formais. 2007. Tese (Doutorado em Engenharia Mecânica) - Universidade de São Paulo.
OLIVEIRA, M. V. M.; MOTA, A. C.;CORNÉLIO, M. L.. Safe and Constructive Design with UML Components. 2019. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
SILVA FILHO, A. G.; RODRIGUES, M. C. A.;CORNÉLIO, M. L.. Sistema Inteligente para Apoio ao Diagnóstico Precoce da Doença de Alzheimer. 2018. Exame de qualificação (Doutorando em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
SOARES, S. C. B.; BATISTA, T. V.;CORNÉLIO, M. L.. REFlex Water - Um Framework para Gestão de Águas baseado em Processos Declarativos e Internet das Coisas para Cidades Inteligentes. 2018. Exame de qualificação (Doutorando em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
MOTA, Alexandre CabralMASSONI, Tiago LimaCORNÉLIO, M. L.. Algebraic Laws for Object Oriented Programming with References. 2014. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
SOARES, Sérgio Castelo Branco; REIS, C. A. L.;CORNÉLIO, M. L.. Indicators of Progress in Project Management Based on Project Success. 2013. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
VASCONCELOS, A. M. L.; PEREIRA, J. P. A.;CORNÉLIO, M. L.. Social Based Software Engineering. 2013. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
CORNÉLIO, M. L.; TEIXEIRA, L. M.. Uma Linguagem Específica de Domínio para Descrever Regras de Classificação de Candidatos ao Sistema de Cotas da Rede de Ensino Pública Federal. 2019. Exame de qualificação (Mestrando em Ciências da Computação) - Universidade Federal de Pernambuco.
CORNÉLIO, M. L.. Um guia de boas práticas para o alcance da motivação dos stakeholders através do desenvolvimento da competência social dos gerentes de projeto. 2009. Monografia (Aperfeiçoamento/Especialização em Especialização em Gestão Global de Projetos) - Universidade de Pernambuco.
CORNÉLIO, M. L.. Controle de Transações em Aplicações Distribuídas (Web Services). 2009. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco.
CORNÉLIO, M. L.. Estudo Comparativo entre as Técnicas de Testes. 2009. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco.
CORNÉLIO, M. L.. Utilizando SCRUM no Gerenciamento das Operações de uma Organização. 2009. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco.
LIMA, Ricardo Massa FerreiraSOARES, Sérgio Castelo BrancoCORNÉLIO, M. L.. Sistemas Legados - Critérios Decisórios para uma Migração. 2008. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco.
LIMA, Ricardo Massa FerreiraCORNÉLIO, M. L.SOARES, Sérgio Castelo Branco. Programação Orientada a Aspectos - ;Aplicação em Ambientes Corporativos. 2008. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco.
CORNÉLIO, M. L.; LIMA FILHO, F. C.. Simulação de uma Arquitetura para Replicação de Dados Geograficamente Distribuídos. 2008. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco.
CORNÉLIO, M. L.SOARES, Sérgio Castelo Branco. Testes no Desenvolvimento de Software. 2008. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco.
MASSONI, Tiago LimaCORNÉLIO, M. L.; LIMA FILHO, F. C.. Avaliação de uma Estrutura para Revisão de Código Java. 2008. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco.
SOARES, Sérgio Castelo Branco; LIMA FILHO, F. C.;CORNÉLIO, M. L.. Proposta de Modelo de Referência para a Produção de Documentos de Requisitos de Qualidade. 2008. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco.
CORNÉLIO, M. L.SOARES, Sérgio Castelo Branco. Testes de Software para Empresas que Terceirizam Desenvolvimento. 2008. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco.
CORNÉLIO, M. L.. Requisitos e Arquitetura para Ambiente de Construção Colaborativa de Software. 2008. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco.
SOARES, Sérgio Castelo Branco; GUSMÃO, Cristine Martins Gomes de;CORNÉLIO, M. L.. Medindo a Produtividade de uma Equipe de Testes. 2008. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco.
CORNÉLIO, M. L.MASSONI, Tiago LimaSOARES, Sérgio Castelo Branco. Um Processo para Implantação de Software de Suporte nas Organizações de TI Visando as Práticas de ITIL. 2008. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco.
CORNÉLIO, M. L.SOARES, Sérgio Castelo Branco; GUSMÃO, Cristine Martins Gomes de. Levantamento de Ambientes Digitais para Educação a Distância. 2008. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco.
CORNÉLIO, M. L.. Gestão de Conteúdo como Apoio à Gestão do Conhecimento: uma Análise das Soluções Existentes no Mercado. 2008. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco.
CORNÉLIO, M. L.. Obtendo Vantagem Competitiva nos Setores Públicos e Privados com a Utilização da Tecnologia E-procurement. 2008. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco.
CORNÉLIO, M. L.; GUSMÃO, Cristine Martins Gomes de. Implementando Projetos de Software com Six Sigma Baseados no Guia PMBOK. 2008. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco.
CORNÉLIO, M. L.. Um Framework para Linha de Produto de Software. 2008. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco.
CORNÉLIO, M. L.; SANTOS, W. P.. Reconhecimento de gestos reais e imaginários a partir de sinais eletroencefalográficos utilizando metaclassificadores. 2019. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal de Pernambuco.
CORNÉLIO, M. L.; CARVALHO, G.. Uma Formalização em Coq de Testes Baseados em Modelos. 2019. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal de Pernambuco.
CORNÉLIO, M. L.. Estimando Quantidade de Casos de Teste de Software Usando Redes Neurais Artificiais. 2008. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.
CORNÉLIO, M. L.. Aplicação de um Processo Ágil com Foco em Gestão de Riscos. 2008. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.
CORNÉLIO, M. L.. RBT Tool: Uma Ferramenta para Identificação de Riscos no Teste de Software. 2008. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.
CORNÉLIO, M. L.SOARES, Sérgio Castelo Branco. Uma Proposta de Metodologia de Desenvolvimento para Aplicativos Pegagógicos. 2007. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.
CORNÉLIO, M. L.; GUSMÃO, Cristine Martins Gomes de. Uma Nova Abordagem para Testes Baseados em Riscos nos Requisitos de Software. 2007. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.
CORNÉLIO, M. L.MASSONI, Tiago Lima. Análise Automática de Diagramas de Classes UML. 2007. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.
CORNÉLIO, M. L.MACIEL, Paulo. Simulação de Redes de Petri em Ambiente Java. 2006. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.
CORNÉLIO, M. L.MASSONI, Tiago Lima. Desenvolvimento de Sistema de Informação Web para o Controle de Protocolos Interno da Escola Politécnica de Pernambuco. 2006. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.
CORNÉLIO, M. L.MASSONI, Tiago Lima. Mapeando estruturas LSC em redes de Petri coloridas. 2006. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.
CORNÉLIO, M. L.LIMA, Ricardo Massa Ferreira. Modelagem de Desempenho de programas paralelos utilizando Redes de Petri Temporizadas. 2006. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.
CORNÉLIO, M. L.SOARES, Sérgio Castelo Branco; OLIVEIRA, Adriano Lorena Inácio de. Doulox Linux Live: Uma Distribuição Linux para Ambientes VoIP E H.323. 2005. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.
LIMA, Ricardo Massa FerreiraCORNÉLIO, M. L.SOARES, Sérgio Castelo Branco. Análise Comparativa de Tecnologias para Transferência de Dados entre Sistemas Web. 2005. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.
LIMA, Ricardo Massa FerreiraCORNÉLIO, M. L.SOARES, Sérgio Castelo Branco. Desenvolvimento de Aplicativos para Dispositivos Móveis na Plataforma J2ME. 2005. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.
SOARES, Sérgio Castelo Branco; MELLOR, Carlos Alexandre Barros de;CORNÉLIO, M. L.. Serviço de Distribuição de Conteúdos RSS para Dispositivos Móveis Através de Web Services. 2005. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.
SOARES, Sérgio Castelo BrancoLIMA, Ricardo Massa FerreiraCORNÉLIO, M. L.. Uma Aplicação Telnet para Dispositivos Móveis. 2005. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.
CORNÉLIO, M. L.SOARES, Sérgio Castelo BrancoLIMA, Ricardo Massa Ferreira. .EZPetri - Um Ambiente para integração de linguagens de descrição de redes de Petri. 2004. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.
CORNÉLIO, M. L.SOARES, Sérgio Castelo BrancoLIMA, Ricardo Massa Ferreira. .EZPetri: Um Ambiente para redes de Petri no Eclipse. 2004. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.
ALBUQUERQUE, J. O.; SOUZA, R. A. C.;CORNÉLIO, M. L.. Concurso Público de Provas e Títulos - Professor da Carreira de Magistério Superior, Classe A. 2015. Universidade Federal Rural de Pernambuco.
CORNÉLIO, M. L.; SCHUENEMANN, C. T. L. L. S.; MORAES, R. M.. Seleção Pública para Professor Substituto. 2015. Universidade Federal de Pernambuco.
ALBUQUERQUE, J. O.; ALBUQUERQUE JUNIOR, G. A.;CORNÉLIO, M. L.. Concurso Público de Provas e Títulos - Professor da Carreira de Magistério Superior, Classe A. 2014. Universidade Federal Rural de Pernambuco.
SOARES, Sérgio Castelo BrancoCORNÉLIO, M. L.; SANTANA, C.. Concurso Público de Provas e Títulos para Professor Adjunto I. 2013. Universidade Federal Rural de Pernambuco.
RIBEIRO, A. R L.;CORNÉLIO, M. L.; da ROCHA, T.. Concurso Público de Provas e Títulos - Categoria Professor Adjunto Nível 1. 2009. Universidade Federal de Sergipe.
CORNÉLIO, M. L.. Concurso Público para Professor Assitente. 2009. Universidade Federal de Sergipe.
CORNÉLIO, M. L.MASSONI, Tiago Lima; SANTOS, A. L. M.. Concurso Público para Professor Assistente na Área de Engenharia de Software. 2007. Universidade de Pernambuco.
LIMA, Ricardo Massa FerreiraCORNÉLIO, M. L.; VASCONCELOS, Alexandre Marcos Lins de. Concurso Público para Professor Adjunto na Área de Engenharia de Softwre. 2007. Universidade de Pernambuco.
CORNÉLIO, M. L.SOARES, Sérgio Castelo BrancoMOTA, Alexandre Cabral. Concurso Público para Professor Assistente de Engenharia de Software. 2006. Universidade de Pernambuco.
CORNÉLIO, M. L.; MELLO, Carlos Alexandre de Barros. Concurso Público para Professor Adjunto de Engenharia de Software. 2004. Universidade de Pernambuco.
CORNÉLIO, M. L.. Comitê de Programa do CTD 2020 ? XXXIII CONCURSO DE TESES E DISSERTAÇÕES. 2020. Universidade Federal de Mato Grosso.
CORNÉLIO, M. L.. Comitê de Programa do 23 Simpósio Brasileiro de Métodos Formais. 2020. Universidade Federal de Ouro Preto.
CORNÉLIO, M. L.. Projetos dos Programa Institucional de Base de Iniciação Científica (2008-2009) e Programa de Desenvolvimento Tecnológico e Extensão (2008-2009). 2008. Universidade de Pernambuco.
CORNÉLIO, M. L.. Programa Institucional de Base de Iniciação Científica (2006-2007) e Programa de Desenvolvimento Tecnológico e Extensão (2006-2007). 2007. Universidade de Pernambuco.
CORNÉLIO, M. L.. Simpósio Brasileiro de Linguagens de Programação. 2007. Sociedade Brasileira de Computação - Porto Alegre.
CORNÉLIO, M. L.. Simpósio Brasileiro de Métodos Formais 2005. 2005. Sociedade Brasileira de Computação - Porto Alegre.
CORNÉLIO, M. L.. XVII Simpósio Brasileiro de Engenharia de Software. 2003. Sociedade Brasileira de Computação - Porto Alegre.
Orientou
Análise e validação de tradução entre modelos RoboSim e linguagens para platatormas robóticas; Início: 2022; Dissertação (Mestrado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; (Orientador);
Visualização de modificações conjuntas de artefatos em repositórios de software; 2020; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Márcio Lopes Cornélio;
A Combinator Based, Certifiable, Parsing Framework; 2019; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; Orientador: Márcio Lopes Cornélio;
Identificação de code smells e vulnerabilidade em código para aplicativos Android com base em análise de repositórios de software; 2017; Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Márcio Lopes Cornélio;
Evolução Arquitetural de um Web Service: transformação de código e avaliação de arquitetura; 2015; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Márcio Lopes Cornélio;
Transformação sistemática entre modelos Scade e SCR; 2014; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Márcio Lopes Cornélio;
Metodologia de Análise de Tempo de Resposta para Modelos Simulink; 2011; Dissertação (Mestrado em Pós-Graduação em Ciência da Computação) - Centro de Informática, ; Coorientador: Márcio Lopes Cornélio;
Comparação de Métodos de Otimização Global para Geração Automática de Dados para Teste de Software; 2010; Dissertação (Mestrado em Mestrado em Engenharia da Computação) - Universidade de Pernambuco, ; Coorientador: Márcio Lopes Cornélio;
Análise de Ontologias por Meio de um Analisador Baseado em Busca de Modelos; 2009; Dissertação (Mestrado em Engenharia da Computação) - Universidade de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Márcio Lopes Cornélio;
Refactoring Annotated Java Programs: a Rule-based Approach; 2009; Dissertação (Mestrado em Mestrado em Engenharia da Computação) - Universidade de Pernambuco, ; Orientador: Márcio Lopes Cornélio;
FxTL: Uma Linguagem para Transformações de Programas; 2008; Dissertação (Mestrado em Engenharia da Computação) - Universidade de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; Coorientador: Márcio Lopes Cornélio;
Implementing JML Contracts with AspectJ; 2008; Dissertação (Mestrado em Mestrado em Engenharia da Computação) - Universidade de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Márcio Lopes Cornélio;
Reflex: a Graph-based Model for Declarative Business Processes; 2015; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Coorientador: Márcio Lopes Cornélio;
Um Estudo de Caso Envolvendo a Implementação de um Processo de Coaching para Desenvolvimento de Líderes em um Empresa Pública de Desenvolvimento de Software; 2009; Monografia; (Aperfeiçoamento/Especialização em Especialização em Gestão Global de Projetos) - Universidade de Pernambuco; Orientador: Márcio Lopes Cornélio;
Sistemas Legados - Critérios Decisórios para uma Migração; 2008; Monografia; (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco; Orientador: Márcio Lopes Cornélio;
Avaliação de uma Estrutura para Revisão de Código Java; 2008; Monografia; (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco; Orientador: Márcio Lopes Cornélio;
Requisitos e Arquitetura para Ambiente de Construção Colaborativa de Software; 2008; Monografia; (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco; Orientador: Márcio Lopes Cornélio;
Medindo a Produtividade de uma Equipe de Testes; 2008; Monografia; (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco; Orientador: Márcio Lopes Cornélio;
Proposta de Modelo de Referência para a Produção de Documentos de Requisitos de Qualidade; 2008; Monografia; (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco; Orientador: Márcio Lopes Cornélio;
Controle de Transações em Aplicações Distribuídas (Web Services); 2008; Monografia; (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco; Orientador: Márcio Lopes Cornélio;
Geração de Código C para Arduino a partir de Modelos em RoboSim; 2022; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Márcio Lopes Cornélio;
Avaliação do uso de offloading de processamento para economia de energia em dispositivos móveis; 2019; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Márcio Lopes Cornélio;
Ferramenta Web para Rastreabilidade de Requisitos; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Márcio Lopes Cornélio;
Uma proposta para inserção da equipe de desenvolvimento na gestão de requisitos por meio de ferramenta de controle de tarefas; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Márcio Lopes Cornélio;
Análise das Permissões e Violações de Privacidade em Aplicações para Android; 2017; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Márcio Lopes Cornélio;
Aplicando Regras de Programação para Refatoração de Programas em Dafny: uma Linguagem Imperativa com Especificação Nativa; 2015; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Márcio Lopes Cornélio;
Uma Ferramenta Web para Geração Automática de Casos de Teste; 2008; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade de Pernambuco; Orientador: Márcio Lopes Cornélio;
Um Sistema Web para Gerenciamento do Processo de Estágio Supervisionado na Poli-UPE; 2008; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade de Pernambuco; Orientador: Márcio Lopes Cornélio;
Um Modelo de Processo Ágil de Testes; 2008; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade de Pernambuco; Orientador: Márcio Lopes Cornélio;
Geração Semi-Automática de Testes Unitários na Ferramenta BASEGen; 2007; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade de Pernambuco; Orientador: Márcio Lopes Cornélio;
Geração de diagrama de classes UML a partir de histórias de usuários em metodologias de desenvolvimento ágil; 2007; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade de Pernambuco; Orientador: Márcio Lopes Cornélio;
Aplicação de Padrões ao Processo de Desenvolvimento de Software RUP; 2006; 0 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade de Pernambuco; Orientador: Márcio Lopes Cornélio;
Verificação de Condições de Leis de Programação em um Sistema de Reescrita; 2006; 0 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade de Pernambuco; Orientador: Márcio Lopes Cornélio;
Padrões de Projetos no Desenvolvimento de Aplicações J2ME; 2006; 0 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade de Pernambuco; Orientador: Márcio Lopes Cornélio;
Suporte a Teste de Unidade de Aplicativos J2ME no Ambiente Eclipse; 2005; 0 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade de Pernambuco; Orientador: Márcio Lopes Cornélio;
Verificação de Qualidade de Software: estudo de casos de empresas da Região Metropolitana do Recife; 2005; 0 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade de Pernambuco; Orientador: Márcio Lopes Cornélio;
Especificação Comportamental de um Subconjunto da Plataforma J2ME; 2005; 154 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade de Pernambuco; Orientador: Márcio Lopes Cornélio;
Ambiente para Construção de Programas Orientados a Objetos Formalmente Anotados; 2012; Iniciação Científica; (Graduando em Sistemas de Informação) - Universidade Federal de Pernambuco; Orientador: Márcio Lopes Cornélio;
Um Sistema Orientado à Semântica para Construção de Ambientes de Desenvolvimento Integrado; 2008; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade de Pernambuco; Orientador: Márcio Lopes Cornélio;
Uso de Ferramentas para Avaliação da Transformação de Programas Formalmente Anotados; 2008; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade de Pernambuco; Orientador: Márcio Lopes Cornélio;
Análise Empírica de Leis de Programação para Programas Orientados a Objetos Formalmente Anotados; 2008; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; Orientador: Márcio Lopes Cornélio;
Refatoração Automática de Código de Tratamento de Exceções para Aspectos; 2008; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade de Pernambuco, Escola Politécnica de Pernambuco; Orientador: Márcio Lopes Cornélio;
Refatoração de Programas JML; 2006; 33 f; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade de Pernambuco, Escola Politécnica de Pernambuco; Orientador: Márcio Lopes Cornélio;
Desenvolvimento de um Ambiente para Provas de Refactorings; 2005; 0 f; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Márcio Lopes Cornélio;
Mecanização de Leis de Programação e Derivação de Refactorings; 2005; 0 f; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Márcio Lopes Cornélio;
Estudo de Sistemas de Reescritura com Vistas à Mecanização de Leis de Programação; 2005; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade de Pernambuco, Escola Politécnica de Pernambuco; Orientador: Márcio Lopes Cornélio;
Mecanização de Leis de Programação com Vistas à Derivação de Regras de Refactorings; 2005; 0 f; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade de Pernambuco; Orientador: Márcio Lopes Cornélio;
Produções bibliográficas
-
LIMA, LUCAS ; MIYAZAWA, ALVARO ; CAVALCANTI, Ana ; CORNÉLIO, MÁRCIO ; IYODA, JULIANO ; SAMPAIO, Augusto ; HAINS, RALPH ; LARKHAM, ADRIAN ; LEWIS, VAUGHAN . An integrated semantics for reasoning about SysML design models using refinement. Software & Systems Modeling , v. 1, p. 1-28, 2015.
-
REBÊLO, H. ; Lima, Ricardo M.F. ; CORNÉLIO, M. L. ; G. T. Leavens ; MOTA, Alexandre Cabral ; C. Oliveira . Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study. Science of Computer Programming (Print) , v. 78, p. 1137-1156, 2013.
-
CORNÉLIO, M. L. ; CAVALCANTI, Ana ; SAMPAIO, Augusto César Alves . Sound refactorings. Science of Computer Programming (Print) , v. 75, p. 106-133, 2010.
-
Falconieri Freitas, Gabriel ; CORNÉLIO, M. L. ; Massoni, Tiago ; Gheyi, Rohit . Object-oriented Programming Laws for Annotated Java Programs. Electronic Proceedings in Theoretical Computer Science , v. 21, p. 65-76, 2010.
-
Oliveira, Adriano L.I. ; Braga, Petronio L. ; Lima, Ricardo M.F. ; CORNÉLIO, M. L. . GA-based method for feature selection and parameters optimization for machine learning regression applied to software effort estimation. Information and Software Technology , v. 52, p. 1155-1166, 2010.
-
FREITAS, L. ; CARACIOLO, M. ; CORNÉLIO, M. L. . Logic Programming for Verification of Object-Oriented Programming Law Conditions. Journal of Universal Computer Science (Online) , v. 13, p. 721-736, 2007.
-
CARVALHO JÚNIOR, Antônio ; SILVA, Leila ; CORNÉLIO, M. L. . Using CafeOBJ to Mechanise Refactoring Proofs and Application. Electronic Notes in Theoretical Computer Science , v. 184, p. 39-61, 2007.
-
de Oliveira Jr., F. ; LIMA, Ricardo Massa Ferreira ; CORNÉLIO, M. L. ; SOARES, Sérgio Castelo Branco ; MACIEL, Paulo ; BARRETO, R. ; OLIVEIRA Jr., M . CML: C Modeling Language. Journal of Universal Computer Science (Online) , v. 13, p. 682-700, 2007.
-
CORNÉLIO, M. L. ; CAVALCANTI, Ana ; SAMPAIO, Augusto . Refactoring towards a Layered Architecture. Electronic Notes in Theoretical Computer Science , v. 130, p. 281-300, 2005.
-
BORBA, Paulo ; SAMPAIO, Augusto ; CAVALCANTI, Ana ; CORNÉLIO, M. L. . Algebraic Reasoning for Object-Oriented Programming. Science of Computer Programming , v. 52, p. 53-100, 2004.
-
CORNÉLIO, M. L. ; CAVALCANTI, Ana ; SAMPAIO, Augusto . Refactoring by Transformation. Electronic Notes in Theoretical Computer Science , v. 70, p. 311-330, 2002.
-
FREITAS, Gabriel Ramos Falconieri ; CORNÉLIO, M. L. . Design by Contract e Java. Java Magazine, p. 60 - 67.
-
CARVALHO, RENATA M. DE ; SILVA, NATALIA C. ; LIMA, RICARDO M. F. ; CORNELIO, MARCIO L. . ReFlex: An Efficient Graph-Based Rule Engine to Execute Declarative Processes. In: 2013 IEEE International Conference on Systems, Man and Cybernetics (SMC 2013), 2013, Manchester. 2013 IEEE International Conference on Systems, Man, and Cybernetics, 2013. p. 1379.
-
LIMA, L. ; DIDIER, A. ; CORNÉLIO, M. L. . A Formal Semantics for SysML Activity Diagrams. In: 16th Brazilian Symposium, SBMF 2013, 2013, Brasília. Formal Methods: Foundations and Application (Lecture Notes in Computer Science), 2013. v. 8195. p. 179-194.
-
REBÊLO, H. ; LIMA, Ricardo Massa Ferreira ; CORNÉLIO, M. L. ; G. T. Leavens ; MOTA, Alexandre Cabral ; C. Oliveira . Optimizing JML Feature Compilation in Ajmlc Using Aspect-Oriented Refactorings. In: XIII Simpósio Brasileiro de Linguagens de Programação, 2009, Gramado - RS. Anais do XIII Simpósio Brasileiro de Linguagens de Programação, 2009. p. 117-130.
-
SOARES, G. ; GHEYI, R. ; MASSONI, Tiago Lima ; CORNÉLIO, M. L. ; CAVALCANTI, D. . Generating Unit Tests for Checking Refactoring Safety. In: XIII Simpósio Brasileiro de Linguagens de Programação, 2009, Gramado - RS. Anais do XIII Simpósio Brasileiro de Linguagens de Programação, 2009. p. 159-172.
-
REBÊLO, H. ; LIMA, Ricardo Massa Ferreira ; CORNÉLIO, M. L. ; SOARES, Sérgio Castelo Branco ; FERREIRA, Leopoldo . Implementing Java Modeling Language Contracts with AspectJ. In: Symposium on Applied Computing, 2008, Fortaleza. Proceedings of the 23rd Annual ACM Symposium on Applied Computing. New York: Association for Computing Machinery , Inc., 2008. v. 1. p. 228-233.
-
REBÊLO, H. ; LIMA, Ricardo Massa Ferreira ; CORNÉLIO, M. L. ; SOARES, Sérgio Castelo Branco ; BORBA, Paulo . JML and Aspects: The Benefits of Instrumenting JML Features with AspectJ. In: Seventh International Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2008), 2008, Atlanta. Specification and Verification of Component-Based Systems. p. 11-18.
-
FREITAS, L. ; CARACIOLO, M. ; CORNÉLIO, M. L. . Logic Programming for Verification of Object-Oriented Programming Law Conditions. In: XI Brazilian Symposium on Programming Languages - SBLP 2007, 2007, Natal. XI Brazilian Symposium on Programming Languages, 2007. p. 33-46.
-
de Oliveira Jr., F. ; LIMA, Ricardo Massa Ferreira ; CORNÉLIO, M. L. ; SOARES, Sérgio Castelo Branco ; MACIEL, Paulo ; BARRETO, R. ; OLIVEIRA Jr., M ; TAVARES, E. . CML: The C Modeling Language. In: XI Brazilian Symposium on Programming Languages - SBLP 2007, 2007, Natal. XI Brazilian Symposium on Programming Languages, 2007. p. 5-18.
-
CARVALHO JÚNIOR, Antônio ; SILVA, Leila ; CORNÉLIO, M. L. . Using CafeOBJ to Mechanise Refactoring Proofs and Applications. In: Brazilian Symposium on Formal Methods, 2005, Porto Alegre. Brazilian Symposium on Formal Methods, 2005. p. 32-46.
-
CORNÉLIO, M. L. ; CAVALCANTI, Ana ; SAMPAIO, Augusto . Refactoring towards a Layered Architecture. In: Simpósio Brasileiro de Métodos Formais, 2004, Recife. Simpósio Brasileiro de Métodos Formais, 2004. p. 199-216.
-
BORBA, Paulo ; SAMPAIO, Augusto ; CORNÉLIO, M. L. . A Refinement Algebra for Object-oriented Programming. In: 17th European Conference on Object-Oriented Programming, ECOOP'2003, 2003, Darmstadt. 17th European Conference on Object-Oriented Programming, ECOOP'2003, 2003. v. 2743. p. 257-282.
-
CORNÉLIO, M. L. ; BORBA, Paulo . Structuring Mechanisms for an Object-Oriented Formal Specification Language. In: VI International Conference on Software Reuse, 2000, Viena. Lecture Notes in Computer Science, 2000.
-
CORNÉLIO, M. L. ; BORBA, Paulo . Design of an object-oriented formal specification language. In: I Workshop Brasileiro de Métodos Formais, 1998, Porto Alegre - RS. Anais do WMF'98 - I Workshop Brasileiro de Métodos Formais. Potro Alegre - RS: Instituto de Informática da UFRGS, 1998. p. 94-99.
-
COSTA, M. ; MOTA, Alexandre Cabral ; CORNÉLIO, M. L. . From SCR to SCADE. In: SBMF 2012 - XV Simpósio Brasileiro de Métodos Formais, 2012, Natal - RN. SBMF 2012 - XV Simpósio Brasileiro de Métodos Formais, 2012. v. 11. p. 1-6.
-
REBÊLO, H. ; LIMA, Ricardo Massa Ferreira ; CORNÉLIO, M. L. ; SOARES, Sérgio Castelo Branco . A JML Compiler Based on AspectJ. In: International Conference on Software Testing, Verification, and Validation, 2008, Lillehammer. International Conference on Software Testing, Verification, and Validation, 2008. Los Alamitos, CA, USA: IEEE Computer Society, 2008. p. 541-544.
-
CORNÉLIO, M. L. ; BORBA, Paulo . Projeto e avaliação de uma linguagem de especificação formal orientada a objetos. In: II Workshop de Teses em Engenharia de Software, 1997, Fortaleza. II Workshop de Teses em Engenharia de Software, 1997. p. 44-46.
-
BORGES, A. ; CORNÉLIO, M. L. ; et. al. . Integração (?) entre o Campus I e a Rede Nacional de Pesquisas. In: III Encontro de Iniciação Cientiífica da UFPB, 1995, João Pessoa. Anais do III Encontro de Iniciação Cientiífica da UFPB. João Pessoa: UFPB, 1995.
-
TOURÉ, M. ; CORNÉLIO, M. L. ; et. al. . Especificação de um Chip (o Digicode) utilizando os conceitos de Autômatos Finitos. In: III Encontro de Iniciação Científica da UFPB, 1995, João Pessoa. Anais do III Encontro de Iniciação Científica da UFPB. João Pessoa: UFPB, 1995.
-
CÂMARA, F. V. ; CORNÉLIO, M. L. ; et. al. . Concepção Estruturada de Circuitos Integrados: Implementação de um Comutador ATM. In: III Encontro de Iniciação Científica da UFPB, 1995, João Pessoa. Anais do III Encontro de Iniciação Científica da UFPB. João Pessoa: UFPB, 1995.
-
CÂMARA, F. V. ; TOURÉ, M. ; CORNÉLIO, M. L. ; et. al. . Metodologia Hierarquizadapara Projeto de Circuitos Integrados Dedicados. In: II Encontro de Iniciação Científica da UFPB, 1994, João Pessoa. Anais do II Encontro de Iniciação Científica da UFPB. João Pessoa: UFPB, 1994.
-
TOURÉ, M. ; CORNÉLIO, M. L. ; et. al. . Internet: A Teia Mundial. In: II Encontro de Iniciação Científica da UFPB, 1994, João Pessoa. Anais do II Encontro de Iniciação Científica da UFPB. João Pessoa: UFPB, 1994.
-
RIBEIRO, T. V. ; CORNÉLIO, M. L. . Android Application based on Repository Analysis. Singular Engenharia, Tecnologia e Gestão , 2020.
-
CORNÉLIO, M. L. ; ROSCOE, A. W. . Special section: 18th Brazilian Symposium on Formal Methods (SBMF 2015). 2019. (Editoração/Periódico).
-
CORNÉLIO, M. L. ; ROSCOE, B. . Formal Methods: Foundations and Applications - 18th Brazilian Symposium, SBM 2015. 2016. (Editoração/Anais).
Outras produções
CORNÉLIO, M. L. ; SIQUEIRA, Roxana Alves de . Fatores de Localização da Cidade do Recife. 2008 (Revisão de tradução).
CORNÉLIO, M. L. . Refactoring as Formal Refinements. 2004 (Tese de Doutorado) .
CORNÉLIO, M. L. . Design and Evaluation of an Object-Oriented Formal Specification Language. 1998 (Dissertação de Mestrado) .
Projetos de pesquisa
-
2015 - Atual
Derivação de condições de leis de programação e definição de sequência de aplicação, Descrição: O objetivo deste projeto é derivar automaticamente as condições para aplicação de leis de programação tendo com base as semânticas estática e dinâmica de uma linguagem de programação, por meio do uso da linguagem Alloy e do Analisador dela. Além disso, busca-se a definição automática de sequências de aplicação de leis para a derivação de programas previamente determinados. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Doutorado: (1) . , Integrantes: Márcio Lopes Cornélio - Coordenador / Alexandre Cabral Mota - Integrante / Lisieux Marie Marinho dos Santos Andrade - Integrante.
-
2013 - Atual
Modelagem, Verificação e Teste Composicional de Sistemas com Aplicações na Indústria Aeronáutica, Descrição: Neste projeto, propomos a sistematização de vários aspectos do projeto de grandes sistemas, particularmente, com ênfase em Sistemas de Sistemas (SoS, Systems of Sytems). O escopo inclui modelagem (semiformal e formal), verificação (análise formal de propriedades) e teste de tais sistemas. Utilizamos a linguagem SysML para descrever requisitos e os modelos de análise e projeto (design) de um SoS. SysML é uma linguagem semiformal, amplamente utilizada na indústria, com uma semântica definida em linguagem natural e através do uso de meta-modelos, também semiformais. Portanto, ambiguidades nos modelos SysML podem induzir a erros de implementação. No processo proposto, o modelo em SysML é traduzido (automaticamente) para um modelo descrito na linguagem formal Circus, que integra a álgebra de processos CSP, para expressar os aspectos reativos, a linguagem baseada em modelos Z, para expressar os aspectos de dados e a linguagem de comandos guardados de Dijkstra, fazendo de Circus não apenas uma linguagem de especificação, mas também de programação. Como segunda etapa do processo proposto, o modelo Circus será verificado com o objetivo de se garantir a preservação de propriedades de interesse. Isto permitirá, inicialmente, verificar a consistência, tanto individual, como integrada, dos diagramas SysML do sistema. Um outro aspecto da análise é o desenvolvimento de uma estratégia que garanta, por construção, a ausência de problemas clássicos como deadlock no SoS, a partir da verificação da ausência de deadlock em seus componentes. O desafio desta análise é escalabilidade. Como terceira e última etapa do processo, complementar à verificação, será desenvolvida uma estratégia automática de geração de vetores de teste a partir da especificação em Circus. Finalmente, o escopo do projeto inclui uma avaliação, em um ambiente industrial, com o apoio da Embraer, da eficácia dos métodos de modelagem, análise e teste propostos, através da aplicação na área de aviação e na arquitetura IMA (Integrated Modular Avionics) em particular. Este projeto inclui um breve relato das metas atingidas no período anterior. Alguns resultados, restritos a aspectos de controle em CSP e testados em exemplos pequenos, serão estendidos para um formalismo multiparadigma (Circus) e validados em aplicações reais de IMA.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Márcio Lopes Cornélio - Integrante / Augusto César Alves Sampaio - Coordenador / Juliano Manabu Iyoda - Integrante / Lucas Lima - Integrante / Marcel Oliveira - Integrante / Gustavo Carvalho - Integrante / Pedro Antonino - Integrante / José Oliveira - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
-
2010 - 2012
Refatoração de Programas Orientados a Objetos Formalmente Anotados, Descrição: Mudanças na estrutura de um programa são intrínsecas ao ciclo de vida do próprio programa. Estas mudanças devem preservar o comportamento do programa, melhorando apenas sua estrutura interna. No contexto da orientação a objetos já conhecidas leis de programação com prova de que preservam o comportamento de programas. Contudo, estas leis não levam em consideração mudanças em modelos formais descritos em linguagens de modelagem por meio de anotações. Leis de programação da orientação a objetos também devem considerar os impactos das mudanças de elementos de um programa sobre os modelos formais. Neste projeto, avaliaremos, descreveremos e implementaremos as mudanças sobre modelos formais de programas orientados a objetos decorrentes da transformação de elementos encontrados em código de programas.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Márcio Lopes Cornélio - Coordenador / Augusto César Alves Sampaio - Integrante / Tiago Lima Massoni - Integrante / Rohit Gheyi - Integrante / Paulo Henrique Monteiro Borba - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
-
2010 - 2012
Refatoração Sincronizada de Programas Anotados com Especificações Formais, Descrição: A assimilação das necessidades de evolução em projetos de software que fazem uso de especicação e modelagem ainda é difícil e custosa na prática. No caso de refatoração de programas, por exemplo, modelos abstratos em conformidade com os programas tornam-se inconsistentes; técnicas como engenharia round-trip e MDA (Model-Driven Architecture) lidam parcialmente com o problema, já que estabelecem perda da abstração desejável em especi cações. Este projeto pretende propor, formalizar, implementar e avaliar uma abordagem prática de refatoração de especi cações que geram refatorações de programas automáticas, mantendo sua conformidade. Especi cações e código-fonte serão localizados em um único artefato, utilizando Java e a linguagem de especi cação JML (Java Modeling Language), facilitando sua adoção da abordagem. Como complemento, iremos de nir um catálogo de refatorações de programas que permanecem corretos mesmo com especi cações JML presentes, formando assim uma metodologia de refatoração completa. Como resultado, pretendemos de nir uma metodologia de refatoração de especi cações e programas com alto índice de automatização, e uma ferramenta que dará suporte à metodologia e estudos de caso documentados.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Márcio Lopes Cornélio - Integrante / Paulo Borba - Integrante / Augusto César Alves Sampaio - Coordenador / Leila Silva - Integrante / Tiago Lima Massoni - Integrante / Rohit Gheyi - Integrante / Gary Leavens - Integrante / David Naumann - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
-
2008 - Atual
Instituto Nacional de Ciência e Tecnologia para Engenharia de Software, INES, Descrição: O INES (Instituto Nacional de Ciência e Tecnologia para Engenharia de Software), sob a Coordenação do Prof. Silvio Meira, da UFPE, tem como tema global promover desenvolvimento de software com altíssima produtividade, aplicando de forma sistemática o conceito de fábrica. Primordialmente, os sistemas desenvolvidos apresentarão, de forma mensurável e configurável, fidedignidade (ou seja, poderemos depender deles sem receio). Em especial, as iniciativas do INES buscarão diminuir de forma radical as taxas de fracasso de projeto, aumentando o nível de satisfação com a qualidade dos produtos entregues, com custo e benefício controlados. Dentro deste contexto, o Instituto determinará e controlará a execução de atividades com metas de curto, médio e longo prazo, coordenando as contribuições das várias instituições e grupos de pesquisa participantes. A área de atuação dos pesquisadores que irão compor o INES, em termos gerais, engloba atividades de definição, viabilização e implantação de fábricas de software efetivas, com foco em alta produtividade e, ao mesmo tempo, fidedignidade mensurável e controlável. De forma específica, pesquisadores atuarão em diversas linhas de pesquisa conectadas em termos do objetivo em comum: (a) reuso sistemático e linhas de produto de software, (b) verificação e validação automática de sistemas, (c) técnicas de evolução e refatoração automáticas, (d) desenvolvimento dirigido por modelos, (e) linguagens de domínio específico, (f) qualidade de software e (g) engenharia de software experimental.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Márcio Lopes Cornélio - Integrante / Sílvio Romero de Lemos Meira - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
-
2007 - 2009
Refatoração de Programas Baseada em Especificações Formais, Descrição: O objetivo deste projeto de pesquisa é contribuir para aperfeiçoar o processo de desenvolvimento de software, em particular de atividades ligadas à evolução, com ênfase em refatoração sincronizada de modelos e programas. Projeto multi-institucional liderado pelo Centro de Informática (UFPE), tendo o Departamento de Sistemas e Computação (UPE) e o Departamento de Computação (UFS) como instituições colaboradoras.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Márcio Lopes Cornélio - Integrante / Paulo Borba - Integrante / Augusto César Alves Sampaio - Coordenador / Leila Silva - Integrante / Tiago Lima Massoni - Integrante / Rohit Gheyi - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Universidade Federal de Sergipe - Cooperação / Universidade Federal de Pernambuco - Cooperação.
-
2005 - 2007
CNPq PDPG-TI 506483/2004-5 Suporte Automatizado para Aplicação de Refactorings (SAAR), Descrição: Objetivos Este projeto tem como um de seus objetivos a mecanização uso de regras para a transformação de programas orientados a objetos, também conhecidas como refactoring. Estas transformações tem como objetivo a reestruturação de sistemas com vistas a melhoria da capacidade de reuso do mesmo e também uma maior facilidade de compreensão dos mesmos. Aplicações de refactoring também têm como objetivo a obtenção de sistemas que estejam estruturados de acordo com padrões de projetos. O desenvolvimento de provas com auxílio de ferramentas computacionais tende a eliminar a possibilidade de erros que decorrem da manipulação de leis. Além disso, a prova mecância de regras permitirá a validação das provas já realizadas. A construção de um ambiente que auxilie na aplicação de leis de programação (já implementadas) para prova de regras de refactoring é um objetivo deste projeto. A construção de um ambiente no qual possamos realizar a aplicação de regras de refactoring a um programa orientado a objetos constitui um outro objetivo deste projeto. Com tal ambiente, será possível efetuarmos transformações em programas orientados a objetos a fim de estruturá-los de acordo com padrões de projeto ou simplesmente para melhorar sua estrutura interna com o objetivo de facilitar futuras mudanças bem como aumentar as chances de re-utilização do mesmo. A derivação de novas regras de refactoring. Metodologia As provas de regras de refactoring são realizadas por meio do uso de leis de programação e também de refinamento de dados. Estas provas, porém, foram realizadas manualmente, uma atividades bastante cansativa e que pode levar a erros. Além disso, não fica registrado que outros caminhos foram procurados para se conseguir a prova, apenas aquele que levou ao sucesso. Utilizaremos como suporte para a derivação de regras de refactoring, sistemas de reescritura como CafeOBJ, Maude ou ELAN.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Márcio Lopes Cornélio - Coordenador / Sérgio Castelo Branco Soares - Integrante / Marcel Pinheiro Caraciolo - Integrante / Leandro Dornelas de Freitas - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 3
Histórico profissional
Endereço profissional
-
Universidade Federal de Pernambuco, Centro de Informática. , Av. Jornalista Anibal Fernandes s/n, Cidade Universitária, 50740560 - Recife, PE - Brasil, Telefone: (81) 21268430, Ramal: 4350, Fax: (81) 21268438, URL da Homepage:
Experiência profissional
2010 - Atual
Universidade Federal de PernambucoVínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Regime: Dedicação exclusiva.
Atividades
-
05/2015
Direção e administração, Centro de Informática.Cargo ou função, Coordenador do Curso de Graduação em Ciência da Computação.
-
05/2013 - 04/2015
Direção e administração, Centro de Informática.Cargo ou função, Vice-coordenador do Curso de Graduação em Ciência da Computação.
-
09/2014 - 02/2015
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Introdução à Programação, Paradigmas de Linguagens Computacionais
-
09/2014 - 10/2014
Ensino, Ciências da Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, Fundamentos de Linguagem de Programação
-
03/2014 - 08/2014
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Engenharia de Software e Sistemas, Paradigmas de Linguagens Computacionais
-
10/2013 - 03/2014
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Engenharia de Software e Sistemas, Paradigmas de Linguagens Computacionais
-
05/2013 - 10/2013
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Engenharia de Software e Sistemas, Paradigmas de Linguagens Computacionais
-
12/2012 - 04/2013
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Engenharia de Software e Sistemas, Paradigmas de Linguagens Computacionais
-
03/2012 - 07/2012
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Engenharia de Software e Sistemas, Paradigmas de Linguagens Computacionais
-
07/2011 - 12/2011
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Paradigmas de Linguagens Computacionais, Engenharia de Software e Sistemas
-
03/2011 - 07/2011
Ensino, Abi - Engenharia, Nível: GraduaçãoDisciplinas ministradas, Computação Eletrônica
-
03/2011 - 07/2011
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Engenharia de Software e Sistemas
-
08/2010 - 12/2010
Ensino, Abi - Engenharia, Nível: GraduaçãoDisciplinas ministradas, Computação Eletrônica (Turma V1), Computação Eletrônica (Turma V3)
-
03/2010 - 07/2010
Ensino, Estatística, Nível: GraduaçãoDisciplinas ministradas, Métodos Numéricos
-
03/2010 - 07/2010
Ensino, Abi - Engenharia, Nível: GraduaçãoDisciplinas ministradas, Computação Eletrônica
2009 - 2010
Universidade Federal Rural de PernambucoVínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Regime: Dedicação exclusiva.
2003 - 2009
Universidade de PernambucoVínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.
2003 - 2003
Universidade de PernambucoVínculo: Professor com contrato temporá, Enquadramento Funcional: Professor, Carga horária: 12
Atividades
-
03/2008 - 02/2009
Direção e administração, Departamento de Sistemas e Computação.Cargo ou função, Vice-coordenador do Programa de Pós-Graduação em Engeharia da Computação.
-
08/2008 - 12/2008
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Lógica
-
08/2008 - 12/2008
Ensino, Mestrado em Engenharia da Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, Paradigmas de Linguagens de Programação
-
09/2008 - 11/2008
Ensino, Gestão Global de Projetos, Nível: EspecializaçãoDisciplinas ministradas, Metodologia Científica I (15 horas), Metodologia Científica II (15 horas)
-
02/2008 - 07/2008
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Lógica, Métodos Formais, Semântica de Linguagens de Programação
-
02/2008 - 07/2008
Ensino, Mestrado em Engenharia da Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, Paradigmas de Linguagens de Programação
-
09/2007 - 12/2007
Ensino, Especialização em Engenharia de Software, Nível: EspecializaçãoDisciplinas ministradas, Metodologia Científica II (15 horas), Metodologia Científica I (15 horas)
-
08/2007 - 12/2007
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Lógica, Semântica de Linguagens de Programação
-
08/2007 - 12/2007
Ensino, Mestrado em Engenharia da Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, Paradigmas de Linguagens de Programação
-
02/2007 - 06/2007
Ensino, Engenharia da Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, Semântica de Linguagens de Programação
-
02/2007 - 06/2007
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Lógica, Métodos Formais, Semântica de Linguagens de Programação
-
05/2007 - 05/2007
Ensino, Especialização em Engenharia de Software, Nível: EspecializaçãoDisciplinas ministradas, Processo Unificado (15 h)
-
11/2005 - 02/2007
Direção e administração, Departamento de Sistemas Computacionais.Cargo ou função, Coordenador de Curso.
-
08/2006 - 12/2006
Ensino, Mestrado em Engenharia da Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, Paradigmas de Linguagens de Programação
-
08/2006 - 12/2006
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Lógica, Semântica de Linguagens de Programação
-
02/2006 - 07/2006
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Lógica, Métodos Formais, Semântica de Linguagens de Programação
-
08/2005 - 12/2005
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Semântica de Linguagens de Programação, Métodos Formais, Teoria das Categorias
-
03/2004 - 10/2005
Direção e administração, Departamento de Sistemas e Computação.Cargo ou função, Vice-chefe de Departamento.
-
03/2004 - 10/2005
Direção e administração, Departamento de Sistemas e Computação.Cargo ou função, Coordenador Pedagógico.
-
02/2005 - 06/2005
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Semântica de Linguagens de Programação, Teoria das Categorias
-
08/2004 - 12/2004
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Métodos Formais, Semântica de Linguagens de Programação, Teoria das Categorias
-
08/2003 - 12/2003
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Métodos Formais, Engenharia de Software, Semântica de Linguagens de Programação
-
02/2003 - 07/2003
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Engenharia de Software, Métodos Formais, Métodos Computacionais II
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Márcio Lopes Cornélio e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?