Bartira Paraguaçu Falcão Dantas Rocha

  • Endereço para acessar este CV: http://lattes.cnpq.br/4292401087733084
  • Última atualização do currículo em 23/08/2017


Possui graduação em Ciências da Computação pela Universidade Federal do Rio Grande do Norte (1998) e mestrado em Sistemas e Computação pela Universidade Federal do Rio Grande do Norte (2000). Atualmente é professor assistente da Universidade do Estado do Rio Grande do Norte (UERN). Tem experiência na área de Ciência da Computação, com ênfase em Arquitetura de Sistemas de Computação, atuando principalmente nos seguintes temas: arquitetura de software, métodos formais, banco de dados e educação e informática. (Texto informado pelo autor)


Identificação


Nome
Bartira Paraguaçu Falcão Dantas Rocha
Nome em citações bibliográficas
DANTAS, B. P. F.;Dantas, Bartira

Endereço


Endereço Profissional
Universidade do Estado do Rio Grande do Norte, Instituto de Ciencias Exatas e Naturais, Departamento de Computação.
Av. Airton Senna, 4241
Neópolis
59088-100 - Natal, RN - Brasil
Telefone: (84) 32078789
Fax: (84) 0
URL da Homepage: http://www.uern.br/


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


2016
Doutorado em andamento em Sistemas e Computação.
Universidade Federal do Rio Grande do Norte, UFRN, Brasil.
Orientador: Thais Vasconcelos Batista.
Palavras-chave: Internet of Things.
Grande área: Ciências Exatas e da Terra
2009 interrompida
Doutorado interrompido em 2012 em Ciência da Computação.
Universidade Federal do Rio Grande do Norte, UFRN, Brasil.
Título: Geração de código assembly a partir do modelo algoritmo criado a partir da especificação de um sistema na linguagem B,
Orientador: David Boris Paul Deharbe.
Ano de interrupção: 2012
Palavras-chave: Compiladores; Métodos Formais; Método B; Engenharia de Software.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Especificações Formais.
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação.
1999 - 2000
Mestrado em Sistemas e Computação.
Universidade Federal do Rio Grande do Norte, UFRN, Brasil.
Título: A Linguagem de Descrição de Arquiteturas ZCLcsp,Ano de Obtenção: 2000.
Orientador: David Boris Paul Déharbe.
Palavras-chave: Arquitetura de Software; Linguagens de Descrição de Arquiteturas; Especificações Formais.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Especificações Formais.
Setores de atividade: Informática.
1993 - 1998
Graduação em Ciências da Computação.
Universidade Federal do Rio Grande do Norte, UFRN, Brasil.




Formação Complementar


2010 - 2010
Compositional verification in TLA+. (Carga horária: 6h).
Universidade Federal do Rio Grande do Norte, UFRN, Brasil.
2010 - 2010
Integrated modular Software and System modelling. (Carga horária: 6h).
Universidade Federal do Rio Grande do Norte, UFRN, Brasil.
2010 - 2010
Software component repositories. (Carga horária: 6h).
Universidade Federal do Rio Grande do Norte, UFRN, Brasil.
2010 - 2010
Components for Reactive and Real-time Systems. (Carga horária: 6h).
Universidade Federal do Rio Grande do Norte, UFRN, Brasil.
2010 - 2010
rCOS: Component-Based Model Driven Software Develo. (Carga horária: 6h).
Universidade Federal do Rio Grande do Norte, UFRN, Brasil.


Atuação Profissional



Universidade do Estado do Rio Grande do Norte, UERN, Brasil.
Vínculo institucional

2006 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor Assistente, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

10/2006 - Atual
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Análise e Projeto de Sistemas
Banco de Dados
Computadores e Sociedade
Construção de Algoritmos
Dispositivos Semicondutores e Teoria dos Circuitos
Lógica Matemática Aplicada a Computação
Metodologia do Trabalho Científico
Modelos Avançados de Banco de Dados
Programação Estruturada
Transmissão de Dados
Métodos Formais
03/2014 - 06/2016
Conselhos, Comissões e Consultoria, Instituto de Ciencias Exatas e Naturais, Departamento de Computação.

Cargo ou função
Membro da comissão para discutir e acompanhar a construção da sede definitiva do CaN.
11/2012 - 06/2016
Direção e administração, Instituto de Ciencias Exatas e Naturais, Departamento de Computação.

Cargo ou função
Coordenador de Curso de Graduação, Campus Avançado de Natal.
09/2013 - 05/2016
Conselhos, Comissões e Consultoria, Prefeitura Municipal de Natal, .

Cargo ou função
Membro do Conselho Municipal de Ciência e Tecnologia - COMCIT (Portaria No 007/2013 - GP de 16/09/2013).
12/2013 - 02/2014
Conselhos, Comissões e Consultoria, Instituto de Ciencias Exatas e Naturais, Departamento de Computação.

Cargo ou função
Membro da Comissão de avaliação de estágio probatório docente do curso de Ciência da Computação - CaN.
06/2013 - 09/2013
Conselhos, Comissões e Consultoria, Instituto de Ciencias Exatas e Naturais, Departamento de Computação.

Cargo ou função
Membro da comissão de avaliação de estágio probatório docente do curso de Ciências da Computação - CaN.
05/2008 - 11/2012
Pesquisa e desenvolvimento , Instituto de Ciencias Exatas e Naturais, Departamento de Computação.

2009 - 2012
Pesquisa e desenvolvimento , Instituto de Ciencias Exatas e Naturais, Departamento de Computação.

