Bruno Emerson Gurgel Gomes

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


Possui graduação em Ciência da Computação pela Universidade Federal do Rio Grande do Norte (2005), mestrado em Sistemas e Computação (2007) e Doutorado em Ciência da Computação pela mesma instituição (2012). Em sua tese de doutorado criou um método para o desenvolvimento de aplicações para smart cards, na linguagem Java Card, a partir de refinamentos em sua especificação formal descrita no formalismo B. Atuou como professor substituto vinculado ao Departamento de Informática e Matemática Aplicada da UFRN (2007-2008). Desde 2010 é professor do Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte (IFRN). Tem interesse nas áreas de Engenharia de Software, Métodos Formais e no desenvolvimento de software para Web. (Texto informado pelo autor)


Identificação


Nome
Bruno Emerson Gurgel Gomes
Nome em citações bibliográficas
GOMES, Bruno;GOMES, B. E. G.

Endereço


Endereço Profissional
Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte, Campus Parnamirim.
Rua Antônia de Lima Paiva, 155
Nova Esperança
59112490 - Parnamirim, RN - Brasil - Caixa-postal: 59143455
Telefone: (84) 40069500
URL da Homepage: http://docente.ifrn.edu.br/brunogurgel


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


2008 - 2012
Doutorado em Ciência da Computação.
Universidade Federal do Rio Grande do Norte, UFRN, Brasil.
Título: Desenvolvimento Formal de Aplicações para Smart Cards, Ano de obtenção: 2012.
Orientador: David Boris Paul Déharbe..
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Smart Cards; Java Card; Método Formal B; Refinamento.
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.
2006 - 2007
Mestrado em Sistemas e Computação.
Universidade Federal do Rio Grande do Norte, UFRN, Brasil.
Título: BSmart: Desenvolvimento Rigoroso de Aplicações Java Card com base no Método Formal B,Ano de Obtenção: 2007.
Orientador: Anamaria Martins Moreira. Co-orientador: David B. P. Déharbe.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: Métodos formais; Método B; Java Card; Geração de código.
2000 - 2005
Graduação em Ciências da Computação.
Universidade Federal do Rio Grande do Norte, UFRN, Brasil.
Título: Geração de código Java Card a partir de especificações formais elaboradas em linguagem B.
Orientador: Anamaria Martins Moreira.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.




Formação Complementar


2010 - 2010
School on Software Engineering of 7th ICTAC. (Carga horária: 30h).
Universidade Federal do Rio Grande do Norte, UFRN, Brasil.
2004 - 2004
J2ee Java 2 Enterprise Edition. (Carga horária: 80h).
Faculdade Natalense Para o Desenvolvimento do Rn, FARN, Brasil.
2001 - 2001
Montagem e Manutenção de Microcomputadores. (Carga horária: 40h).
SENAI - Departamento Regional do Rio Grande do Norte, SENAI/ DR/RN, Brasil.


Atuação Profissional



Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte, IFRN, Brasil.
Vínculo institucional

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

Atividades

07/2014 - Atual
Direção e administração, Campus Parnamirim, .

Cargo ou função
Coordenador do Curso Técnico Subsequente em Redes de Computadores.
3/2010 - Atual
Ensino,

Disciplinas ministradas
Algoritmos
Desenvolvimento Web
Sistemas de Informação
4/2012 - 3/2014
Direção e administração, Campus Currais Novos, .

Cargo ou função
Coordenador dos Cursos Técnicos Integrados em Informática.

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

2007 - 2008
Vínculo: Servidor Público, Enquadramento Funcional: Professor Assistente Substituto, Carga horária: 40

Atividades

08/2008 - 09/2008
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
DIM0108 - Conceitos e Técnicas de Programação. Como Estágio Docência em Computação II. Linguagem OCaml. 60h, sendo 20h de sala de aula.
09/2007 - 04/2008
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
DIM0320 - Algoritmos e Programação de Computadores
DIM0321 - Linguagens de Programação
04/2006 - 05/2006
Ensino, Ciências da Computação, Nível: Graduação

Disciplinas ministradas
DIM0336 - Especificação e Verificação de Programas. Como Estágio Docência em Computação I. Ministradas aulas sobre o método de especifição formal B, com carga horária de 60h, sendo 20h de sala de aula.
2/2002 - 10/2002
Outras atividades técnico-científicas , Centro de Ciências Exatas, Centro de Ciências Exatas.

Atividade realizada
Bolsista de monitoria em algoritmos e linguagem de programação.


Projetos de pesquisa


