Dayanne Kelly Freire da Rocha Escale

Mestre em Ciência da Computação pela Universidade do Estado do Rio Grande do Norte (UERN) em associação ampla com a Universidade Federal Rural do Semiarido (UFERSA) 2011. Graduada em Ciência da Computação pela Universidade do Estado do Rio Grande do Norte, 2009.

Informações coletadas do Lattes em 16/06/2019

Acadêmico

Seção coletada automaticamente pelo Escavador

Formação acadêmica

Mestrado em Ciência da Computação - Uern - Ufersa

2009 - 2011

Universidade do Estado do Rio Grande do Norte
Título: Uma Abordagem Formal para Modelagem de QoS em Redes em Chip,Ano de Obtenção: 2011
Karla Darlene Nepomuceno Ramos.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Grande área: Ciências Exatas e da Terra

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

2004 - 2009

Universidade do Estado do Rio Grande do Norte
Título: Visualização de requisitos a partir de modelos AOV-Graph
Orientador: Lyrene Fernandes da Silva
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.

Seção coletada automaticamente pelo Escavador

Formação complementar

2016 - 2016

Formação de Tutores EaD. (Carga horária: 180h). , SENAI - Departamento Regional do Rio Grande do Norte, SENAI/ DR/RN, Brasil.

Seção coletada automaticamente pelo Escavador

Idiomas

Inglês

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

Seção coletada automaticamente pelo Escavador

Áreas de atuaçã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 de Computação/Especialidade: Hardware.

Seção coletada automaticamente pelo Escavador

Participação em eventos

XII Escola Regional Bahia Sergipe Alagoas.Minicurso Introdução às Redes de Sensores Sem Fio. 2012. (Outra).

Congresso da Sociedade Brasileira de Computação. 2011. (Congresso).

Escola Potiguar de Computação e suas Aplicações.Especificação formal de infra-estruturas de Redes-em-Chip visando aplicações baseadas no Padrão H.264/AVC. 2010. (Outra).

Reunião Regional da SBPC em Mossoró.Aplicação de Z e LOTOS em projetos de Redes-em-Chip. 2010. (Outra).

XVI Iberchip Workshop.Especificação em LOTOS de Requisitos de QoS para Redes-em-Chip. 2010. (Outra).

Escola Potiguar de Computação e suas Aplicações.Visualização de Requisitos a partir de Modelos AOV-Graph. 2009. (Outra).

V Salão de Iniciação Científica UERN.Visualização de Requisitos a partir de Modelos AOV-Graph. 2009. (Outra).

4º Salão de Iniciação Científica UERN.ReqSys-Uma Ferramenta de Apoio a Modelagem de Requisitos Orientada a Aspectos. 2008. (Encontro).

Minicurso em Engenharia de Requisitos - XXI Simpósio Brasileiro de Engenharia de Software. 2007. (Simpósio).

XXI SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE. 2007. (Simpósio).

Seção coletada automaticamente pelo Escavador

Participação em bancas

Aluno: Vanessa Cristina Rodrigues de Arruda Gomes

Ramos;ESCALE, DAYANNE K. F. R.; Isaac Filho. ESPECIFICAÇÃO FORMAL DE TOPOLOGIA MESH IRREGULAR NÃOESTACIONÁRIA E ROTEAMENTOS PARA REDE EM CHIP 3D. 2015. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte.

Seção coletada automaticamente pelo Escavador

Comissão julgadora das bancas

Márcio Eduardo Kreutz

Kreutz, MarcioIvan Saraiva Silva; RAMOS, Karla; RIBEIRO, Claudia M. F.. Uma Abordagem Formal para Modelagem de QoS em Redes em Chip. 2011. Dissertação (Mestrado em Ciência da Computação - Uern - Ufersa) - Universidade do Estado do Rio Grande do Norte.

Claudia Maria Fernandes Araujo Ribeiro

RIBEIRO, CLAUDIA M. F.A.; NEPOMUCENO, K.D.R.;SILVA, I. S.; Kreutz, Marcio Eduardo. Uma abordagem formal para modelagem de QoS em Redes em Chip. 2011. Dissertação (Mestrado em Ciência da Computação - Uern - Ufersa) - Universidade do Estado do Rio Grande do Norte.

Karla Darlene Nepomuceno Ramos

RAMOS, Karla D. N.SILVA, Ivan S.; KREUTZ, M. E.; RIBEIRO, Claudia M. F. A.. Uma Abordagem Formal para Modelagem de QoS em Redes em Chip. 2011. Dissertação (Mestrado em Ciência da Computação - Uern - Ufersa) - Universidade do Estado do Rio Grande do Norte.

