Joabe Bezerra de Jesus Júnior

  • Endereço para acessar este CV: http://lattes.cnpq.br/5758754427967778
  • Última atualização do currículo em 14/12/2016


Desde 2010 é Professor Assistente do curso de graduação em Engenharia da Computação do eComp e foi, em 2012, Coordenador de Infraestrutura do eComp (POLI/UPE). Desde 2011 é estudante de doutorado em Ciências da Computação na Universidade Federal de Pernambuco (UFPE), tendo concluído em 2009 o mestrado em Ciências da Computação pela mesma universidade. Possui experiência em pesquisa e desenvolvimento na área de Engenharia de Software com ênfase em Métodos Formais desde 2003. Já atuou como instrutor certificado das ferramentas da Borland na Facilit Tecnologia, como instrutor Java na Qualiti Software Processes, como professor do curso de Sistemas para a Internet na Faculdade Maurício de Nassau e como engenheiro de software na Fundação de Apoio ao Desenvolvimento da UFPE (FADE) lotado no Projeto Samsung vinculado ao Centro de Informática (CIn) da UFPE. (Texto informado pelo autor)


Identificação


Nome
Joabe Bezerra de Jesus Júnior
Nome em citações bibliográficas
JESUS JÚNIOR, J. B.

Endereço


Endereço Profissional
Universidade de Pernambuco, Escola Politécnica de Pernambuco - POLI.
Rua Benfica
Madalena
50720001 - Recife, PE - Brasil
Telefone: (81) 31847500
URL da Homepage: www.ecomp.poli.br


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


2010
Doutorado em andamento em Ciências da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: Verificação Mecanizada de Sistemas de Controle usando CSP,
Orientador: Alexandre Cabral Mota.
2007 - 2009
Mestrado em Ciências da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: Design e Validação Formal de Sistemas de Controle de Voo Fly-by-Wire,Ano de Obtenção: 2009.
Orientador: Alexandre Cabral Mota.
Bolsista do(a): SOFTEX, SOFTEX, Brasil.
Palavras-chave: Métodos Formais; Sistemas de Controle de Voo; Simulink; Verificação de modelos.
Grande área: Ciências Exatas e da Terra
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: Engenharias / Área: Engenharia Aeroespacial / Subárea: Dinâmica de Vôo / Especialidade: Estabilidade e Controle.
2002 - 2006
Graduação em Bacharelado em Ciências da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: FormalDev: Tool support for generating UML-RT diagrams from CSP specifications.
Orientador: Alexandre Cabral Mota.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
2002 - 2004
Curso técnico/profissionalizante em Automação Eletrônica.
Centro Federal de Educação Tecnológica de Pernambuco, CEFET-PE, Brasil.




Formação Complementar


2011 - 2011
Liderança Associativa. (Carga horária: 16h).
Universidade Federal de Pernambuco, UFPE, Brasil.
2007 - 2007
PE School on Software Engineering - Testing. (Carga horária: 40h).
Universidade Federal de Pernambuco, UFPE, Brasil.
2006 - 2006
Automação de Testes de Software. (Carga horária: 16h).
Qualiti Assessoria e Consultoria S/A, QUALITI, Brasil.
2005 - 2005
Finanças. (Carga horária: 60h).
Incubadora de Empresas de Base Tecnológica de Pernambuco, INCUBATEP, Brasil.
2004 - 2004
PE School on Software Engineering: Refinement. (Carga horária: 80h).
Universidade Federal de Pernambuco, UFPE, Brasil.
2003 - 2003
Introdução aos Design Patterns. (Carga horária: 5h).
Centro Integrado de Tecnologia da Informação, CITi, Brasil.
2003 - 2003
OCL - Object Constraint Language. (Carga horária: 8h).
Sociedade Brasileira de Computação, SBC, Brasil.
2003 - 2003
Model Checking: Análise Automática de Software. (Carga horária: 8h).
Sociedade Brasileira de Computação, SBC, Brasil.


Atuação Profissional



Universidade Federal de Pernambuco, UFPE, Brasil.
Vínculo institucional

2004 - 2006
Vínculo: Bolsista, Enquadramento Funcional: Bolsista, Carga horária: 20
Outras informações
Bolsista no programa PIBIC-CNPq Sub-Projeto: Mapeamento de UML-RT para OhCircus Vinculado ao Projeto de Pesquisa "ÁlgebRA - Álgebra de Refinamento e Aplicação" do Professor Augusto Cezar Alves Sampaio

Vínculo institucional