2017 - 2018
PRO IF: Plataforma de auxílio aos estudos para o ingresso no técnico de nível médio do IFRN.
Descrição: O PRO IF possui como função principal o auxílio ao aluno do ensino fundamental que busca ingressar no ensino médio de nível técnico integrado de uma instituição federal. O projeto consiste em uma plataforma Web que irá disponibilizar apostilas e outros materiais, resolução de questões e registro de um cronograma de estudos, dentre outras funcionalidades que visam auxiliar nos seus estudos para o exame de seleção..
Situação: Desativado; Natureza: Pesquisa.
2016 - 2017
INFOTEC AULA-IF: Videoaulas para auxiliar no aprendizado de disciplinas do Curso Técnico em Informática.
Descrição: O INFOTEC AULA/IF possui como função principal auxiliar os alunos recém aprovados no IFRN - Campus Parnamirim no curso técnico de Informática. O objetivo do projeto será alcançado através do desenvolvimento de uma página web, que conterá diversas videoaulas das matérias técnicas do primeiro ano, oferecendo um suporte para os discentes alcançar um bom rendimento nas matérias técnicas. É válido ressaltar que que inicialmente será dado enfoque a disciplinas de Eletricidade, devido à dificuldade da matéria e a organização da produção dos vídeos..
Situação: Concluído; Natureza: Pesquisa.
2015 - 2016
Desenvolvimento de Sistema Web: uma vitrine virtual para empresas do Rio Grande do Norte
Descrição: O mundo dos negócios apresenta-se marcado por complexas, significativas e rápidas mudanças que tem provocado profundos impactos na sociedade e na gestão das organizações. Para sobreviver nesse mercado, as empresas precisam adotar práticas administrativas mais eficientes buscando tornar a sua marca cada vez mais forte na percepção dos consumidores. Dessa forma, é necessário que essas instituições criem um sistema de informação capaz de aproximar os clientes da empresa, apresentando as informações sobre a organização e seus produtos e/ou serviços disponíveis, pois os clientes estão cada vez mais ligados na Internet. O Rio Grande do Norte abriga um grande volume de empresas, sendo sua maioria microempresas ou empresários liberais. A taxa de mortalidade de empresas no estado é de 29%, sendo um dado preocupante porque coloca o estado na 8ª colocação no Brasil. Além disso, 47% das pequenas empresas da região Nordeste não possuem Website. O objetivo dessa pesquisa é desenvolver um sistema web nos moldes de uma vitrine virtual que atenda as necessidades das micro e pequenas empresas do Rio Grande do Norte. Essa pesquisa é qualitativa e pode ser considerada como pesquisa prática, ou pesquisa-ação, uma vez que está associada com a ação ou com a resolução de um problema coletivo. Será elaborado um plano de negócios através do Modelo de Negócios Canvas, além da utilização de ferramentas tecnológicas para o desenvolvimento do sistema web. Os principais resultados esperados são a elaboração de um Plano de Negócios através do Modelo de Negócio Canvas, a criação de um sistema web nos moldes de uma vitrine virtual para as micro e pequenas empresas do Rio Grande do Norte e a ampliação dos conhecimentos teórico-práticos sobre as tecnologias de desenvolvimento web, banco de dados e empreendedorismo..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) .
Integrantes: Bruno Emerson Gurgel Gomes - Integrante / Ernesto Alexandre Tacconi Neto - Coordenador / Vitor Ferraz Silva Tacconi - Integrante / Éricles de Lima Freitas - Integrante.
2015 - 2016
Allquímica: Um Sistema de Informação para suplementar o ensino-aprendizagem da química no ensino médio
Descrição: O projeto Allquímica deseja aliar educação ao processo de inclusão digital, servindo como ferramenta facilitadora do aprendizado da química em diversos âmbitos. O intuito é a criação de uma plataforma de educação com foco na disciplina de Química do ensino médio. Através de vídeo-aulas, apostilas, listas de execícios e fórum de discussão o aluno pode suprir suas dificuldades nessa disciplina, levando em consideração que a perspectiva de aprendizado quanto a ela é sempre vista como um processo complexo..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (4) .
Integrantes: Bruno Emerson Gurgel Gomes - Coordenador / Rogerio Gomes Alves - Integrante / Daniel Nobre da Silva - Integrante / Chrysalis Freire Costa - Integrante / Gabriella da Silva Ribeiro - Integrante / Carlos José Leonel Júnior - Integrante.Financiador(es): Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte - Bolsa.
2010 - 2011
Análise Comparativa de Frameworks para Desenvolvimento de Aplicações para Web
Descrição: A crescente demanda pelo uso dos serviços na Web fez emergir uma série de tecnologias para desenvolvimento de aplicações para a Internet. Este projeto de pesquisa tem por objetivo investigar o estado da arte dos frameworks de desenvolvimento para a Web de modo a realizar a análise comparativa de cada abordagem. Dessa forma, espera-se alinhar o ensino de desenvolvimento Web a alunos de cursos técnicos com tecnologias utilizadas no mercado atual, bem como analisar e classificar a adequação das tecnologias pesquisadas aos mais diversos tipos de desenvolvimento..
Situação: Concluído; Natureza: Pesquisa.
2010 - 2011
Ensino de Algoritmos e Programação para Cursos Técnicos de Nível Médio: Estudo de ferramentas de apoio ao ensino e elaboração de material didático
Descrição: Este projeto tem como objetivos principais a pesquisa e a aplicação de ferramentas de apoio ao ensino de algoritmos e programação, assim como a elaboração de material didático específico para o público do ensino médio..
Situação: Concluído; Natureza: Pesquisa.


