Gustavo da Fonseca Limaverde Cabral

Especialidades: arquitetura e design de sistemas, automação de testes. Foco em aplicações WEB com front-end em JS acessando apis REST. Outras áreas de interesse: sistemas distribuídos, compiladores, design patterns, linguagens dinâmicas, gerência de configuração e de projetos. Possui graduação em Bacharelado em Ciência da Computação pela Universidade Federal de Pernambuco (2004) e mestrado em Ciências da Computação pela Universidade Federal de Pernambuco (2006). Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: controlled natural language, use case specification, CSP, formal specification generation e formal models refinement. Este conjunto de competências alavanca a capacidade de design e implementação de soluções de automação de testes de sistemas e QA.

Informações coletadas do Lattes em 06/12/2025

Acadêmico

Formação acadêmica

Doutorado interrompido em 2010 em Engenharia de Sistemas

2007 - Atual

University Of Tokyo
Título: Integrated software development based on models and transformations,
Orientador: Tetsuo Tamai
Bolsista do(a): Ministry of Education, Culture, Sports, Science and Technology, MEXT, Japão. Ano de interrupção: 2010Palavras-chave: Use Case Specification; Controlled Natural Language; CSP; Test Automation; Properties verification.Grande área: Ciências Exatas e da TerraGrande Á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. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Linguagem Formais e Autômatos. Setores de atividade: Pesquisa e desenvolvimento científico; Outras atividades profissionais, científicas e técnicas.

Mestrado em Ciências da Computação

2005 - 2006

Universidade Federal de Pernambuco
Título: Formal Specification Generation from Requirement Documents,Ano de Obtenção: 2006
Augusto Cezar Alves Sampaio.Bolsista do(a): Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco, FACEPE, Brasil. Palavras-chave: Controlled Natural Language; Use Case Specification; CSP; Formal Models Refinement; Formal Specification Generation.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Linguagem Formais e Autômatos. Setores de atividade: Pesquisa e desenvolvimento científico; Serviços de arquitetura e engenharia; testes e análises técnicas.

Graduação em Bacharelado em Ciência da Computação

1999 - 2004

Universidade Federal de Pernambuco
Título: Automação do processo de transformação de modelos UML-RT
Orientador: Augusto Cezar Alves Sampaio

Ensino Médio (2º grau)

1996 - 1998

Cólegio Nóbrega

Ensino Médio (2º grau)

1996 - 1997

Valley View High School

Ensino Fundamental (1º grau)

1985 - 1995

Cólegio Nóbrega

Idiomas

Inglês

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

Espanhol

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

Francês

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

Japonês

Compreende Razoavelmente, Fala Razoavelmente, Lê Pouco, 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.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Linguagem Formais e Autômatos.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas WEB.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas concorrentes.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Certificação Digital.

Participação em eventos

The 20th IFIP Int. Conference on Testing of Communicating Systems (TESTCOM). Requirement-based testing through formal methods. 2008. (Congresso).

Brazilian Symposium on Formal Methods (SBMF).Formal Specification Generation from Requirement Documents. 2006. (Simpósio).

Congresso da Sociedade Brasileira da Computação. 2001. (Congresso).

Produções bibliográficas

Cabral, Gustavo ; SAMPAIO, A . Formal Specification Generation from Requirement Documents. Electronic Notes in Theoretical Computer Science , v. 195, p. 171-188, 2008.
Cabral, Gustavo ; SAMPAIO, A. . Automated Formal Specification Generation and Refinement from Requirement Documents. Journal of the Brazilian Computer Society (Impresso), p. 87 - 106, 01 fev. 2008.
Cabral, Gustavo ; SAMPAIO, A. . Formal Specification Generation from Requirement Documents. In: Brazilian Symposium on Formal Methods (SBMF), 2006, Natal, RN. Brazilian Symposium on Formal Methods (SBMF), 2006.
Cabral, Gustavo ; Tamai, Tetsuo . Requirement-based testing through formal methods. In: The 20th IFIP Int. Conference on Testing of Communicating Systems (TESTCOM), 2008, Tóquio. Short-papers of the Testing of Software and Communicating Systems Conference. Tokyo, 2008.
Cabral, Gustavo ; Maravitch, Júlio ; Barros, Alessandra ; Bezerra, Edmo ; Araújo, Mauro . Participação dos aulos bolsista do grupo PET - Ciência da Computação em Atividades de Ensino. 2004. (Apresentação de Trabalho/Congresso).
Cabral, Gustavo ; Araújo, Paulo . Monitoria da cadeira de métodos e projeto de sistemas, visão prática da modelagem de sistemas. 2004. (Apresentação de Trabalho/Congresso).

Outras produções

CABRAL, G ; FREITAS, D. J. . InfoTracking middleware. 2010.

CABRAL, G . CNL - Editor de Casos de Uso de software. 2006.

Cabral, Gustavo . Gestão de Professores e Alunos para programa Bolsa-Família. 2005.