10/2008 - 1/2011
Direção e administração, Instituto de Ciencias Exatas e Naturais, Departamento de Computação.

Cargo ou função
Orientadora Pedagógica, Núcleo de Nova Cruz, Curso de Ciência da Computação.
03/2009 - 10/2009
Conselhos, Comissões e Consultoria, Instituto de Ciencias Exatas e Naturais, Departamento de Computação.

Cargo ou função
Membro Suplente do Conselho de Ensino, Pesquisa e Extensão - CONSEPE.
10/2008 - 10/2009
Extensão universitária , Instituto de Ciencias Exatas e Naturais, Departamento de Computação.

Atividade de extensão realizada
Projeto de Inclusão Digital - Capacitação em Aplicativos Linux.

Faculdade Natalense Para o Desenvolvimento do Rio Grando do Norte, FARN, Brasil.
Vínculo institucional

2001 - 2010
Vínculo: Professor, Enquadramento Funcional: Professor Assistente, Carga horária: 20

Atividades

1/2003 - 03/2010
Extensão universitária , Faculdade Natalense Para o Desenvolvimento do Rio Grando do Norte, .

Atividade de extensão realizada
Capacitação profissional em informática voltada para pessoas carentes.
2/2001 - 03/2010
Ensino, Licenciatura Em Computação, Nível: Graduação

Disciplinas ministradas
Algoritmos e Técnicas de Programação
Análise de Sistemas
Banco de Dados I
Informática e Sociedade
Linguagem de Programação I
Seminários de Informática
Teoria da Computação
2/2001 - 03/2010
Ensino, Bacharelado Em Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Algoritmos e Técnicas de Programação
Análise de Sistemas
Banco de Dados I
Introdução a Computação
Teoria da Computação

Universidade Federal do Rio Grande do Norte, UFRN, Brasil.
Vínculo institucional

2003 - 2004
Vínculo: Servidor Público, Enquadramento Funcional: Professor Substituto, Carga horária: 40

Vínculo institucional

1999 - 2000
Vínculo: Servidor Público, Enquadramento Funcional: Professor Substituto, Carga horária: 40

Atividades

07/2016 - Atual
Pesquisa e desenvolvimento , Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.

04/2003 - 09/2004
Ensino, Ciências da Computação, Nível: Graduação

Disciplinas ministradas
Introdução a Ciência da Computação
Linguagem de Programação (Java)
Laboratório de Algoritmo Técnica de Programação
Algoritmos e Técnicas de Programação
Linguagens Formais
Teoria da Computação
5/1999 - 12/2000
Ensino, Ciências da Computação, Nível: Graduação

Disciplinas ministradas
Algorítmos e Técnicas de Programação (Linguagem Pascal)
Introdução à Informática
Introdução ao Processamento de Dados
Linguagens de Programação (Linguagem C)
Técnicas de Programação

Universidade Potiguar, UnP, Brasil.
Vínculo institucional

2001 - 2002
Vínculo: Celetista, Enquadramento Funcional: Professor titular, Carga horária: 10

Atividades

02/2001 - 12/2002
Ensino, Bacharelado em Sistema de Informação, Nível: Graduação

Disciplinas ministradas
Sistemas Operacionais
Introdução a Informática

Serviço Nacional de Aprendizagem Comercial, SENAC, Brasil.
Vínculo institucional

1996 - 1998
Vínculo: Instrutora de Informática, Enquadramento Funcional: Instrutor, Carga horária: 20

Atividades

08/1996 - 04/1998
Ensino,

Disciplinas ministradas
Informática Básica (Windows, word, excel, access)


Linhas de pesquisa


1.
Engenharia de Software (Internet das Coisas)
2.
Formal Methods and Languages Research Laboratory
3.
Grupo de Sistemas Embarcados e de Tempo Real - GSET


Projetos de pesquisa