2003 - 2003
Vínculo: Voluntário, Enquadramento Funcional: Monitor
Outras informações
Monitor na disciplina de Introdução à Programação ministrada pelo Professor Paulo Henrique Monteiro Borba


Universidade de Pernambuco, UPE, Brasil.
Vínculo institucional

2010 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor Assistente, Carga horária: 40
Outras informações
Nomeação publicada no Diário Oficial do Estado de Pernambuco, ano LXXXVII, No 167 (3 de setembro de 2010), página 13, referente ao concurso (Edital 02/2010) para Professor Universitário Assistente da Universidade de Pernambuco (UPE) na Escola Politécnica de Pernambuco (POLI) na área de Linguagem de Programação.

Atividades

03/2014 - Atual
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Linguagens de Programação Imperativa
Metodologia Científica
Sistemas Multiagentes
10/2010 - Atual
Pesquisa e desenvolvimento , Escola Politécnica de Pernambuco - POLI, .

08/2013 - 12/2013
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Engenharia de Software
Metodologia Científica
Ambientes de Desenvolvimento de Software
02/2013 - 06/2013
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Sistemas Multiagentes
Engenharia de Software
08/2012 - 12/2012
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Sistemas de Informação
Sistemas Multiagentes
Ambientes de Desenvolvimento de Software
02/2012 - 06/2012
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Sistemas de Informação
Sistemas Multiagentes
Álgebra Aplicada a Computação
08/2011 - 12/2011
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Sistemas de Informação
Sistemas Multiagentes
Álgebra Aplicada a Computação
02/2011 - 06/2011
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Ambientes de Desenvolvimento de Software
Sistemas de Informação
Sistemas Multiagentes
10/2010 - 12/2010
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Sistemas de Informação
Metodologia Científica
Gestão de Projetos

Fundação de Apoio ao Desenvolvimento da Universidade Federal de Pernambuco, FADE/UFPE, Brasil.
Vínculo institucional

2008 - 2010
Vínculo: Colaborador, Enquadramento Funcional: Engenheiro de Software, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Projeto Samsung/CIn

Vínculo institucional

2006 - 2007
Vínculo: Colaborador, Enquadramento Funcional: Engenheiro de Software, Carga horária: 30
Outras informações
Projeto Samsung/CIn


Qualiti Assessoria e Consultoria S/A, QUALITI, Brasil.
Vínculo institucional

2008 - 2008
Vínculo: Prestação de Serviço, Enquadramento Funcional: Instrutor Java

Atividades

7/2008 - 8/2008
Ensino,

Disciplinas ministradas
Curso Java Avançado

Hospital da Restauração, FUSAM, Brasil.
Vínculo institucional

2006 - 2008
Vínculo: Voluntário, Enquadramento Funcional: Voluntário da AAP
Outras informações
AAP (Associação dos Amigos da Pediatria)


Facilit Tecnologia, FACILIT, Brasil.
Vínculo institucional

2005 - 2006
Vínculo: Estágio curricular IEL, Enquadramento Funcional: Estagiário, Carga horária: 20

Atividades

10/2005 - 07/2006
Estágios , Universidade Federal de Pernambuco, .

Estágio realizado
Consultoria especializada em Java.

Centro de Estudos e Sistemas Avançados do Recife, CESAR, Brasil.
Vínculo institucional

2005 - 2005
Vínculo: Pré-incubação, Enquadramento Funcional: Pré-incubação, Carga horária: 2



Linhas de pesquisa


1.
Engenharia de Software e Linguagens de Programação
2.
Métodos Formais


Projetos de pesquisa