Ivan Saraiva Silva

RAMOS, K.D. N.; RIBEIRO, Cláudia Maria Fernandes Araújo;Kreutz, M. E.SILVA, I. S.. Uma Abordagem Formal para Modelagem de QoS em Redes em Chip. 2011. Dissertação (Mestrado em Ciência da Computação - Uern - Ufersa) - Universidade do Estado do Rio Grande do Norte.

Seção coletada automaticamente pelo Escavador

Orientou

Crislany Nielly Venâncio de Lima Rodrigues

ANÁLISE FORMAL DE TÉCNICAS DE ACOPLAMENTO EM REDES EM CHIP 3D; 2014; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte; Orientador: Dayanne Kelly Freire da Rocha Escale;

Juciane Ambrósio da SIlva

Especificação Formal de Topologia Mesh e Roteamento XY para Redes em Chip Sem Fio; 2013; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte; Orientador: Dayanne Kelly Freire da Rocha Escale;

Seção coletada automaticamente pelo Escavador

Foi orientado por

Karla Darlene Nepomuceno Ramos

Uma Abordagem Formal para Modelagem de QoS em Redes em Chip; 2011; Dissertação (Mestrado em Ciência da Computação - Uern - Ufersa) - Universidade do Estado do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Karla Darlene Nepomuceno Ramos;

Seção coletada automaticamente pelo Escavador

Produções bibliográficas

  • AUGUSTINHO, L. C. F. ; GOMES, V. C. R. A. ; ESCALE, D. K. F. R. . Especificação Formal de Web Semântica em Z. In: III Workshop de Sistemas Embarcados do Semiárido do Nordeste, 2013, Mossoró. III Workshop de Sistemas Embarcados do Semiárido do Nordeste, 2013.

  • COUTINHO, E. V. ; SILVA, J. A. ; ESCALE, D. K. F. R. . Especificação Formal em Z para a Integração de Metadados no Contexto da TV Digital. In: III Workshop Técnico-Científico de Computação, 2013, Mossoró. III Workshop Técnico-Científico de Computação, 2013.

  • FRANCA, F. F. ; ESCALE, D. K. F. R. . o Métodos Formais com Linguagem Z: Uma Introdução. In: III Workshop Técnico-Científico de Computação, 2013, Mossoró. III Workshop Técnico-Científico de Computação, 2013.

  • ESCALE, DAYANNE K. F. R. ; RAMOS, KARLA D. N. ; RIBEIRO, CLAUDIA M. F. A. . Formalism and reuse in NoC design. In: 2013 IEEE 4th Latin American Symposium on Circuits and Systems (LASCAS), 2013, Cusco. 2013 IEEE 4th Latin American Symposium on Circuits and Systems (LASCAS), 2013. p. 1.

  • ESCALE, D. K. F. R. ; Ramos ; Ribeiro . Especificação formal de infra-estruturas de Redes-em-Chip visando aplicações baseadas no Padrão H.264/AVC. In: Escola Potiguar de Computação e suas Aplicações, 2010, Mossoró. Escola Potiguar de Computação e suas Aplicações, 2010.

  • ESCALE, D. K. F. R. ; Ramos ; Ribeiro . Aplicação de Z e LOTOS em Projetos de Redes-em-Chip. In: SBPC Regional (Sociedade Brasileira para o Progresso da Ciência), 2010, Mossoró. SBPC Regional (Sociedade Brasileira para o Progresso da Ciência), 2010.

  • ESCALE, D. K. F. R. ; Lyrene Fernandes da Silva . Visualização de Requisitos a partir de Modelos AOV-Graph. In: Escola Potiguar de Computação e suas Aplicações, 2009, Natal. Escola Potiguar de Computação e suas Aplicações, 2009.

  • ESCALE, D. K. F. R. ; Ramos ; Ribeiro . Supporting NoC Projects with a Formal QoS-aware Model. In: 14th Btrazilian Symposium on Formal Methods, 2011, São Paulo. SBMF2011, 2011.

  • Araújo, M. L. ; ESCALE, D. K. F. R. ; Araújo, M. A. . Introdução a Redes de Sensores sem Fio. In: XII Escola Regional Bahia Sergipe Alagoas, 2012. ERBASE 2012, 2012.

  • ESCALE, D. K. F. R. ; Ramos ; Ribeiro . Especificação em LOTOS de requisitos de QoS para Redes-em-chip. In: XVI Iberchip Workshop, 2010, Foz de Iguaçu. XVI Iberchip Workshop, 2010.

  • ESCALE, D. K. F. R. ; Ramos ; Ribeiro . Supporting NoC projects with a Formal QoS-aware Model. 2011. (Apresentação de Trabalho/Outra).

  • ESCALE, D. K. F. R. ; Ramos ; Ribeiro . Especificação em LOTOS de requisitos de QoS para Redes-em-chip. 2010. (Apresentação de Trabalho/Outra).

  • ESCALE, D. K. F. R. ; Ramos ; Ribeiro . Aplicação de Z e LOTOS em Projetos de Redes-em-Chip. 2010. (Apresentação de Trabalho/Outra).

  • ESCALE, D. K. F. R. ; Ramos ; Ribeiro . Especificação formal de infra-estruturas de Redes-em-Chip visando aplicações baseadas no Padrão H.264/AVC. 2010. (Apresentação de Trabalho/Outra).

  • ESCALE, D. K. F. R. ; Ramos ; Ribeiro . Visualização de Requisitos a partir de modelos AOV-Graph. 2009. (Apresentação de Trabalho/Outra).