2007 - 2008
Desenvolvimento de Jogos Eletrônicos Massivos
Descrição: Este projeto tem como objetivo fomentar o desenvolvimento de fábricas de software no estado. Para isso adotamos a estratégia de escolher um domínio específico de aplicações e desenvolver uma aplicação dentro desse domínio que se torne referência e incentive o desenvolvimento de outros softwares que utilizem a mesma tecnologia. O domínio escolhido foi o de jogos eletrônicos, por se apresentar como um mercado promissor, que vem crescendo mais de 20% por ano e que promete movimentar 55 bilhões de dólares no mundo inteiro em 2008 [UNIVERSIA, 07]. Para se chegar a tal objetivo, o presente projeto de pesquisa visa primeiramente realizar uma análise de mercado a respeito de jogos eletrônicos no Brasil e no mundo e baseado nessa análise desenvolver um jogo multiplayer massivo (MMG) [KNUTSSON, 04] para a internet. Ou seja, será feito um estudo sobre as tecnologias para o desenvolvimento de um jogo que suporte um grande número de usuários conectados ao mesmo tempo na internet. Outra característica importante é que esse jogo possa executar de forma transparente em dispositivos diversos, como: computadores pessoais, palmtops, celulares e inclusive em televisores operando com os padrões de TV Digital Interativa (TVDI) [Montez, 04], de modo que os usuários possam estar utilizando dispositivos diferentes e mesmo assim interagindo entre si. No desenvolvimento de jogos o domínio das mais avançadas tecnologias é essencial. Sendo assim, serão pesquisadas e estudadas tecnologias como a linguagem de programação Java[Sun,07], técnicas de desenvolvimento de jogos[DAVISON, 05], frameworks para desenvolvimento de aplicações de grade porte [BURLAMAQUI, 06] na internet, aplicações de TVDI [BURLAMAQUI, 04], conceitos de realidade virtual, ambientes muti-usuários, colaboração, dentre outras. Com isso estaríamos fomentando a criação de uma cultura de desenvolvimento de jogos eletrônicos no Rio Grande do Norte e no Brasil..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) .
Integrantes: Bartira Paraguaçu Falcão Dantas Rocha - Integrante / Lyrene Ferndandes da Silva - Integrante / Aquiles M. F. Burlamaqui - Coordenador.
2007 - 2008
Desenvolvimento de Software Orientado a Aspectos
Descrição: O desenvolvimento de software orientado a aspectos (DSOA) surgiu como uma alternativa para o tratamento de características que se encontram espalhadas e entrelaçadas nos elementos resultantes da decomposição dominante utilizada na construção de software. Em diversas fases do ciclo de desenvolvimento de software - requisitos, arquitetura e programação - trabalhos que aplicam DSOA têm mostrado que esta nova abordagem provê benefícios quanto à análise, modularidade, reusabilidade e evolução de software. Entretanto, maiores benefícios são atingidos quando todos os modelos construídos durante estas etapas de desenvolvimento podem estar alinhados de maneira a garantir o mapeamento e rastreabilidade entre eles. No presente trabalho, pretendemos dar continuidade às pesquisas sobre DSOA, com ênfase nas atividades de Engenharia de Requisitos e Especificação de Arquitetura, de maneira a conceber métodos, técnicas e ferramentas de apoio ao desenvolvimento de software..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) .
Integrantes: Bartira Paraguaçu Falcão Dantas Rocha - Integrante / Lyrene Ferndandes da Silva - Coordenador.


Projetos de extensão


2010 - 2011
Projeto de Capacitação Digital - Capacitando os professores da rede pública estadual de ensino do município de Nova Cruz no uso dos computadores cedidos através do projeto Professor Conectado
Descrição: Projeto Institucional - UERN, que visa a capacitação digital de professores da rede estadual de ensino no município de Nova Cruz que foram contemplados com um notebook, com sistema operacional Satux, do projeto do governo do estado do Rio Grande do Norte "Professor Conectado"..
Situação: Desativado; Natureza: Extensão.
Alunos envolvidos: Graduação: (6) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Bartira Paraguaçu Falcão Dantas Rocha - Coordenador / Camila Araujo - Integrante.
2010 - Atual
Formação de Professores para Atuação no Programa UCA -Um Computador por Aluno no Rio Grande do Norte
Situação: Em andamento; Natureza: Extensão.


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Arquitetura de Sistemas de Computação.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Especificações Formais.
3.
Grande área: Ciências Humanas / Área: Educação / Subárea: Ensino-Aprendizagem/Especialidade: Tecnologia Educacional.


Idiomas


Inglês
Compreende Pouco, Fala Pouco, Lê Razoavelmente, Escreve Razoavelmente.
Espanhol
Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente.


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
DANTAS, B. P. F.;Dantas, Bartira2009 DANTAS, B. P. F.; Déharbe, David ; Galvão, Stephenson ; Moreira, Anamaria Martins ; Medeiros Júnior, Valério . Verified Compilation and the B Method: A Proposal and a First Appraisal. Electronic Notes in Theoretical Computer Science, v. 240, p. 79-96, 2009.

2.
DANTAS, B. P. F.;Dantas, Bartira2003DANTAS, B. P. F.; MARTINIANO, Rodrigo Carlo Gurgel . Utilizando Estilos Arquiteturais no Projeto de um Sistema de Compras pela Internet. Revista da FARN (Impresso), Natal-RN, v. 2, n.único, p. 69-79, 2003.

3.
DANTAS, B. P. F.;Dantas, Bartira2000 DANTAS, B. P. F.; DÉHARBE, David Boris Paul ; PAULA, Virgínia Carvalho Carneiro de . An Architectural Description of Enterprise Java Beans. Theoretical Computer Science, v. 38, p. 1-14, 2000.

Trabalhos completos publicados em anais de congressos
1.
BURLAMAQUI, A. A. ; DANTAS, B. P. F. . O Programa ?UCA? como elemento motivador para o despertar da leitura, conscientização ambiental e resgate social do brinquedo sucata. In: Congresso Brasileiro de Informática na Educação, 2012, Rio de Janeiro. Anais dos Workshops do Congresso Brasileiro de Informática na Educação, 2012.

2.
DANTAS, B. P. F.; Déharbe, David . Formalização do Método B em Isabelle/HOL. In: I Workshop de Teses e Dissertações do CBSoft, 2011, São Paulo. I Workshop de Teses e Dissertações do CBSoft, 2011.

3.
DÉHARBE, David Boris Paul ; DANTAS, B. P. F. ; MEDEIROS JÚNIOR, V.G.M ; Stephenson ; MOREIRA, A. M. . Proposta e Avaliação de uma Abordagem de Desenvolvimento de Software Fidedigno por Construção com o Método B. In: SEMISH - Seminário Integrado de Software e Hardware, 2008, Belém. SEMISH - Seminário Integrado de Software e Hardware, 2008. p. 195-209.

4.
DANTAS, B. P. F.; DÉHARBE, David Boris Paul ; PAULA, Virgínia Carvalho Carneiro de . An Architectural Description of Enterprise JavaBeans. In: IV Simpósio Brasileiro de Linguagens de Programação, 2000, Recife. Anais do IV Simpósio Brasileiro de Linguagens de Programação. Recife: Editora da UFPE, 2000. p. 158-171.

