Samara Pereira da Costa Melo

  • Endereço para acessar este CV: http://lattes.cnpq.br/6933781856093521
  • Última atualização do currículo em 16/10/2014


Possui graduação em Ciências da Computação pela Universidade Federal do Rio Grande do Norte(2000), especialização em Sistemas e Computação pela Universidade Federal do Rio Grande do Norte(2002) e mestrado em Sistemas e Computação pela Universidade Federal do Rio Grande do Norte(2003). Atuando principalmente nos seguintes temas:CASL, Matemática Intervalar, Tipo de dados paramétricos, especificação algébrica, Estruturas Algébricas e Igualdade Local. (Texto gerado automaticamente pela aplicação CVLattes)


Identificação


Nome
Samara Pereira da Costa Melo
Nome em citações bibliográficas
MELO, S. P. C.

Endereço


Endereço Profissional
Instituto Tocantinense Presidente Antônio Carlos, Curso de Sistema de Informação.
Av. Filadélfia, 568
Setor Oeste
77816-540 - Araguaina, TO - Brasil
Telefone: (63) 4118500


Formação acadêmica/titulação


2001 - 2003
Mestrado em Sistemas e Computação.
Universidade Federal do Rio Grande do Norte, UFRN, Brasil.
Título: Especificação do tipo intervalar parametrizado em CASL,Ano de Obtenção: 2003.
Orientador: Benjamín René Callejas Bedregal.
Palavras-chave: CASL; Matemática Intervalar; Tipo de dados paramétricos; especificação algébrica; Estruturas Algébricas; Igualdade Local.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação / Especialidade: Matemática Intervalar.
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.
2001 - 2002
Especialização em Sistemas e Computação.
Universidade Federal do Rio Grande do Norte, UFRN, Brasil.
1995 - 2000
Graduação em Ciências da Computação.
Universidade Federal do Rio Grande do Norte, UFRN, Brasil.




Atuação Profissional



Centro Federal de Educação Tecnológica do Rio Grande do Norte, CEFET-RN, Brasil.
Vínculo institucional

2001 - 2003
Vínculo: Professor Substituto, Enquadramento Funcional: Professor Substituto, Carga horária: 40
Outras informações
Lotado na Gerencia de Informática

Atividades

06/2001 - 07/2003
Ensino,

Disciplinas ministradas
Banco de Dados
Introdução á Informática
06/2001 - 07/2003
Ensino,

Disciplinas ministradas
Aplicativos
Banco de Dados
Microinformática
Sistema Operacional e Utilitários
12/2001 - 01/2003
Ensino, Tecnologia em Informática, Nível: Graduação

Disciplinas ministradas
Banco de Dados I
Estrutura de Dados



Idiomas


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


Produções



Produção bibliográfica
Resumos publicados em anais de congressos
1.
MELO, S. P. C.; Bedregal, B.R.C. . Especificação do Tipo Intervalar Parametrizado em CASL. In: ER3MAC, 2003, João Pessoa. III Encontro Regional de Matemática Aplicada e Computacional Regional 3, 2003. p. 115.

2.
LOPES, K. R. ; MELO, S. P. C. ; santiago, R.H.N. ; Bedregal, B.R.C. . Especificando o tipo de dadoIntervalo Racional em CASL. In: ER3MAC, 2002, Natal. II Encontro Regional de Matemática Aplicada Computacional Regional 3, 2002. p. 46-47.

3.
LOPES, K. R. ; MELO, S. P. C. ; santiago, R.H.N. ; Bedregal, B.R.C. ; Moreira, A.M. . Estendendo o Sistema de Tipos de CASL com o tipo Intervalo Racional. In: ER3MAC, 2001, Recife. I Encontro Regional de Matemática Aplicada e Computacional Regional 3, 2001. p. 35-35.

4.
MELO, S. P. C.. Sistema de Gerência de Saúde no PSF. In: XI Congresso de Iniciação Científica da UFRN, 2000, Natal. XI Congresso de Iniciação Científica da UFRN/Resumos, 2000.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
VI Workshop de Metodos Formais.Semântica Operacional e Sistemas de tipos para Linguagens de Bancos de Dados. 2003. (Outra).

2.
VI Workshop de Métodos Formais.Métodos Formais e Automação: Um casamento entre Ciência da Computação e Engenharia de Controle. 2003. (Outra).

3.
VI Workshop de Métodos Formais.VI Workshop de Métodos Formais. 2003. (Outra).

4.
IV Sinec - Quarto Seminário de Informática e Engenharia de Computação.Desenvolvimento para Web com JSP e Servlets. 2002. (Seminário).

5.
V Worshop de Métodos Formais.V Wokshop de Métodos Formais. 2002. (Outra).

6.
XVII Simpósio Brasileiro de Banco de Dados/ XVI Simpósio Brasileiro de Engenharia de Software.XML: Teoria e aplicações. 2002. (Simpósio).

7.
XVII Simpósio Brasileiro de Banco de Dados/ XVI Simpósio Brasileiro de Engenharia de Software.Unificando a Equipe de desenvolvimento de Software com a UML. 2002. (Simpósio).

8.
XVII Simpósio Brasileiro de Banco de Dados/ XVI Simpósio Brasileiro de Engenharia de Software.Banco de dados OO e OR. 2002. (Simpósio).

9.
SBMÍDIA´2000 - VI Simpósio Brasileiro de Sistemas Multimídia e Hipermídia.Hiperdocumentos na WWW: Teoria e prática. 2000. (Simpósio).

10.
SBMÍDIA´2000 - VI Simpósio Brasileiro de Sistemas Multimídia e Hipermídia.Desenvolvimento de Sistemas Multimídia em Java. 2000. (Simpósio).

11.
XIV Simpósio Brasileiro de Engenharia de Software.Desenvolvendo Software para Web. 2000. (Simpósio).

12.
XV Simpósio Brasileiro de Banco de Dados.Integrando Banco de Dados e Web. 2000. (Simpósio).




Página gerada pelo Sistema Currículo Lattes em 21/10/2018 às 5:04:00