Edson Eustáchio Oliveira de Azevedo
Possui graduação em Bacharelado em Ciência da Computação pela Universidade Federal do Pará(1998) e mestrado em Ciência da Computação pela Universidade Federal do Rio Grande do Sul(2002). Atualmente é Analista Pleno da T&T Engenheiros Associados e professor horista da Universidade de Santa Cruz do Sul. Tem experiência na área de Ciência da Computação, com ênfase em Sistemas de Computação. Atuando principalmente nos seguintes temas:Teste de Software, Especificação Formal, Engenharia de Software.
Informações coletadas do Lattes em 17/10/2022
Acadêmico
Formação acadêmica
Mestrado em Ciência da Computação
2000 - 2002
Universidade Federal do Rio Grande do Sul
Orientador: Ana Maria Price
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPQ, Brasil. Palavras-chave: Teste de Software; Especificação Formal; Engenharia de Software.Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Engenharia de Software. Setores de atividade: Informática.
Graduação em Bacharelado em Ciência da Computação
1994 - 1998
Universidade Federal do Pará
Orientador: Gustavo Campos
Formação complementar
2002 - 2002
Formação em Teste de Software. (Carga horária: 40h). , Universidade do Vale do Rio dos Sinos, UNISINOS, Brasil.
Idiomas
Inglês
Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Bem.
Francês
Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Áreas de atuação
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Engenharia de Software.
Participação em eventos
Conferência Latino Americana de Informática. Conferência Latino Americana de Informática. 2002. (Congresso).
30th Jornadas Argentinas de Informatica Cooperativa. Argentine Symposium on Software Engineering. 2001. (Congresso).
XX Congresso da Sociedade Brasileira de Computação. XX Congresso da Sociedade Brasileira de Computação. 2000. (Congresso).
XVIII Congresso da Sociedade Brasileira de Computação. XVIII Congresso da Sociedade Brasileira de Computação. 1998. (Congresso).
XV Congresso da Sociedade Brasileira de Computação. XV Congresso da Sociedade Brasileira de Computação. 1995. (Congresso).
Produções bibliográficas
-
AZEVEDO, E. E. ; PRICE, A. . Uma Estratégia para Geração de Oráculos para Teste de Software a partir de Especificação Formal. In: Conferência Latino Americana de Informática, 2002, Montevideo. Anais CLEI'02, 2002.
-
AZEVEDO, E. E. ; PRICE, A. . Oracle Generation for Software Testing from Formal Specifications: A Practical Approach. In: Argentine Symposium on Software Engineering - ASSE'01, 2001, Buenos Aires. 30th Jornadas Argentinas de Informatica Cooperativa. Buenos Aires, 2001.
-
AZEVEDO, E. E. ; PRICE, A. . Especificação Formal como Fonte de Informação Funcional Aplicada à Geração de Oráculos. In: 7a Semana Acadêmica do Programa de Pós-Graduação da UFRGS, 2001, Porto Alegre. 7a Semana Acadêmica do Programa de Pós-Graduação da UFRGS. Porto Alegre: PPGC, 2001.
-
AZEVEDO, E. E. . Geração de Casos de Teste para Erros de Domínio. 2002 (Seminário).
-
AZEVEDO, E. E. ; PRICE, A. . Um Estudo sobre a Aplicação de Especificação Formal ao Teste de Software. Porto Alegre: PPGC:UFRGS, 2000 (Seminário).
-
AZEVEDO, E. E. . Semântica Operacional - Visão geral 2000 (Seminário).
-
AZEVEDO, E. E. . Usando Verificadores de Modelos para Geração de Casos de Teste 2000 (Relatório técnico).
-
AZEVEDO, E. E. . CORBA Property Service Especificação OMG x Implementação ORBacus. 2000 (Seminário).
Histórico profissional
Endereço profissional
-
Universidade de Santa Cruz do Sul, Departamento de Informática. , Av. Independência, 2293, 96815-900 - Santa Cruz do Sul, RS - Brasil - Caixa-postal: 188, Telefone: (51) 37171855, Fax: (51) 3191576, URL da Homepage:
Experiência profissional
2004 - Atual
Universidade de Santa Cruz do SulVínculo: Celetista, Enquadramento Funcional: professor horista, Carga horária: 4
Atividades
-
07/2004
Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Programação Orientada a Objetos II
2002 - 2002
Systemakers InformaticaVínculo: Analista de Sistemas, Enquadramento Funcional: Analista, Carga horária: 42
Atividades
-
05/2003 - 10/2003
Serviços técnicos especializados .,Serviço realizado, Análise e projeto do módulo de cálculo da folha de pagamento da CEEE/RS.
2002 - Atual
T&T Engenheiros AssociadosVínculo: Engenheiro de Teste de Softwar, Enquadramento Funcional: Analista Pleno, Carga horária: 40
Atividades
-
10/2002
Serviços técnicos especializados .,Serviço realizado, Gerência de projetos de teste de software.
1999 - 2000
Empresa de Informática da Prefeitura de BelémVínculo: , Enquadramento Funcional: Analista de sistemas, Carga horária: 30
Outras informações:
Atuação com analista de sistemas e desenvolvedor no sistema orçamentário e financeiro da Prefeitura Municipal de Belém.
Atividades
-
06/1999 - 02/2000
Serviços técnicos especializados .,Serviço realizado, Analista de sistemas.
1995 - 2000
Centro Federal de Ensino TecnológicoVínculo: Professor Visitante, Enquadramento Funcional: Professor substituto 30h, Carga horária: 30
Outras informações:
Professor substituto no curso técnico de 2. grau de Tecnologo em Processamento de dados
Atividades
-
07/1996 - 02/2002
Ensino, Tecnologo em Processamento de Dados, Nível: Graduação,Disciplinas ministradas, Estrutura de dados, Técnicas de Programação, Algoritmos
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Edson Eustáchio Oliveira de Azevedo 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?