5.
DANTAS, B. P. F.; PAULA, Virgínia Carvalho Carneiro de ; DÉHARBE, David Boris Paul . A Linguagem de Descrição de Arquiteturas ZCLcsp. In: I Workshop Técnico-Científico - 15 anos DIMAp/UFRN, 2000, Natal. I Workshop Técnico-Científico - 15 anos DIMAP, 2000.

Resumos expandidos publicados em anais de congressos
1.
DANTAS, B. P. F.; DÉHARBE, David Boris Paul ; PAULA, Virgínia Carvalho Carneiro de . Comparação entre descrições formais da arquitetura Enterprise JavaBeansTM. In: III Workshop em Métodos Formais, 2000, João Pessoa - PB. WMF´2000 - Workshop de Métodos Formais, 2000. v. Único. p. 128-133.


Produção técnica
Trabalhos técnicos
1.
DANTAS, B. P. F.; DÉHARBE, David Boris Paul ; MOREIRA, A. M. ; Stephenson ; MEDEIROS JÚNIOR, V.G.M . Verified Compilation based on the B method: initial appraisal. 2008.


Demais tipos de produção técnica
1.
DANTAS, B. P. F.. Aula 1: Modelos de Sistemas. 2008. (Desenvolvimento de material didático ou instrucional - Material de Apoio EaD).

2.
DANTAS, B. P. F.. Aula 2: Modelo Ambiental. 2008. (Desenvolvimento de material didático ou instrucional - Material de Apoio EaD).

3.
DANTAS, B. P. F.. Aula 3: Unindo Forças: Modelo Comportamental + Modelo Ambiental. 2008. (Desenvolvimento de material didático ou instrucional - Material de Apoio EaD).

4.
DANTAS, B. P. F.. Aula 4: Construção de Modelo de Sistema. 2008. (Desenvolvimento de material didático ou instrucional - Material de Apoio EaD).

5.
DANTAS, B. P. F.. Aula 2: Internet. 2008. (Desenvolvimento de material didático ou instrucional - Material de Apoio EaD).

6.
DANTAS, B. P. F.. Aula 3: Introdução a Banco de Dados. 2008. (Desenvolvimento de material didático ou instrucional - Material de Apoio EaD).

7.
DANTAS, B. P. F.. Aula 4: Criação de Mala Direta. 2008. (Desenvolvimento de material didático ou instrucional - Material de Apoio EaD).

8.
DANTAS, B. P. F.. Aula 1: Aspectos Introdutórios de Engenharia de Software. 2008. (Desenvolvimento de material didático ou instrucional - Material de Apoio EaD).



Bancas



Participação em bancas de trabalhos de conclusão
Trabalhos de conclusão de curso de graduação
1.
TAKAHASHI, A.; DANTAS, B. P. F.; SILVA, A. J.. Participação em banca de Andrielison Cleiton de Oliveira.Softwares Educacionais: Uma Proposta Metodológica para o Ensino da Matemática. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência e Tecnologia) - Universidade do Estado do Rio Grande do Norte.

2.
SIGNORETTI, A.; PARADEDA, R. B.; DANTAS, B. P. F.. Participação em banca de Ailton Francisco de Luna e Silva.Brailleapp: Aplicativo Educativo para Auxiliar no processo de Ensino-Aprendizagem do Sistemas Braille. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte.

3.
FIGUEROLA, W. B.; GAMELEIRA, T. A.; DANTAS, B. P. F.. Participação em banca de Lucas Felipe da Silva.Desenvolvimento de uma Aplicação Web para gerenciar Atlas Digitais Neurais - ATINEU. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte.

4.
OLIVEIRA FILHO, I. L.; MEDEIROS NETO, F. D.; DANTAS, B. P. F.. Participação em banca de Jhonatta Daniel S. Faustino.Segurança em RSM: um guia de prevenção para usuários baseado em cenários reais de riscos. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte.

5.
PARADEDA, R. B.; SIGNORETTI, A.; DANTAS, B. P. F.. Participação em banca de Hugo Henrique de Oliveira Mesquita.Desenvolvendo uma Plataforma para Jogos RPG Educativos Multiplataforma com o Framework MOAI. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte.

6.
RIBEIRO, C. A.; Sena, C. A.; DANTAS, B. P. F.. Participação em banca de Marianna Angélica de Araújo.Extração Automática de Conhecimento em Documentos Textuais: uma Análise sobre a Efetividade de Ferramentas. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte.

7.
ESCALE, D. K. F. R.; OLIVEIRA FILHO, I. L.; DANTAS, B. P. F.. Participação em banca de Juciane Ambrósio da SIlva.Especificação Formal e Animação de Redes em Chip sem fio. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte.

8.
ESCALE, D. K. F. R.; OLIVEIRA FILHO, I. L.; DANTAS, B. P. F.. Participação em banca de 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.

9.
Sena, C. A.; GAMELEIRA, T. A.; DANTAS, B. P. F.. Participação em banca de Mariana Regina Soares dos Santos.Avaliação de Ferramentas de Gerência de Projetos de Desenvolvimento de Software quanto a adequabilidade ao Guia PMBOK. 2013. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte.

10.
Sena, C. A.; GAMELEIRA, T. A.; DANTAS, B. P. F.. Participação em banca de Eduardo Henrique Olímpio de Gusmão.Análise de Usabilidade e Navegabilidade em Ambientes Virtuais de Aprendizado Através de Integração com Sistemas Gerenciadores de Conteúdo de Sites. 2013. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte.