Seção coletada automaticamente pelo Escavador

Outras produções

ESCALE, D. K. F. R. ; Lyrene Fernandes da Silva . ReqSys. 2009.

ESCALE, D. K. F. R. ; Lyrene Fernandes da Silva . ReqSys - Uma Ferramenta de Apoio à Modelagem de Requisitos Orientada a Aspectos. 2008. (Relatório de pesquisa).

Seção coletada automaticamente pelo Escavador

Projetos de pesquisa

  • 2009 - 2011

    Uma Abordagem Formal para Modelagem de Redes em Chip, Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Dayanne Kelly Freire da Rocha Escale - Integrante / Karla Darlene Nepomuceno Ramos - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

  • 2007 - 2009

    ReqSys - Uma Ferramenta para Apoio a Modelagem de Requisitos Orientado a Aspectos, Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Dayanne Kelly Freire da Rocha Escale - Integrante / Lyrene Fernandes da Silva - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

Seção coletada automaticamente pelo Escavador

Prêmios

2008

Premiação do 4º Salão de Iniciação Científica Da UERN/categoria melhor apresentação por painel na área de Ciências Exatas e da Terra, UERN.

Histórico profissional

Seção coletada automaticamente pelo Escavador

Experiência profissional

  • 2014 - 2014

    Instituto Metrópole Digital

    Vínculo: Bolsista, Enquadramento Funcional: Tutora EaD, Carga horária: 20

    Outras informações:
    Disciplinas Ministradas ARQUITETURA DE COMPUTADORES INTRODUÇÃO ÀS TECNOLOGIAS DA INFORMAÇÃO LOGICA DE PROGRAMACAO PROGRAMACAO ESTRUTURADA PROGRAMACAO ORIENTADA A OBJETOS

  • 2013 - 2013

    Instituto Metrópole Digital

    Vínculo: Bolsista, Enquadramento Funcional: Tutora EaD, Carga horária: 20

    Atividades

    • 03/2013 - 07/2013

      Ensino,,Disciplinas ministradas, ARQUITETURA DE COMPUTADORES, INTRODUÇÃO ÀS TECNOLOGIAS DA INFORMAÇÃO, LOGICA DE PROGRAMACAO, PROGRAMACAO ESTRUTURADA, PROGRAMACAO ORIENTADA A OBJETOS

  • 2009 - 2009

    Serviço Nacional de Aprendizagem Comercial

    Vínculo: Eventual, Enquadramento Funcional: Instrutor de Informática, Carga horária: 10

    Outras informações:
    Atuação na Central do Trabalhador

  • 2011 - 2015

    Universidade do Estado do Rio Grande do Norte

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

  • 2007 - 2009

    Universidade do Estado do Rio Grande do Norte

    Vínculo: Bolsista, Enquadramento Funcional: Bolsista Iniciação Científica, Carga horária: 20

    Atividades

    • 11/2012

      Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Métodos Formais

    • 07/2012 - 11/2012

      Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Redes de Alta Velocidade, Teoria dos Grafos

    • 11/2011 - 03/2012

      Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Cálculo Numérico, Métodos Formais

  • 2016 - Atual

    SENAI - Departamento Regional do Rio Grande do Norte

    Vínculo: Professor contratado, Enquadramento Funcional: Professor contratado