Projetos de extensão


2017 - 2017
Ensino da Informática em uma escola pública do município de Parnamirim/RN
Descrição: O projeto pretende levar o conhecimento da informática aos alunos de uma escola pública que não possuem contato com essa disciplina por ela não fazer parte da sua matriz curricular. A escola escolhida foi a Escola Estadual Antônio Basílio Filho, localizada em Parnamirim-RN. Essa escola possui uma estrutura de computadores que não são utilizados. Desse modo, pretende-se colocar esses computadores em funcionamento e utilizá-los para aulas práticas de informática básica abrangendo o básico no manuseio de hardware e o aprendizado de software essenciais..
Situação: Concluído; Natureza: Extensão.
2017 - 2017
Lutando por saúde e cidadania: A prática do Jiu-Jitsu como ferramenta educativa no IFRN Parnamirim
Descrição: O projeto pretende possibilitar o aprendizado teórico-prático do Jiu-Jitsu no campus Parnamirim do IFRN para alunos, servidores e a comunidade externa do município. O treino de Jiu-Jitsu vai além do melhoramento físico e técnico, promovendo a saúde, a socialização e o aperfeiçoamento de habilidades como a autoconfiança, a disciplina e o respeito ao próximo. As aulas são divididas em dois encontros semanais de duas horas cada, compostos por alongamento/aquecimento, assimilação de técnicas e momento de lutas. Além disso, os matriculados no projeto são acompanhados quanto a sua condição de saúde e recebem periodicamente palestras sobre boas práticas para uma vida saudável ministradas pelo servidor médico do campus Parnamirim. Os alunos do campus Parnamirim serão acompanhados e cobrados também pelo rendimento escolar e a presença em sala de aula. Este projeto espera consolidar uma experiência anterior e contribuir para formar não apenas atletas, mas acima de tudo, cidadãos responsáveis..
Situação: Concluído; Natureza: Extensão.
2016 - 2016
Lutando por saúde e cidadania: O Jiu-Jitsu como ferramenta educativa no IFRN Parnamirim
Descrição: O projeto introduz a prática do Jiu-Jitsu no campus Parnamirim do IFRN para alunos, servidores e a comunidade externa do município. O treino de Jiu-Jitsu vai além dos melhoramento físico e técnico, promovendo a saúde, a socialização e o aperfeiçoamento de habilidades como a autoconfiança, a disciplina e o respeito ao próximo. O projeto consiste na execução de duas aulas praticas semanais de Jiu Jitsu, acompanhamento de saúde e aconselhamento sobre boas práticas para uma vida saudável por meio de palestras ministradas pelo servidor médico do campus Parnamirim. Para os alunos do campus Parnamirim, há também o acompanhamento sobre o rendimento escolar e a presença em sala de aula. O projeto espera contribuir para formar não apenas atletas, mas acima de tudo, cidadãos responsáveis..
Situação: Concluído; Natureza: Extensão.
Alunos envolvidos: Graduação: (2) .
Integrantes: Bruno Emerson Gurgel Gomes - Coordenador / Angelo José Pimentel de Azevedo - Integrante / Felipe Luiz da Silva - Integrante / Luan Medeiros Macena - Integrante / Rickson Vitor Pessoa - Integrante.
2015 - 2015
Química em SHOW
Descrição: O projeto do Química em SHOW proposto pretende realizar apresentações itinerantes de experimentos químicos em escolas públicas e privadas de Paramirim e região da grande Natal, com a utilização de experiências interativas lúdicas onde podemos apresentar a Ciência Química de uma forma empolgante e divertida. Neste projeto atuei na orientação das bolsistas Alyssa Ramalho e Gabriella Eller Gonçalves que desenvolveram um sítio Web para divulgação das atividades..
Situação: Concluído; Natureza: Extensão.
Alunos envolvidos: Graduação: (2) .
Integrantes: Bruno Emerson Gurgel Gomes - Integrante / Rogerio Gomes Alves - Coordenador / Carlos Magno Lima Fernandes e Silva - Integrante / Alyssa Carolyne de Souza Ramalho - Integrante / Gabriella Eller Gonçalves - Integrante.
2012 - 2013
Educação Ambiental nas Escolas através de Jogos Interativos: criação de Jogos Interativos para combater o desperdício de água
Descrição: Este projeto tem por objetivo despertar a consciência ambiental da população do munícipio de Currais Novos, cidade situada no sertão do estado do Rio Grande do Norte, no que diz respeito ao desperdício de água. Esse problema é frequente nessa cidade. Os próprios moradores ignoram as consequências desse desperdício para eles mesmos, em particular, e para o planeta como um todo. Compreende-se que a utilização de jogos interativos que destacam a gravidade do problema, as consequências e as possíveis formas de combatê-lo podem construir uma consciência ambiental que trará muitos benefícios para a sociedade..
Situação: Concluído; Natureza: Extensão.