11.
MEDEIROS NETO, F. D.; TAKAHASHI, A.; Dantas, Bartira. Participação em banca de Alisson Tácito de Lima Abrante.Controle de Acesso Automático a Condominíos Residenciais: Um Estudo de Caso envolvendo Mineração de Dados. 2013. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte.

12.
OLIVEIRA, B. C.; Dantas, Bartira; RAMOS, K. D. N.. Participação em banca de Renato Luiz Maia Carlos.Especificação Formal de um Escalonador de Processos em uma Arquitetura Multicore. 2013. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte.

13.
DANTAS, B. P. F.; Sena, C. A.; SENA, D. S.. Participação em banca de Maxwell de Paiva Lucena.IM-SIGA: Plataforma de Integração Moodle-Sistema de Gestão Acadêmica baseada em Webservice - Estudo de Caso com uma Instituição de Ensino Superior do RN. 2013. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte.

14.
Sena, C. A.; Silva, A. G. P.; DANTAS, B. P. F.. Participação em banca de Ediane Barros da SIlva Rocha.Adequando o PMBOK ao gerenciamento de projetos de desenvolvimento ágil. 2012. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte.

15.
Bezerra, D. H. D.; DANTAS, B. P. F.; BURLAMAQUI, A. M. F.. Participação em banca de Jorge Felliphe Rodrigues Barbosa.Modelos de T-Commerce para o sistema brasileiro de TV digital. 2012. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte.

16.
DÉHARBE, David Boris Paul; OLIVEIRA, M. V. M; DANTAS, B. P. F.. Participação em banca de Haniel Barbosa.Desenvolvendo um sistema crítico através de formalização de requisitos utilizando o método B. 2010. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal do Rio Grande do Norte.

17.
DANTAS, B. P. F.; SILVA, L. F.; R. S. (Rosiery da Silva Maia). Participação em banca de Dayanne Kelly Freire da Rocha.Visualização de Requisitos a partir de Modelos AOV-GRAPH. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte.

18.
GOMES, V. Apuena; MAIA, F. Pedro; DANTAS, B. P. F.. Participação em banca de Marcus Aurélio Marinho e Oliveira.Estudo de Caso: Uma interação entre ambientes de aprendizagem e padrões de objetos de aprendizagem. 2008. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal do Rio Grande do Norte.

19.
COSTA, U. S. (Umberto Souza da Costa); SILVA, I. S. (Ivan Saraiva SIlva); DANTAS, B. P. F.. Participação em banca de Leonardo César Teonácio Bezerra.Desenvolvimento de um gerenciador de processos para a plataforma STORM. 2008. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal do Rio Grande do Norte.

20.
Amaral, Y. R.; DANTAS, B. P. F.; Silva, L.M.M. Participação em banca de Sinara da Rocha Martins.Clusterização de Dados através da Lógica Fuzzy. 2008. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Sistemas de Informação) - Faculdade Natalense Para o Desenvolvimento do Rio Grando do Norte.

21.
SILVA, L. F.; MEDEIROS NETO, F. D.; DANTAS, B. P. F.. Participação em banca de Gabriela Simões da Silva.CARINI: uma ferramenta para compor cenários orientados a aspectos. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte.

22.
LIMA, G.; Amaral, Y. R.; DANTAS, B. P. F.. Participação em banca de Henrique Eduardo Araújo.Tecnologia Asynchronos Javascript and XML (AJAX) Aplicada a um sistema WEB. 2007. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Sistemas de Informação) - Faculdade Natalense Para o Desenvolvimento do Rio Grando do Norte.

23.
ROCHA NETO, Aluízio Ferreira da; GALVAO, R. K. M.; DANTAS, B. P. F.. Participação em banca de Vanessa Silva Alves.VOIP: uma Análise de Sofwtares e Serviços para Usuários Domésticos. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Sistemas de Informação) - Faculdade Natalense Para o Desenvolvimento do Rio Grando do Norte.

24.
ROCHA NETO, Aluízio Ferreira da; GALVAO, R. K. M.; DANTAS, B. P. F.. Participação em banca de Wagner Andrade Cavalcanti.Estudo do Protocolo de Autenticação 8021X em Redes sem Fio com Microsoft Windows. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Sistemas de Informação) - Faculdade Natalense Para o Desenvolvimento do Rio Grando do Norte.

25.
PINHEIRO, J. A.; DAMASCENO, L. G.; DANTAS, B. P. F.. Participação em banca de Douglas Coe do Nascimento de Souza.Desenvolvimento de um Software para Trabalhar com Árvore Genealógica. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Sistemas de Informação) - Faculdade Natalense Para o Desenvolvimento do Rio Grando do Norte.

26.
DANTAS, B. P. F.. Participação em banca de Adnré de Souza Barros.Tecnologia na Educação: um olhar sobre o site de educação infantil www.junior.te.pt. 2006. Trabalho de Conclusão de Curso (Graduação em Licenciatura Em Computação) - Faculdade Natalense Para o Desenvolvimento do Rio Grando do Norte.

27.
DANTAS, B. P. F.. Participação em banca de Anna Karla Varela da Silva Sobral.A informática na Educação Infantil. 2006. Trabalho de Conclusão de Curso (Graduação em Licenciatura Em Computação) - Faculdade Natalense Para o Desenvolvimento do Rio Grando do Norte.