2010 - Atual
Um Ambiente de Desenvolvimento Integrado para Linguagens Formais
Descrição: Esse projeto visa unir ferramentas de desenvolvimento formal (como os verificadores de modelo Prism, Failures-Divergences Refinement ? FDR e Process Analysis Toolkit ? PAT) às ferramentas de design e implementação atuais como ambientes de desenvolvimento de software (por exemplo, eclipse e Matlab/Simulink)..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) .
Integrantes: Joabe Bezerra de Jesus Júnior - Coordenador.
2006 - 2008
Uma Estratégia para Desenvolvimento Sistemático de Aplicações Críticas
Descrição: A Embraer (Empresa Brasileira de Aeronáutica S.A.) tem utilizado como meio de cumprimento de requisitos de certificação de software o padrão DO-178B [RTCA]. O padrão DO-178B define guias para a produção de software para sistemas e equipamentos de aviação que executam sua função esperada com um nível de confiança em segurança de acordo com os requisitos aeronáuticos. Desta forma, a Embraer manifestou interesse em colaborar com o presente projeto de pesquisa com o objetivo de evoluir de um ciclo de desenvolvimento V (onde várias atividades do desenvolvimento de sistemas é realizada ainda manualmente) para um ciclo de desenvolvimento Y (onde, exceto pelos requisitos do sistema, as demais atividades são realizadas automaticamente e com presença mínima de falhas). Assim sendo, seus requisitos precisam ser documentados formalmente, com propriedades verificadas, projeto e implementação gerados automaticamente e, finalmente, propriedades testadas diretamente a partir da implementação do sistema, para obter uma garantia adicional de que a implementação não sofreu qualquer distorção após considerar requisitos não-funcionais..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (1) .
Integrantes: Joabe Bezerra de Jesus Júnior - Integrante / Alexandre Mota - Coordenador / Augusto Sampaio - Integrante / Adalberto Cajueiro Farias - Integrante / Ana Cavalcanti - Integrante.Financiador(es): Universidade Federal de Pernambuco - Auxílio financeiro.
2004 - 2006
Mapeamento de UML-RT para OhCircus
Descrição: Definição e implementação de um mapeamento da linguagem de modelagem UML-RT para a linguagem formal OhCircus.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) .
Integrantes: Joabe Bezerra de Jesus Júnior - Integrante / Augusto Sampaio - Coordenador.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.


Revisor de projeto de fomento


2010 - 2010
Agência de fomento: Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco


Áreas de atuação


1.
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.
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: Engenharia de Software.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Linguagens de Programação.


Idiomas


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


Prêmios e títulos


2007
PRIMEIRO LUGAR no XIV Congresso de Iniciação Científica (CONIC) da UFPE, na área de Ciências Exatas e da Terra, UFPE.
2007
Láurea Universitária, Universidade Federal de Pernambuco.


Produções



Produção bibliográfica
Textos em jornais de notícias/revistas
1.
JESUS JÚNIOR, J. B.. Requisitos com o CaliberRM no Delphi. Active Delphi, p. 26 - 27, 01 abr. 2006.

Trabalhos completos publicados em anais de congressos
1.
JESUS JÚNIOR, J. B.; MOTA, Alexandre ; Sampaio, A ; GRIJO, L. . Architectural Verification of Control Systems Using CSP. In: 13th International Conference on Formal Engineering Methods, 2011, Durham. 13th International Conference on Formal Engineering Methods. Reino Unido: SpringerLink, 2011. v. 6991. p. 323-339.

2.
MOTA, Alexandre ; JESUS JÚNIOR, J. B. ; GOMES, A. ; FERRI, F. ; WATANABE, E. . Evolving a Safe System Design Iteratively. In: The 29th International Conference on Computer Safety, Reliability and Security, 2010, Viena. The 29th International Conference on Computer Safety, Reliability and Security, 2010. v. 6351. p. 361-374.

Apresentações de Trabalho
1.
JESUS JÚNIOR, J. B.; MOTA, Alexandre ; Sampaio, A ; GRIJO, L. . Architectural Verification of Control Systems Using CSP. 2011. (Apresentação de Trabalho/Conferência ou palestra).

2.
JESUS JÚNIOR, J. B.; Sampaio, A . Mapeamento de UML-RT para OhCircus. 2006. (Apresentação de Trabalho/Congresso).

3.
JESUS JÚNIOR, J. B.; Sampaio, A . Mapeamento de UML-RT para OhCircus. 2005. (Apresentação de Trabalho/Congresso).

4.
JESUS JÚNIOR, J. B.. FormallDev. 2004. (Apresentação de Trabalho/Simpósio).


Produção técnica
Programas de computador sem registro
1.
JESUS JÚNIOR, J. B.; MOTA, Alexandre ; Sampaio, A . Extrator automático de modelos CSP a partir de diagramas Simulink. 2010.

2.
JESUS JÚNIOR, J. B.. FormalDev. 2006.

3.
VALENCA, A. C. ; Effektiv Solutions ; JESUS JÚNIOR, J. B. . Visual SimModel. 2005.



Bancas



Participação em bancas de trabalhos de conclusão
Trabalhos de conclusão de curso de graduação
1.
JESUS JÚNIOR, J. B.; FERNANDES, B.. Participação em banca de Rodrigo Augusto de Oliveira e Silva.Oil Well Explorer: Data Mining and Information Visualization Applied in Oil & Gas Domain. 2014. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

2.
JESUS JÚNIOR, J. B.; Gomes, Genésio. Participação em banca de Daniel Peixoto de Moraes Pereira.Economia Criativa e suas Potencialidades com Relato sobre Estudo de Caso de Startup na Área de Moda. 2014. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