Projetos de pesquisa

2010 - 2011

InfoSeal - Lacres eletrônicos e sistema de verificação de violação, Descrição: Foi projetado e desenvolvido um middleware para monitoramento de antenas RFID. Este middleware possibilita coletar dados de localização de objetos rastreados para. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (1) . , Integrantes: Gustavo da Fonseca Limaverde Cabral - Coordenador / David John Freitas - Integrante / Marilia Portela - Integrante / Filipe Torres - Integrante., Financiador(es): Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco - Auxílio financeiro.
2006 - 2010

Geração de modelos formais a partir de requisitos em linguagem natural, Descrição: Pesquisa envolvendo processamento de documento de requisitos (casos de uso) e geração de modelos formais para geração de casos de teste. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Gustavo da Fonseca Limaverde Cabral - Coordenador.
2005 - 2006

Brazil Test Center (BTC) - Motorola, Descrição: Projeto financiado pela Motorola para a qualificação de profissionais na área de teste de software. O projeto também patrocinou a realização de pesquisa junto a pós-graduação do Centro de Informática (CIn) da UFPE na área de modelagem de sistemas, geração e execução de casos de teste.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (5) / Mestrado profissional: (0) / Doutorado: (4) . , Integrantes: Gustavo da Fonseca Limaverde Cabral - Integrante / Sidney Nogueira - Integrante / Cristiano Bertolini - Integrante / Augusto Sampaio - Integrante / Paulo Borba - Integrante / Dante Torres - Integrante / Daniel Leitão - Integrante / Alexandre Cabral Mota - Coordenador., Financiador(es): Motorola Industrial Ltda. - Bolsa., Número de produções C, T & A: 2

Prêmios

2006

Best paper of the conference, he Brazilian Symposium on Formal Methods (SBMF).

Histórico profissional

Endereço profissional

Centro de Estudos e Sistemas Avançados do Recife. , Rua Bione, 220, Recife, 50030390 - Recife, PE - Brasil, Telefone: (81) 34254700

Experiência profissional

2010 - 2010

Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco

Vínculo: Pesquisador com mestrado, Enquadramento Funcional: Pesquisador na área de sistemas distribuidos, Carga horária: 30, Regime: Dedicação exclusiva.

Outras informações:
Desenvolvimento de sistemas (middleware) de rastreamento utilizando RFID (Radio Frequence IDenditifacation).

2010 - 2010

Informe Air Soluções em RFID

Vínculo: Pesquisador com mestrado, Enquadramento Funcional: Pesquisador na área de sistemas distribuidos, Carga horária: 30, Regime: Dedicação exclusiva.

Outras informações:
Desenvolvimento de sistemas (middleware) de rastreamento utilizando RFID (Radio Frequence IDenditifacation).

2006 - 2010

University Of Tokyo

Vínculo: , Enquadramento Funcional:

2005 - 2006

Universidade Federal de Pernambuco

Vínculo: Bolsista de mestrado, Enquadramento Funcional: Pesquisador Motorola, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Desenvolvimento de soluções e ferramentas ligadas a especificação de sistemas. A validação das estratégias definidas era realizada diretamente com as equipes responsáveis pelo design e teste de software para telefones celular Motorola dentro do projeto BTC (Brazil Test Center) no CIn/UFPE.

2004 - 2005

Fundação de Apoio ao Desenvolvimento da Universidade Federal de Pernambuco

Vínculo: Profissional Contratado, Enquadramento Funcional: Gerente de Configuração de Software, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Funcionário do projeto BTC - CIn/Motorola que foi financiado pela FADE-UFPE. Fui responsável por bases de código-fonte manipuladas por equipes espalhadas pelo Brasil. Além do trabalho de controle das modificações de código-fonte e documentos, também era responsável por participar de reuniões para decidir a arquitetura do sistema e interfaces entre componentes. Revisão e inspeção de código e documentos também eram tarefas frequentes.

Atividades

08/2003 - 05/2004
Estágios , Facilit Tecnologia.,Estágio realizado, Desenvolvimento de sistemas web e desktop em Java.
05/2003 - 07/2003
Estágios , Procenge Ltda.,Estágio realizado, Desenvolvimento e manutenção do ERP Pirâmide.
08/2000 - 06/2003
Outras atividades técnico-científicas , CAPES, CAPES.,Atividade realizada, Bolsista PET (Programa Especial de Treinamento).
09/2001 - 12/2002
Estágios , RAM Consultoria e Sistemas Ltda.,Estágio realizado, Desenvolvimento de sistemas Web e Applets em Java.

2013 - Atual

Centro de Estudos e Sistemas Avançados do Recife

Vínculo: Celetista, Enquadramento Funcional: Engenheiro de Software Senior, Carga horária: 40

2012 - 2013

Accenture

Vínculo: Celetista, Enquadramento Funcional: Analista Programador, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Atuei no escritório de Recife/PE