28.
DANTAS, B. P. F.. Participação em banca de Gilson Moreira da Silva.Ferramenta Educacional no Ambiente LOGO com o uso de recursos de rede. 2006. Trabalho de Conclusão de Curso (Graduação em Licenciatura Em Computação) - Faculdade Natalense Para o Desenvolvimento do Rio Grando do Norte.

29.
DANTAS, B. P. F.. Participação em banca de Hadrimary Alexandre Silva do Nascimento.Física Educacional: uma visão do uso nas aulas de Física. 2006. Trabalho de Conclusão de Curso (Graduação em Licenciatura Em Computação) - Faculdade Natalense Para o Desenvolvimento do Rio Grando do Norte.

30.
DANTAS, B. P. F.. Participação em banca de Estanislau Bittencourt da Silva.Processos de inclusão digital na Escola de Ensino Fundamental para os professores. 2006. Trabalho de Conclusão de Curso (Graduação em Licenciatura Em Computação) - Faculdade Natalense Para o Desenvolvimento do Rio Grando do Norte.

31.
DANTAS, B. P. F.; WECK, J. T.; PINHEIRO, J. A.. Participação em banca de Rodolfo da Silva Costa.Modificação de um interpretador da linguagem educacional logo em ambiente Linux. 2005. Trabalho de Conclusão de Curso (Graduação em Licenciatura Em Computação) - Faculdade Natalense Para o Desenvolvimento do Rio Grando do Norte.

32.
DANTAS, B. P. F.; WECK, J. T.; PINHEIRO, J. A.. Participação em banca de Israel eduardo de Barros Filho.Preservação Ambiental On-line. 2005. Trabalho de Conclusão de Curso (Graduação em Licenciatura Em Computação) - Faculdade Natalense Para o Desenvolvimento do Rio Grando do Norte.

33.
DANTAS, B. P. F.; Silva, L.M.M; DAMASCENO, L. G.. Participação em banca de Paulo Vinícius de Lima e Silva.Uma proposta de apoio ao ensino de matemática fazendo uso de jogos para o desenvolvimento das múltiplas inteligências. 2005. Trabalho de Conclusão de Curso (Graduação em Licenciatura Em Computação) - Faculdade Natalense Para o Desenvolvimento do Rio Grando do Norte.

34.
DANTAS, B. P. F.; Amaral, Y. R.. Participação em banca de Lucila Alves Costa.Estudo do Desenvolvimento de Interfaces Web para Crianças. 2004. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Sistemas de Informação) - Faculdade Natalense Para o Desenvolvimento do Rio Grando do Norte.

35.
DANTAS, B. P. F.; Amaral, Y. R.. Participação em banca de Andréa de Franca Arouca.A visão do usuário sobre a questão da credibilidade dos serviços oferecidos pela Internet. 2004. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Sistemas de Informação) - Faculdade Natalense Para o Desenvolvimento do Rio Grando do Norte.

36.
DANTAS, B. P. F.; ROCHA NETO, Aluízio Ferreira da; Silva, L.M.M. Participação em banca de Hamlet Gonçalves.Sistema Web para Educação a Distância. 2004. Trabalho de Conclusão de Curso (Graduação em Licenciatura Em Computação) - Faculdade Natalense Para o Desenvolvimento do Rio Grando do Norte.

37.
DANTAS, B. P. F.; Silva, L.M.M; WECK, J. T.. Participação em banca de Diego Augusto A. Fernandes.Protótipo de um site educativo com interface adaptativa baseada na teoria de inteligências múltiplas. 2004. Trabalho de Conclusão de Curso (Graduação em Licenciatura Em Computação) - Faculdade Natalense Para o Desenvolvimento do Rio Grando do Norte.

38.
DANTAS, B. P. F.; ROCHA NETO, Aluízio Ferreira da; ALEIXO, F. A.. Participação em banca de Antônio Carlos M. B. Cavalcanti.Sistema de avaliação pela web. 2004. Trabalho de Conclusão de Curso (Graduação em Licenciatura Em Computação) - Faculdade Natalense Para o Desenvolvimento do Rio Grando do Norte.

39.
DANTAS, B. P. F.; ROCHA NETO, Aluízio Ferreira da. Participação em banca de José Gomes de Moraes Filho.Especificação e modelagem de um Sistema de Portal para WEB utilizando a tecnologia .NET. 2003. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Sistemas de Informação) - Faculdade Natalense Para o Desenvolvimento do Rio Grando do Norte.



Participação em bancas de comissões julgadoras
Concurso público
1.
DANTAS, B. P. F.; LOPES, A. B.; LEITE, L. E. C.. Banca Examinadora na área de Banco de Dados, Redes de Computadores e Sistemas Distribuídos. 2010. Universidade do Estado do Rio Grande do Norte.

Outras participações
1.
R. S. (Rosiery da Silva Maia); CAMPOS, G. M. M. (Glaucia Melissa Medeiros Campos); ARAUJO, C.; DANTAS, B. P. F.. Comissão de Avaliação Avaliação do Plano Institucional de Monitoria (PIM). 2009. Universidade do Estado do Rio Grande do Norte.

2.
DANTAS, B. P. F.; ARAUJO, C.; SARAIVA, J. D.. Comissão de Seleção de Professores Contratados. 2009. Universidade do Estado do Rio Grande do Norte.

3.
CAMPOS, G. M. M. (Glaucia Melissa Medeiros Campos); ARAUJO, C.; DANTAS, B. P. F.. Comissão de Avaliação Docente do Curso de Ciência da Computação. 2009. Universidade do Estado do Rio Grande do Norte.