Projetos de desenvolvimento


2005 - 2007
Engineering of Smart Card Applications
Descrição: O foco principal deste projeto é o estudo e aplicação de métodos formais ao desenvolvimento de aplicações Java Card. Como produtos finais deste projeto, objetiva-se aplicar a linguagem JML no processo de desenvolvimento de aplicações Java Card e implementar um gerador automático de código Java Card a a partir de especificações formais elaboradas em linguagem B.
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Bruno Emerson Gurgel Gomes - Integrante / Anamaria Martins Moreira - Integrante / David Boris Paul Déharbe - Coordenador.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2003 - 2004
ICSpace - Um espaço cultural aberto na internet
Descrição: O Projeto ICSpace - Espaço Cultural na Internet - visa a criação de um espaço cultural virtual, isto é, de um ambiente virtual na Internet onde artistas podem expor suas obras num espaço acessível a visitantes de todo mundo. Este espaço irá atuar na promoção e divulgação de manifestações artísticas regionais na Web, tornando-se assim, um ponto sólido de divulgação, análise e educação cultural na rede. O ICSpace será uma grande vitrine da produção artística regional integrando tanto pessoas quanto as entidades envolvidas na relação artista - público - empresas - escolas. Neste Projeto, atuei no desenvolvimento de um ambiente de desenvolvimento de software colaborativo utilizado-se a tecnologia Java, particularmente o framework Jakarta Struts.
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Bruno Emerson Gurgel Gomes - Integrante / Vicente Pires Lustosa Neto - Integrante / André Maurício Cunha Campos - Coordenador.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.


Áreas de atuação


1.
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.
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 Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Desenvolvimento de Software em Linguagem Java.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Desenvolvimento de Sistemas Web.


Idiomas


Inglês
Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Bem.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Francês
Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Pouco.


Produções



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

1.
GOMES, Bruno2007GOMES, Bruno; DÉHARBE, David Boris Paul ; MOREIRA, Anamaria Martins . Developing Java Card Applications with B. Electronic Notes in Theoretical Computer Science, v. 184, p. 81-96, 2007.

Livros publicados/organizados ou edições
1.
GOMES, B. E. G.; T. M. Barros . Fundamentos de Lógica e Algoritmos. 1. ed. Natal: IFRN, 2015. 222p .

Trabalhos completos publicados em anais de congressos
1.
GOMES, Bruno; ALVES SOBRINHO, Pitágoras ; GOMES, Aryan ; AZEVEDO, Karolayne ; DANTAS, Vanilo . Ensino de Algoritmos e Programação para Cursos Técnicos de Nível Médio. In: VI CONNEPI, 2011, Natal. VI Congresso de Pesquisa e Inovação da Rede Norte Nordeste de Educação Tecnológica (CONNEPI 2011). Natal: IFRN, 2011. p. 192-201.

2.
GOMES, Bruno; DÉHARBE, David Boris Paul ; MOREIRA, Anamaria Martins ; MORAES, Katia. K. O. . Applying the B Method for the Rigorous Development of Smart Card Applications. In: Abstract State Machines, Alloy, B and Z (ABZ 2010), 2010, Orford, Québec, CA. Abstract State Machines, Alloy, B and Z. Berlin: Springer, 2010. v. 5977. p. 203-216.

3.
DÉHARBE, David Boris Paul ; GOMES, Bruno ; MOREIRA, Anamaria Martins . Automation of Java Card component development using the B method. In: 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'2006), 2006, Stanford. ICECCS. Los Alamitos, CA, USA: IEEE Computer Society, 2006. p. 259-268.

4.
GOMES, Bruno; MOREIRA, Anamaria Martins ; DÉHARBE, David Boris Paul . Developing Java Card Applications with B. In: Simpósio Brasileiro de Métodos Formais, 2005, Porto Alegre. Brazilian Symposium on Formal Methods, 2005. p. 63-77.

Resumos expandidos publicados em anais de congressos
1.
GOMES, Bruno. Rigorous Development of Java Card Applications With the B Method. In: Doctoral Symposium of 16th International Symposium on Formal Methods, 2009, Eindhoven. Proceedings of Formal Methods 2009 Doctoral Symposium. Eindhoven, 2009. v. 15. p. 32-38.