3.
Melo, Raul; JESUS JÚNIOR, J. B.. Participação em banca de Denise Assis Bezerra de Souza.Um panoroma do uso de openEHR. 2014. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

4.
Lencastre, M; JESUS JÚNIOR, J. B.. Participação em banca de Afif Aquino Almeida Fikani.PEPVault: um sistema de prontuário eletrônico baseado em HealthVault. 2014. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

5.
Gomes, Genésio; JESUS JÚNIOR, J. B.. Participação em banca de Genival Cecilio da Silva.Mapeamento e Gestão Colaborativade Incidentes Urbanos. 2014. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

6.
SILVEIRA, D.; JESUS JÚNIOR, J. B.. Participação em banca de Eduardo Henrique Formiga Sandes.DeliveryMaps: Acompanhamento de Pedidos em Tempo Real. 2014. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

7.
JESUS JÚNIOR, J. B.; Fernando Buarque. Participação em banca de Sabrina Guimaraes Tavares de Andrade.Estudo Propositivo para Avaliação da Qualidade em Educação Utilizando Semiótica Computacional e Redes Neurais Artificiais. 2014. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

8.
JESUS JÚNIOR, J. B.; Fernando Buarque. Participação em banca de Raphael Farias Carneiro.Ferramenta de Apoio ao Diagnóstico de Enfermagem em UTIs. 2014. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

9.
JESUS JÚNIOR, J. B.; Carvalho, Gustavo. Participação em banca de Rafael Farias Cabral.Um Mpeamento entre Assembly e CSP: Analisando Formalmente Programas Concorrentes. 2012. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

10.
JESUS JÚNIOR, J. B.; Carvalho, Gustavo. Participação em banca de Bruno Fonseca Lins de Oliveira.Uso de Constraint Solvers na Geração de Dados de Teste: Um Mapeamento Sistemático da Literatura. 2012. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

11.
JESUS JÚNIOR, J. B.; Dias, Tarciana. Participação em banca de Eduardo Delai Correa.Análise das técnicas de identificação de profissionais e formação de equipes no desenvolvimento de software. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

12.
JESUS JÚNIOR, J. B.; LEITE, B.. Participação em banca de Hitalo Oliveira da Silva.Sistema de Gestão Corporativa de TI-SGCTI. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

13.
JESUS JÚNIOR, J. B.; SILVEIRA, D.; Fernando Buarque. Participação em banca de Rodrigo Euclides Carneiro.Sistema Híbrido Multimídia de Educação baseado em computação inteligente para o Ensino-Aprendizagem da língua inglesa. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

14.
Lencastre, M; JESUS JÚNIOR, J. B.. Participação em banca de Roberto Barreto Sampaio.Otimização de Processos e Tarefas das Instalações de Sistemas Elétricos de Potência. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

15.
Carvalho, Gustavo; JESUS JÚNIOR, J. B.. Participação em banca de Rafael Calado Pantaleão Camara.Explorando ferramentas de GCS open source para atender exigências do COBIT. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

16.
Carvalho, Gustavo; JESUS JÚNIOR, J. B.. Participação em banca de Gabriel Baracuhy Macedo Melo.Uma IDE para o SABLECC. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

17.
JESUS JÚNIOR, J. B.; Carvalho, Gustavo. Participação em banca de Tiago Xavier Lopes da Silva.Geração automática de scripts de teste utilizando o selenium. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

18.
JESUS JÚNIOR, J. B.; Carvalho, Gustavo. Participação em banca de Matheus Levi Pereira Torres.CSPm e CSP#: Uma análise experimental de problemas clássicos de concorrência. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

19.
JESUS JÚNIOR, J. B.; Fernandes, Sergio. Participação em banca de Marcos Aurélio Silva de Souza.Linguagem ADA: Estado da arte, tecnologias associadas e mecanismos de dependabilidade. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

20.
JESUS JÚNIOR, J. B.; Carvalho, Gustavo. Participação em banca de Hugo Leonardo Correia de Oliveira Lima.Análise formal de código java concorrente. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

21.
JESUS JÚNIOR, J. B.; Campello, Sergio. Participação em banca de Bruno Henrique Montenegro Ferreira.Sistema de apoio a prevenção de falhas humanas na operação de sistema elétrico de potência em tempo real. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.




Eventos



Participação em eventos, congressos, exposições e feiras
1.
Simpósio Brasileiro de Tecnologia da Informação.Artigos submetidos ao Simpósio Brasileiro de Tecnologia da Informação. 2013. (Simpósio).

2.
Campus Party Brasil 5.Computação Social e Robótica - uma ótima combinação. 2012. (Outra).