4.
DANTAS, B. P. F.; OLIVEIRA, B. C.. Comissão de Avaliação Avaliação do Plano Institucional de Monitoria (PIM) - Nova Cruz. 2009. Universidade do Estado do Rio Grande do Norte.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
III Latin-American School on Software Engineering. 2016. (Outra).

2.
ICTAC - International Colloquium on Theoretical Aspects of Computing. 2010. (Outra).

3.
ICTAC School on Software Engineering. 2010. (Outra).

4.
ICTSS - 22nd IFIP International Conference on Testing Software and Systems. 2010. (Outra).

5.
SAST 2010 - IV Brazilian Workshop on Systematic and Automated Software Testing. 2010. (Outra).

6.
SBMF 2010 - XIII Brazilian Symposium in Formal Methods. 2010. (Simpósio).

7.
Simpósio Brasileiro em Métodos Formais 2006. 2006. (Simpósio).

8.
III Workshop em Métodos Formais.III Workshop em Métodos Formais. 2000. (Outra).

9.
IV Simpósio Brasileiro de Linguagens de Programação.IV Simpósio Brasileiro de Linguagens de Programação. 2000. (Simpósio).

10.
I Workshop Técnico-Científico - 15 anos DIMAp/UFRN.I Workshop Técnico-Científico - 15 anos DIMAp/UFRN. 2000. (Outra).

11.
VI Simpósio Brasileiro de Sistemas Multimídia e Hipermídia. 2000. (Simpósio).

12.
XIV Simpósio Brasileiro de Engenharia de Software. 2000. (Simpósio).

13.
International School on Advanced Algorithmic Techniques for Parallel Computation with Aplications - CIMPA School. 1999. (Outra).

14.
I Encontro Norte-Nordeste de Instrutores de Informática. 1998. (Encontro).

15.
X Escola de Computação. 1996. (Outra).

16.
II EIMA - II Encontro de Informática e Matemática Aplicada da UFRN. 1995. (Encontro).

17.
I EIMA - I Encontro de Informática e Matemática Aplicada da UFRN. 1993. (Encontro).


Organização de eventos, congressos, exposições e feiras
1.
MUSICANTE, M. ; MOURA, F.L.C. ; HAEUSLER, E. H ; NALON, C. ; CORREA, M. ; DANTAS, B. P. F. . LSFA - Workshop on Logical and Semantic Frameowrks with Applications. 2010. (Outro).

2.
DÉHARBE, David Boris Paul ; CAVALCANTI, A. ; GAUDEL, M. ; WOODCOCK, J. ; DANTAS, B. P. F. . ICTAC - International Colloquium on Theoretical Aspects of Computing. 2010. (Outro).

3.
DANTAS, B. P. F.. SBMF 2010 - XIII Braziliam Symposium on Formal Methods. 2010. (Outro).

4.
DANTAS, B. P. F.. SAST 2010 - IV Brazilian Workshop on Systematic and Automated Software Testing. 2010. (Outro).

5.
DANTAS, B. P. F.. ICTSS 2010 - 22nd IFIP International Conference on Testing Software and Automated Systems. 2010. (Outro).

6.
CAMPOS, A. M. C. ; Silva, L.M.M ; SOUZA NETO, P. A. ; DANTAS, B. P. F. . EPOCA - Escola Potiguar de Computação e suas Aplicações. 2009. (Outro).

7.
DÉHARBE, David Boris Paul ; DANTAS, B. P. F. ; SOUZA NETO, P. A. ; SANTIAGO, J. . EPOCA - Escola Potiguar de Computação e suas Aplicações. 2008. (Outro).



Orientações



Orientações e supervisões concluídas
Trabalho de conclusão de curso de graduação
1.
Maxwell de Paiva Lucena. IM-SIGA: Plataforma de Integração Moodle-Sistema de Gestão Acadêmica baseada em Webservice - Estudo de Caso com uma Instituição de Ensino Superior do RN. 2013. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte. Orientador: Bartira Paraguaçu Falcão Dantas Rocha.

2.
Hallison Augusto Jerônimo da Silva. Integração de Plataformas Heterogêneas de Dados usando MOMIS sob a ótica das Ontologias - Estudo de Caso Comercial. 2012. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte. Orientador: Bartira Paraguaçu Falcão Dantas Rocha.

3.
Luiz Antônio Penha Barbalho. Second Life: primeiros passos. 2007. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Sistemas de Informação) - Faculdade Natalense Para o Desenvolvimento do Rio Grando do Norte. Orientador: Bartira Paraguaçu Falcão Dantas Rocha.

4.
Vladimir Fernandes Raposo. Uma Abordagem Prática de Programação Orientada a Aspectos. 2007. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Sistemas de Informação) - Faculdade Natalense Para o Desenvolvimento do Rio Grando do Norte. Orientador: Bartira Paraguaçu Falcão Dantas Rocha.

5.
Karla Samira Costa de Souza. Utilização do computador como ferramenta avaliativa das pessoas com deficiência nos membros superiores. 2006. Trabalho de Conclusão de Curso. (Graduação em Licenciatura Em Computação) - Faculdade Natalense Para o Desenvolvimento do Rio Grando do Norte. Orientador: Bartira Paraguaçu Falcão Dantas Rocha.