2.
MARINHO, Éberton S. ; MEDEIROS JUNIOR, Valério G. de ; DÉHARBE, David Paul Bóris ; GOMES, Bruno ; TAVARES, Cláudia . A Ferramenta Batcave para a Verificação de Especificações Formais na Notação B. In: XV Sessão de Ferramentas do XXII Simpósio Brasileiro de Engenharia de Software, 2008, Campinas. XV Sessão de Ferramentas. Porto Alegre: Sociedade Brasileira de Computação, 2008.

3.
GOMES, Bruno; MOREIRA, Anamaria Martins ; DÉHARBE, David Boris Paul ; MORAES, Katia. K. O. . A Ferramenta BSmart para o Desenvolvimento Rigoroso de Aplicações Java Card com o Método Formal B. In: XIV Sessão de Ferramentas do XXI Simpósio Brasileiro de Engenharia de Software, 2007, João Pessoa. XIV Sessão de Ferramentas. Porto Alegre: Sociedade Brasileira de Computação, 2007. p. 11-17.

4.
GOMES, Bruno; MOREIRA, Anamaria Martins . BSmart: A Method and a Tool for Development of Java Card Applications with B. In: XI Workshop de Teses e Dissertações em Engenharia de Software (WTES'2006), 2006, Florianópolis. XI Workshop de Teses e Dissertações em Engenharia de Software (WTES). Porto Alegre: Sociedade Brasileira de Computação, 2006. p. 61-66.

5.
GOMES, Bruno; LUSTOSA NETO, Vicente Pires ; CAMPOS, André Maurício Cunha . CODE: Collaborative Development Environment. In: III Workshop Técnico e Científico do DIMAp, 2004, Natal/RN. III Workshop Técnico e Científico do DIMAp, 2004. p. 333-339.

Resumos publicados em anais de congressos
1.
DÉHARBE, David Boris Paul ; GOMES, Bruno ; MOREIRA, Anamaria Martins . BSmart: A Tool for the Development of Java Card Applications with the B Method. In: Abstract State Machines, B and Z Conference (ABZ'2008), 2008, London. Abstract State Machines, B and Z. Berlin: Springer, 2008. v. 5238. p. 351-352.

2.
GOMES, Bruno; MOREIRA, Anamaria Martins . Geração de Código Java Card a partir de especificações formais elaboradas em linguagem B. In: CIC2005 - XV Congresso de Iniciação Cientifica, 2005, Natal. ,, 2005.

Apresentações de Trabalho
1.
GOMES, B. E. G.; MACENA, L. M. ; AZEVEDO, A. J. P. ; RAMOS, B. A. ; PESSOA, R. V. . Lutando por Saúde e Cidadania: O Jiu-Jitsu como Ferramenta Educativa no IFRN Parnamirim. 2016. (Apresentação de Trabalho/Simpósio).

2.
GOMES, B. E. G.; LEONEL JUNIOR, C. J. ; COSTA, C. F. ; RIBEIRO, G. S. ; ALVES, R. G. . ALLQuímica: Um Sistema de Informações para Suplementar o Ensino-Aprendizagem da Química no Ensino Médio. 2015. (Apresentação de Trabalho/Comunicação).

3.
GOMES, B. E. G.; RIBEIRO, G. S. ; COSTA, C. F. ; ALVES, R. G. . Ferramentas Virtuais de Apoio Didático para o Ensino Médio. 2015. (Apresentação de Trabalho/Congresso).

4.
TACCONI, V. F. S. ; FREITAS, E. L. ; GOMES, B. E. G. ; TACCONI NETO, E. A. . Marketing Digital e suas Vantagens na Estratégia de Micro e Pequenas Empresas. 2015. (Apresentação de Trabalho/Congresso).

5.
GOMES, Bruno. Desenvolvimento de Software com o Método Formal B. 2008. (Apresentação de Trabalho/Seminário).


Produção técnica
Programas de computador sem registro
1.

Trabalhos técnicos
1.
GOMES, B. E. G.. EPOCA 2017 - X Escola Potiguar de Computação e suas Aplicações. 2017.

2.
GOMES, B. E. G.. EPOCA 2016 - Escola Potiguar de Computação e suas Aplicações (Revisor de artigo). 2016.

3.
GOMES, B. E. G.. SECITEX 2016 - Semana de Ciência, Tecnologia e Extensão do IFRN. 2016.

4.
GOMES, B. E. G.. Computer on the Beach (Revisor de artigo). 2015.

5.
GOMES, B. E. G.. EPOCA 2015 - Escola Potiguar de Computação e suas Aplicações (Revisor de artigo). 2015.

6.
GOMES, B. E. G.. SECITEX 2015 - Semana de Ciência, Tecnologia e Extensão do IFRN. 2015.

7.
GOMES, Bruno. SBES 2009 - XXIII Símpósio Brasileiro de Engenharia de Software (Revisor de artigo). 2009.

8.
GOMES, Bruno. CLEI 2009 - XXXV Conferencia Latinoamericana de Informática (Revisor de artigo). 2009.

9.
GOMES, Bruno. WEI 2009 - XVII Workshop sobre Educação em Informática (Revisor de artigo). 2009.


Demais tipos de produção técnica
1.
GOMES, Bruno; LUSTOSA NETO, Vicente Pires . Desenvolvendo Aplicações Web com Struts. 2004. (Curso de curta duração ministrado/Outra).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
DEHARBE, D. B. P.; GOMES, B. E. G.; OLIVEIRA, M. V. M.; BONICHON, R. W. A.. Participação em banca de Paulo Ewerton Gomes Fragoso. Contribuições para o Processo de Verificação de Satisfabilidade Módulo Teoria em Event-B. 2015. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Teses de doutorado
1.
OLIVEIRA, M. V. M.; MUSICANTE, M. A.; COSTA, U. S.; MOTA, A. C.; GOMES, B. E. G.. Participação em banca de Samuel Lincoln Magalhães Barrocas. Uma Estratégia para Validar a Geração de Códigos de Circus para Java. 2018. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

2.
DEHARBE, D. B. P.; MUSICANTE, M. A.; MOTA, A. C.; GOMES, B. E. G.; OLIVEIRA, M. V. M.. Participação em banca de Valério Gutemberg de Medeiros Júnior. Método B e a Síntese Verificada para Código de Montagem. 2016. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Qualificações de Doutorado
1.
DEHARBE, D. B. P.; MOTA, A. C.; MUSICANTE, M. A.; GOMES, B. E. G.. Participação em banca de Valério Gutemberg de Medeiros Júnior. Método B e a Síntese Verificada para Código de Montagem. 2015. Exame de qualificação (Doutorando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Qualificações de Mestrado
1.
OLIVEIRA, M. V. M.; GOMES, B. E. G.; MUSICANTE, M. A.. Participação em banca de Dalay Israel de Almeida Pereira. An Extension of a Tool for Formal Support to Component-based Development. 2017. Exame de qualificação (Mestrando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Monografias de cursos de aperfeiçoamento/especialização
1.
SILVA, A. H.; GOMES, B. E. G.; SOUZA JUNIOR, A. A.. Participação em banca de Luiz Antônio Fernandes Rodrigues. A Utilização de Softwares e Jogos Educativos Digitais no Ensino de Química como Ferramenta Facilitadora na Construção do Ensino-Aprendizagem nas Aulas de Química no 3º ano do Ensino Médio. 2017. Monografia (Aperfeiçoamento/Especialização em Especialização em Ensino de Ciências Naturais e Matemática) - Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte.

Trabalhos de conclusão de curso de graduação
1.
MEIRA, M. O.; GOMES, B. E. G.; PEREIRA, D. S.. Participação em banca de Leandro Martins Soares.Sistema Gerenciador de Ocorrências de Trânsito (SGOT). 2017. Trabalho de Conclusão de Curso (Graduação em Sistemas Para Internet) - Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte.

2.
TEIXEIRA, L. R. L.; GOMES, Bruno; SOUZA, J. G.; RODRIGUES, T. C.. Participação em banca de Fausto Pegado de Lima Júnior.Sistema Embarcado para Controle e Supervisão de Ambiência em Aviário Utilizando Web Service. 2017. Trabalho de Conclusão de Curso (Graduação em Análise e Desenvolvimento de Sistemas) - Universidade Federal do Rio Grande do Norte.

3.
GOMES, Bruno; PEREIRA, D. S.; OLIVEIRA, T. F.. Participação em banca de Matheus Barbosa de Farias.Relatório de Estágio Curricular na Prefeitura Municipal de Parnamirim. 2017. Trabalho de Conclusão de Curso (Graduação em Sistemas Para Internet) - Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte.

4.
OLIVEIRA, M. V. M.; GOMES, B. E. G.; BONICHON, R. W. A.. Participação em banca de DALAY ISRAEL DE ALMEIDA PEREIRA.Inclusão de Suporte a Metadados a uma ferramenta de suporte formal ao desenvolvimento baseados em componentes. 2015. Trabalho de Conclusão de Curso (Graduação em Engenharia de Software) - Universidade Federal do Rio Grande do Norte.

5.
TEIXEIRA, L. R. L.; GOMES, B. E. G.; T. M. Barros. Participação em banca de Felipe Bezerra dos Santos.Desenvolvimento de um Prontuário Eletrônico para o Hospital Maternidade Dr. Ruy Mariz de Jardim do Seridó/RN. 2015. Trabalho de Conclusão de Curso (Graduação em Sistemas Para Internet) - Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte.

6.
MOREIRA, Anamaria Martins; GOMES, Bruno. Participação em banca de Roberto Alves de Almeida Júnior.Uma Análise Comparativa entre as Ferramentas de Teste BETA e JTorX. 2013. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio Grande do Norte.

7.
OLIVEIRA, M. V. M.; DÉHARBE, David Boris Paul; GOMES, Bruno. Participação em banca de Artur Oliveira Gomes.Formal Development of a Cardiac Pacemaker: from Specification to Code. 2010. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio Grande do Norte.

8.
COSTA, U. S.; OLIVEIRA, M. V. M.; GOMES, Bruno. Participação em banca de Ivan Soares de Medeiros Júnior.Especificação e Verificação de uma Implementação MPI para MP-Soc. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio Grande do Norte.

9.
MOREIRA, Anamaria Martins; PIRES, P. F.; GOMES, Bruno. Participação em banca de Itamir de Morais Barroca Filho.Ferramenta para Geração de Casos de Testes a partir de Especificações Fomais em Linguagem B. 2007. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal do Rio Grande do Norte.



Participação em bancas de comissões julgadoras
Concurso público
1.
GOMES, B. E. G.; ALEIXO, F. A.. Seleção para docente efetivo de Sistemas de Informação do IFRN. 2015. Fundação de Apoio à Educação e ao Desenvolviemnto do Rio Grande do Norte.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
III Mostra Tecnológica do IFRN. ALLQuímica: Um Sistema de Informações para Suplementar o Ensino-Aprendizagem da Química no Ensino Médio. 2015. (Exposição).

2.
Simpósio de Iniciação à Pesquisa e Extensão (Sipex).Marketing Digital e suas Vantagens na Estratégia de Micro e Pequenas Empresas. 2015. (Simpósio).

3.
XI Congresso de Iniciação Científica do IFRN (CONGIC). Ferramentas Virtuais de Apoio Didático para o Ensino Médio. 2015. (Congresso).

4.
XI Congresso de Iniciação Científica do IFRN (CONGIC). Marketing Digital e suas Vantagens na Estratégia de Micro e Pequenas Empresas. 2015. (Congresso).

5.
Abstract State Machines, Alloy, B and Z (ABZ 2010).Applying the B Method for the Rigorous Development of Smart Card Applications. 2010. (Simpósio).

6.
16th International Symposium on Formal Methods. Rigorous Development of Java Card Applications With the B Method. 2009. (Congresso).

7.
GTTSE 2009: Summer School on Generative and Transformational Techniques in Software Engineering. 2009. (Outra).

8.
XI Simpósio Brasileiro de Métodos Formais. 2008. (Simpósio).

9.
XI Simpósio Brasileiro de Linguagens de Programação. 2007. (Simpósio).

10.
XIV Sessão de Ferramentas do XXI Simpósio Brasileiro de Engenharia de Software.A Ferramenta BSmart para o Desenvolvimento Rigoroso de Aplicações Java Card com o Método Formal B. 2007. (Simpósio).

11.
III International Conference on Graph Transformation. 2006. (Outra).

12.
IX Simpósio Brasileiro de Métodos Formais. 2006. (Simpósio).

13.
XI Workshop de Teses e Dissertações em Engenharia de Software.BSmart: A Method and a Tool for Development of Java Card Applications with B. 2006. (Outra).

14.
XX Simpósio Brasileiro de Engenharia de Software. 2006. (Simpósio).

15.
VIII Simpósio Brasileiro de Métodos Formais.Developing Java Card Applications with B. 2005. (Simpósio).

16.
III Workshop Técnico e Científico do DIMAp.CODE: Collaborative Development Environment. 2004. (Outra).

17.
IV Workshop de Desenvolvimento Baseado em Componentes. 2004. (Outra).

18.
IX Simpósio Brasileiro de Sistemas Multimídia e Web. 2003. (Simpósio).


Organização de eventos, congressos, exposições e feiras
1.
GOMES, Bruno. X Olimpíada Brasileira de Informática. 2008. (Outro).



Orientações



Orientações e supervisões concluídas
Iniciação científica
1.
Josival Alves de Oliveira Filho. PRO IF: PLATAFORMA DE AUXÍLIO AOS ESTUDOS PARA A PROVA DE INGRESSO NO TÉCNICO DE NÍVEL MÉDIO DO INSTITUTO FEDERAL. 2018. Iniciação Científica. (Graduando em Informática) - Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte. Orientador: Bruno Emerson Gurgel Gomes.

2.
Mayane Cleisla dos Santos Rocha. INFOTEC AULA-IF: Videoaulas para auxiliar no aprendizado de disciplinas do Curso Técnico em Informática.. 2017. Iniciação Científica. (Graduando em Informática) - Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte. Orientador: Bruno Emerson Gurgel Gomes.

3.
Meryellen da Silva de Oliveira. INFOTEC AULA-IF: Videoaulas para auxiliar no aprendizado de disciplinas do Curso Técnico em Informática.. 2017. Iniciação Científica. (Graduando em Informática) - Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte. Orientador: Bruno Emerson Gurgel Gomes.

4.
José Alandell Teixeira da Silva. INFOTEC AULA-IF: Videoaulas para auxiliar no aprendizado de disciplinas do Curso Técnico em Informática.. 2017. Iniciação Científica. (Graduando em Informática) - Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte. Orientador: Bruno Emerson Gurgel Gomes.

5.
Vitor Ferraz Silva Tacconi. Desenvolvimento de Sistema Web: uma vitrine virtual para empresas do Rio Grande do Norte. 2016. Iniciação Científica. (Graduando em Informática) - Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte. Orientador: Bruno Emerson Gurgel Gomes.

6.
Éricles de Lima Freitas. Desenvolvimento de Sistema Web: uma vitrine virtual para empresas do Rio Grande do Norte. 2016. Iniciação Científica. (Graduando em Informática) - Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte, Pró-Reitoria de Pesquisa e Inovação do IFRN. Orientador: Bruno Emerson Gurgel Gomes.

7.
Daniel Nobre da Silva. Allquímica: Um Sistema de Informação para suplementar o ensino-aprendizagem da química no ensino médio. 2016. Iniciação Científica. (Graduando em Informática) - Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte, Pró-Reitoria de Pesquisa e Inovação do IFRN. Orientador: Bruno Emerson Gurgel Gomes.

8.
Carlos José Leonel Júnior. Allquímica: Um Sistema de Informação para suplementar o ensino-aprendizagem da química no ensino médio. 2016. Iniciação Científica. (Graduando em Informática) - Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte, Pró-Reitoria de Pesquisa e Inovação do IFRN. Orientador: Bruno Emerson Gurgel Gomes.

9.
Gabriella da Silva Ribeiro. Allquímica: Um Sistema de Informação para suplementar o ensino-aprendizagem da química no ensino médio. 2016. Iniciação Científica. (Graduando em Informática) - Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte. Orientador: Bruno Emerson Gurgel Gomes.

10.
Chrysalis Freire Costa. Allquímica: Um Sistema de Informação para suplementar o ensino-aprendizagem da química no ensino médio. 2016. Iniciação Científica. (Graduando em Informática) - Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte, Pró-Reitoria de Pesquisa e Inovação do IFRN. Orientador: Bruno Emerson Gurgel Gomes.

11.
Vanilo Alexandre de Medeiros Dantas. Projeto Zeno: Desenvolvimento de vídeo-aulas de ensino sobre o Unity. 2014. Iniciação Científica. (Graduando em Informática) - Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte. Orientador: Bruno Emerson Gurgel Gomes.

12.
Ubirajara Dias Viegas Júnior. Projeto Zeno: Desenvolvimento de vídeo-aulas de ensino sobre o Unity. 2014. Iniciação Científica. (Graduando em Informática) - Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte. Orientador: Bruno Emerson Gurgel Gomes.

13.
Thuize Thaina Melo Nascimento. FixUP: Ferramenta para desenvolver um planejamento escolar moderno e inovador. 2014. Iniciação Científica. (Graduando em Informática) - Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte. Orientador: Bruno Emerson Gurgel Gomes.

14.
Fabiana Maria Lopes Guimarães. FixUP: Ferramenta para desenvolver um planejamento escolar moderno e inovador. 2014. Iniciação Científica. (Graduando em Informática) - Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte. Orientador: Bruno Emerson Gurgel Gomes.

15.
Maria Luíza da Silva Gomes. FixUP: Ferramenta para desenvolver um planejamento escolar moderno e inovador. 2014. Iniciação Científica. (Graduando em Informática) - Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte. Orientador: Bruno Emerson Gurgel Gomes.

16.
Karolayne Santos de Azevedo. Ensino de Algoritmos e Programação para Cursos Técnicos de Nível Médio: Estudo de ferramentas de apoio ao ensino e elaboração de material didático. 2014. Iniciação Científica. (Graduando em Informática) - Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte. Orientador: Bruno Emerson Gurgel Gomes.

17.
Pitágoras de Azevedo Alves Sobrinho. Ensino de Algoritmos e Programação para Cursos Técnicos de Nível Médio. 2011. Iniciação Científica - Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Bruno Emerson Gurgel Gomes.

18.
Vanilo Alexandre de Medeiros Dantas. Ensino de Algoritmos e Programação para Cursos Técnicos de Nível Médio. 2011. Iniciação Científica - Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Bruno Emerson Gurgel Gomes.

19.
Elias Costa de Souza. Análise Comparativa de Frameworks para Desenvolvimento de Aplicações para a Web. 2011. Iniciação Científica - Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Bruno Emerson Gurgel Gomes.




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