Helca Karen Puget de Oliveira

Possui Graduação em Processamento de Dados pela Universidade Federal do Amazonas (2001) e Mestrado em Ciência da Computação pela Universidade Federal do Amazonas (2004). Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: desenvolvimento de sistemas, testes de softwares, orientação a objetos, linguagem de modelagem.

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

Acadêmico

Formação acadêmica

Mestrado em Ciência da Computação

2002 - 2004

Universidade Federal do Amazonas
Edjard de Souza Mota.Palavras-chave: PSP Personal Software Process; Modelo Normal; Função objetivo do custo e do tempo de desenvolvim; Gerenciamento de Projetos.Grande área: Ciências Exatas e da Terra / Área: Ciência da Computaçã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: Teoria da Computação / Especialidade: Computabilidade e Modelos de Computação. Setores de atividade: Educação Superior; Desenvolvimento de Programas (Software).

Especialização em Desenvolvimento de Sistemas

2001 - 2002

Universidade Federal do Amazonas
Orientador: Alberto Nogueira

Graduação em Processamento de Dados

1996 - 2001

Universidade Federal do Amazonas
Orientador: Suely Cavalcante

Formação complementar

2006 - 0000

MBA em Gerenciamento de Projetos. (Carga Horária: 432h). , Fundação Getúlio Vargas-AM.

Idiomas

Inglês

Fala Razoavelmente, 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: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.

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: Probabilidade e Estatística / Subárea: Probabilidade/Especialidade: Análise Estocástica.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação/Especialidade: Modelos Analíticos e de Simulação.

Orientou

Edjard de Souza Mota

Tradução Automática de Diagramas UML para NuSMV; Início: 2002; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do Amazonas; (Orientador);

Produções bibliográficas

OLIVEIRA, Helca. K. P. . Elaboração de Casos de Testes Bbaseados em Casos de Uso. In: Programa Brasileiro de Qualidade e Produtividade, 2006, Belém. Qualidade de Software, 2006.

Histórico profissional

Endereço profissional

Universidade Federal do Amazonas, Instituto de Ciências Exatas, Departamento de Ciência da Computação. , Av. Gen. Rodrigo Octávio Jordão Ramos, 3000, Campus Universitário, Coroado I, 69077000 - Manaus, AM - Brasil, Telefone: (92) 6442113, Fax: (92) 6228823, URL da Homepage:

Experiência profissional

2005 - 2006

Quality Software

Vínculo: Celetista, Enquadramento Funcional: Analista Senior, Regime: Dedicação exclusiva.

2005 - 2005

Universidade Nilton Lins

Vínculo: Celetista, Enquadramento Funcional: Professora Assistente, Carga horária: 44

2005 - 2005

Escola Superior Batista do Amazonas

Vínculo: Professor Visitante, Enquadramento Funcional: Professora substituta, Carga horária: 22

2003 - 2003

Fundação Amazônica de Amparo a Pesq e Desenv Tec Des Paulo dos Anjos Feitoz

Vínculo: Outro, Enquadramento Funcional: Analista de Testes, Carga horária: 44

Atividades

02/2003 - 06/2003
Pesquisa e desenvolvimento , Fundação, Laboratório de Testes.,Linhas de pesquisa

2002 - 2005

Universidade Federal do Amazonas

Vínculo: Servidor Público, Enquadramento Funcional: Professora assistente, Carga horária: 44, Regime: Dedicação exclusiva.