6.
Paulo Roberto Xavier Machado. Reconhecimento de Digitais usando Redes Neurais. 2006. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Sistemas de Informação) - Faculdade Natalense Para o Desenvolvimento do Rio Grando do Norte. Orientador: Bartira Paraguaçu Falcão Dantas Rocha.

7.
Fábio Henrique Ferreira SIlva. LIPP - Protótipo de um compilador para uma linguagem de Programação em Português. 2006. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Sistemas de Informação) - Faculdade Natalense Para o Desenvolvimento do Rio Grando do Norte. Orientador: Bartira Paraguaçu Falcão Dantas Rocha.

8.
Shirley Ingrid Dantas de Farias. Análise de Jogos Utilizando Algoritmos Genéticos. 2004. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Sistemas de Informação) - Faculdade Natalense Para o Desenvolvimento do Rio Grando do Norte. Orientador: Bartira Paraguaçu Falcão Dantas Rocha.

9.
Viviane de Menezes Ramalho. Recuperação de Informações em Páginas Dinâmicas na Web. 2004. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Sistemas de Informação) - Faculdade Natalense Para o Desenvolvimento do Rio Grando do Norte. Orientador: Bartira Paraguaçu Falcão Dantas Rocha.

10.
Wantuilson de Oliveira Trindade. Desenvolvimento de Software Educacional para Educação Infantil. 2004. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Sistemas de Informação) - Faculdade Natalense Para o Desenvolvimento do Rio Grando do Norte. Orientador: Bartira Paraguaçu Falcão Dantas Rocha.

11.
João Paulo. O uso do computador como uma ferramenta de auxílio ao ensino. 2004. Trabalho de Conclusão de Curso. (Graduação em Licenciatura Em Computação) - Faculdade Natalense Para o Desenvolvimento do Rio Grando do Norte. Orientador: Bartira Paraguaçu Falcão Dantas Rocha.

12.
Hermes Monteiro Filho. Gramática on-line para todos. 2004. Trabalho de Conclusão de Curso. (Graduação em Licenciatura Em Computação) - Faculdade Natalense Para o Desenvolvimento do Rio Grando do Norte. Orientador: Bartira Paraguaçu Falcão Dantas Rocha.

13.
Rodrigo Carlo Gurgel Martiniano. Aplicações de Estilos Arquiteturais no Desenvolvimento de Projetos de Software. 2003. 0 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Sistemas de Informação) - Faculdade Natalense Para o Desenvolvimento do Rio Grando do Norte. Orientador: Bartira Paraguaçu Falcão Dantas Rocha.

14.
Leonarte Leitão e Medeiros Brito. Um estudo de Linguagens de Descrição de Arquiteturas no desenvolvimento de Software. 2003. 0 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Sistemas de Informação) - Faculdade Natalense Para o Desenvolvimento do Rio Grando do Norte. Orientador: Bartira Paraguaçu Falcão Dantas Rocha.

Iniciação científica
1.
Viviane de Menezes Ramalho. Recuperação de Informações em Páginas Dinâmicas na Web: Análise de Conceitos e Técnicas. 2004. Iniciação Científica. (Graduando em Bacharelado Em Sistemas de Informação) - Faculdade Natalense Para o Desenvolvimento do Rio Grando do Norte. Orientador: Bartira Paraguaçu Falcão Dantas Rocha.

2.
Wantuilson de Oliveira Trindade. Desenvolvimento de Software Educacional para Crianças em fase Pré-Escolar. 2004. Iniciação Científica. (Graduando em Bacharelado Em Sistemas de Informação) - Faculdade Natalense Para o Desenvolvimento do Rio Grando do Norte. Orientador: Bartira Paraguaçu Falcão Dantas Rocha.

3.
Shirley Ingrid Dantas de Farias. Análise de Estratégias de Jogos sob a ótica da Inteligência Artificial. 2004. Iniciação Científica. (Graduando em Bacharelado Em Sistemas de Informação) - Faculdade Natalense Para o Desenvolvimento do Rio Grando do Norte. Orientador: Bartira Paraguaçu Falcão Dantas Rocha.

4.
Rômulo Catanhede. Formas avaliativas no Ensino à Distância. 2003. 0 f. Iniciação Científica. (Graduando em Licenciatura Em Computação) - Faculdade Natalense Para o Desenvolvimento do Rio Grando do Norte. Orientador: Bartira Paraguaçu Falcão Dantas Rocha.

5.
Rodrigo Carlo Gurgel Martiniano. Otimizando a criação de Arquiteturas de Software usando Estilos Arquiteturais. 2003. 0 f. Iniciação Científica. (Graduando em Bacharelado Em Sistemas de Informação) - Faculdade Natalense Para o Desenvolvimento do Rio Grando do Norte. Orientador: Bartira Paraguaçu Falcão Dantas Rocha.

6.
Theresa Regina Macedo. A Infoexclusão dos alunos de 5a a 8a série da Rede Pública Municipal de Natal. 2002. 0 f. Iniciação Científica. (Graduando em Bacharelado Em Sistemas de Informação) - Faculdade Natalense Para o Desenvolvimento do Rio Grando do Norte. Orientador: Bartira Paraguaçu Falcão Dantas Rocha.

Orientações de outra natureza
1.
Hallison Augusto Jerônimo da Silva. Projeto Institucional de Monitoria - PIM - Estrutura de Dados. 2009. Orientação de outra natureza. (Ciência da Computação) - Universidade do Estado do Rio Grande do Norte. Orientador: Bartira Paraguaçu Falcão Dantas Rocha.




Página gerada pelo Sistema Currículo Lattes em 21/10/2018 às 4:59:27