3.
Simpósio Brasileiro de Tecnologia da Informação.Artigos submetidos ao Simpósio Brasileiro de Tecnologia da Informação. 2012. (Simpósio).

4.
13th International Conference on Formal Engineering Methods.Architectural Verification of Control Systems Using CSP. 2011. (Outra).

5.
Campus Party Brasil 4. 2011. (Outra).

6.
2º Congresso Muito Especial de Tecnologia Assistiva. 2009. (Congresso).

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

8.
XIV Congresso de Iniciação Científica da UFPE. Mapeamento de UML-RT para OhCircus. 2006. (Congresso).

9.
Borland Conference. 2005. (Congresso).

10.
Microsoft ISV Community Days. 2005. (Congresso).

11.
VI Congresso de Ensino, Pesquisa e Extensão da UFPE. Mapeamento de UML-RT para OhCircus. 2005. (Congresso).

12.
Simpósio Brasileiro de Métodos Formais.FormallDev: Tool support for UML. 2004. (Simpósio).

13.
Workshop de Métodos Formais.Experimenting Formal Methods through UML. 2003. (Simpósio).


Organização de eventos, congressos, exposições e feiras
1.
Fernando Buarque ; JESUS JÚNIOR, J. B. . 1st BRICS Countries Congress on Computational Intelligence (BRICS-CCI). 2013. (Congresso).

2.
FERNANDES, B. ; JESUS JÚNIOR, J. B. . I Acampamento de Robótica da Escola Politécnica da Universidade de Pernambuco. 2012. (Outro).



Orientações



Orientações e supervisões concluídas
Monografia de conclusão de curso de aperfeiçoamento/especialização
1.
Cássio Maciel Neves Feliciano. PromoFinder: Mobilidade na Geolocalização de Promoções. 2015. Monografia. (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco. Orientador: Joabe Bezerra de Jesus Júnior.

2.
CLÁUDIO SANTOS RAMOS FILHO. UMA PLATAFORMA PARA PROMOÇÃO DE VENDAS COM SUPORTE A GEOLOCALIZAÇÃO. 2015. Monografia. (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco. Orientador: Joabe Bezerra de Jesus Júnior.

3.
JOÃO VÍCTOR ALVES MARTINS. DESENVOLVENDO APLICAÇÕES ANDROID COM XAMARIN E TITANIUM. 2015. Monografia. (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco. Orientador: Joabe Bezerra de Jesus Júnior.

Trabalho de conclusão de curso de graduação
1.
Eduardo Henrique Formiga Sandes. DeliveyMaps: Acompanhamento de Pedidos em Tempo Real. 2014. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade de Pernambuco. Orientador: Joabe Bezerra de Jesus Júnior.

2.
Genival Cecilio da Silva. Mapamento e Gestão Colaborativa de Incidentes Urbanos. 2014. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade de Pernambuco. Orientador: Joabe Bezerra de Jesus Júnior.

3.
Afif Aquino Almeida Fikani. PEPVault: um sistema de prontuário eletrônico baseado em HealthVault. 2014. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade de Pernambuco. Orientador: Joabe Bezerra de Jesus Júnior.

4.
Denise Assis Bezerra de Souza. Um panorama do uso de openEHR. 2014. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade de Pernambuco. Orientador: Joabe Bezerra de Jesus Júnior.

5.
Rafael Calado Pantaleão Camara. Explorando ferramentas de GCS open source para atender exigências do COBIT. 2011. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade de Pernambuco. Orientador: Joabe Bezerra de Jesus Júnior.

6.
Gabriel Baracuhy Macedo Melo. Uma IDE para o SableCC. 2011. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade de Pernambuco. Orientador: Joabe Bezerra de Jesus Júnior.

7.
Roberto Barreto Sampaio. Otimização de Processos e Tarefas das Instalações de Sistemas Elétricos de Potência. 2011. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade de Pernambuco. Orientador: Joabe Bezerra de Jesus Júnior.



Inovação



Programa de computador sem registro
1.
JESUS JÚNIOR, J. B.; MOTA, Alexandre ; Sampaio, A . Extrator automático de modelos CSP a partir de diagramas Simulink. 2010.


Projetos de pesquisa


Educação e Popularização de C & T



Programa de Computador sem registro de patente
1.
JESUS JÚNIOR, J. B.; MOTA, Alexandre ; Sampaio, A . Extrator automático de modelos CSP a partir de diagramas Simulink. 2010.




Página gerada pelo Sistema Currículo Lattes em 16/12/2018 às 23:34:37