André Luiz Lima de Figueiredo

Possui graduação em Ciências da Computação pela Universidade Federal da Paraíba(2002) e mestrado em Informática [C.Grande] pela Universidade Federal da Paraíba(2005). Atualmente é Analista de Sistemas da Phoebus Tecnologia e Professor Adjunto do Centro Universitário de João Pessoa. Tem experiência na área de Ciência da Computação, com ênfase em Metodologia e Técnicas da Computação. Atuando principalmente nos seguintes temas:Agentes Móveis, Teste Formal, Teste Funcional.

Informações coletadas do Lattes em 24/10/2022

Acadêmico

Formação acadêmica

Mestrado em Informática [C.Grande]

2003 - 2005

Universidade Federal da Paraíba
Patrícia Duarte de Lima Machado.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Palavras-chave: Agentes Móveis; Teste Formal; Teste Funcional.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: Teoria da Computação / Especialidade: Linguagem Formais e Autômatos. Setores de atividade: Desenvolvimento de Programas (Software).

Graduação em Ciências da Computação

1998 - 2002

Universidade Federal da Paraíba
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico.

Formação complementar

2001 - 2001

Computer Science. (Carga horária: 8h). , University of Manitoba.

Idiomas

Inglês

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

Á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.

Produções bibliográficas

FIGUEIREDO, A. L. L. ; ALMEIDA, A. J. M. ; MACHADO, Patrícia Duarte de Lima . Identifying and Documenting Test Patterns from Mobile Agent Design Patterns. Lecture Notes in Computer Science , MATA'2004, v. 3284, p. 359-368, 2004.
FIGUEIREDO, A. L. L. ; MACHADO, Patrícia Duarte de Lima ; GUERRERO, Dalton Dario Serey . Geração Automática de Casos de Teste para Sistemas Baseados em Agentes Móveis. Workshop de Dissertações da COPIN, III WDCOPIN, p. 13-18, 2004.
FIGUEIREDO, A. L. L. ; Barbosa ; Cruz, J. S. ; JÚNIOR, J. C. . Sistema de Gestão para Construção Civil. In: VIII Encontro de Iniciação Científica, 2007, João Pessoa. Anais VIII Encontro de Iniciação Científica. João Pessoa: Editora UNIPÊ, 2007.
FIGUEIREDO, A. L. L. ; MACHADO, Patrícia Duarte de Lima . Geração Automática de Casos de Teste para Sistemas Baseados em Agentes Móveis. In: II Workshop de Teses e Dissertações em Qualidade de Software, 2004, Brasília. II Workshop de Teses e Dissertações em Qualidade de Software, 2004.
FIGUEIREDO, A. L. L. ; LIMA, Emerson Ferreira de Araújo ; GUERRERO, Dalton Dario Serey ; FIGUEIREDO, Jorge César Abrantes de . Modelling and Validation of Mobile Agent Design Patterns. In: VI Workshop de Métodos Formais, 2003, Compina Grande. VI Workshop de Métodos Formais, 2003.

Histórico profissional

Endereço profissional

Phoebus Tecnologia. , Av. Rui Carneiro, Miramar, 58032-100 - Joao Pessoa, PB - Brasil, Telefone: (83) 40090800, Fax: (83) 40090801, URL da Homepage:

Experiência profissional

2006 - Atual

Phoebus Tecnologia

Vínculo: Celetista formal, Enquadramento Funcional: Analista de Sistemas, Carga horária: 40

2006 - Atual

Centro Universitário de João Pessoa

Vínculo: Celetista formal, Enquadramento Funcional: Professor Adjunto, Carga horária: 20

2005 - 2006

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

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

2002 - 2003

POLITEC

Vínculo: Cooperado, Enquadramento Funcional: Desenvolvedor de Sistemas, Carga horária: 47

Atividades

05/2002 - 03/2003
Serviços técnicos especializados , Fábrica de Software, .,Serviço realizado, Desenvolvimento de Sistema para Automação Financeira.
01/2002 - 04/2002
Estágios , Fábrica de Software, .,Estágio realizado, Desenvolvimento de Sistema de Automação Financeira.