Frederico Jorge Ribeiro Barboza
possui graduação em Ciência da Computação pela Universidade Federal da Bahia (1996) e mestrado em Mecatrônica pela Universidade Federal da Bahia (2006). Atualmente é Professor do Curso Superior de Tecnologia em Análise e Desenvolvimento de Sistemas do Instituto Federal de Educação, Ciência e Tecnologia da Bahia (IFBA) e Analista Judiciário do Tribunal Regional Eleitoral da Bahia (TRE-BA). Tem experiência na área de Ciência da Computação, com ênfase em Algoritmos e Métodos Formais, atuando principalmente nos seguintes temas: algoritmos distribuídos, verificação de modelos, especificação formal, sistemas distribuídos, sistemas de tempo real, sistemas móveis e redes de sensores sem fio.
Informações coletadas do Lattes em 23/10/2025
Acadêmico
Formação acadêmica
Doutorado em andamento em Ciência da Computação - Ufba - Unifacs
2008 - Atual
Universidade Federal da Bahia
Título: Algoritmos para Mobilidade (Provisório),
Orientador: Flávio Morais de Assis Silva
Palavras-chave: Sistemas Móveis; Sistemas Distribuídos.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação.
Mestrado em Mecatrônica
2003 - 2006
Universidade Federal da Bahia
Título: Verificação Formal da Função de Controle de Acesso ao Meio do Protocolo IEEE 802.11 e Investigação da sua Aplicabilidade em Sistemas de Tempo-Real,Ano de Obtenção: 2006
Aline Maria Santos Andrade.Palavras-chave: Verificação de Modelos; Especificação Formal; Confiabilidade de Sistemas; Redes de Computadores Sem Fio; Sistemas de Tempo Real; Sistemas Móveis. Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Linguagem Formais e Autômatos. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas.
Especialização em Sistemas Distribuídos
2001 - 2002
Universidade Federal da Bahia
Título: Extensão da Linguagem PROMELA para Especificação de Sistemas baseados em Agentes Móveis
Orientador: Aline Maria Santos Andrade
Idiomas
Inglês
Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Áreas de atuação
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Métodos Formais.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Linguagem Formais e Autômatos.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Algoritmos Distribuídos.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Sistemas Distribuídos.
Organização de eventos
BARBOZA, F. J. R. . Second Latin-American Symposium on Dependable Computing (LADC). 2005. (Congresso).
Participação em bancas
FREITAS, A. E. S.;BARBOZA, F. J. R.SA, A. S.. Auto-ajuste de parâmetros em protocolo de comunicação em grupo: estudo de caso do Isis. 2014. Monografia (Aperfeiçoamento/Especialização em Especialização em Computação Distribuída e Ubíqua) - Instituto Federal da Bahia.
COELHO JUNIOR, J. A.;BARBOZA, F. J. R.. MADSYS (Management and Development System) - Uma Ferramenta para Gerenciamento e Desenvolvimento de Requisitos baseada nos Modelos CMMI e MPS.br. 2008. Monografia (Aperfeiçoamento/Especialização em Sistemas Distribuídos) - Universidade Federal da Bahia.
BARBOZA, F. J. R.; QUEIROZ JUNIOR, H. O.. Análise Comparativa da Aplicabilidade da Metodologia XP dentro de uma Organização: O Caso SEFAZ-BA. 2003. Monografia (Aperfeiçoamento/Especialização em Especialização em Sistemas Distribuídos) - Universidade Católica do Salvador.
OLIVEIRA, G. L.; FLORENTINO, P. V.;BARBOZA, F.. Sazonalidade dos preços no mercado de ações brasileiro. 2021. Trabalho de Conclusão de Curso (Graduação em Curso Superior de Tecnologia em Análise e Desenvolvimento de Sistemas) - Instituto Federal de Educação, Ciência e Tecnologia da Bahia.
NASCIMENTO, F. M. S.;MARQUES NETO, M. C.BARBOZA, F.. S.A.R.A.: Uma Ferramenta Baseada em Algoritmos Genéticos para Alocação de Salas de Aula do IFBA. 2018. Trabalho de Conclusão de Curso (Graduação em Curso Superior de Tecnologia em Análise e Desenvolvimento de Sistemas) - Instituto Federal de Educação, Ciência e Tecnologia da Bahia.
GREVE, F. G. P.;BARBOZA, F. J. R.SILVA, F. M. A.. Desenvolvimento de Aplicações Confiáveis em MANET a Partir de um Conjunto Dominante Conexo. 2009. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal da Bahia.
BARBOZA, F. J. R.; GREVE, F. G. P.. Especificação e Protocolo para a Gestão da Filiação. 2009. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal da Bahia.
GREVE, F. G. P.;SILVA, F. M. A.BARBOZA, F. J. R.. Protocolo Assíncrono para Detecção de Falhas Bizantinas em Sistemas Distribuídos Dinâmicos. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.
AMORIM, C. A.; ARAUJO, J. G. R.;BARBOZA, F. J. R.. Aplicação de Algoritmos Genéticos na Otimização de Roteamento de Sistemas Empresariais de Transporte de Funcionários. 2007. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Faculdades Ruy Barbosa.
BARBOZA, F. J. R.MARQUES NETO, M. C.; ARAUJO, J. G. R.. Nascimento e Andréa Gomes.SATSUMM - Uma Ferramenta para Sumarização Automática de Textos Jornalísticos. 2007. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Faculdades Ruy Barbosa.
BARBOZA, F. J. R.MARQUES NETO, M. C.; ARAUJO, J. G. R.. Implementação de Providers WBEM para a Arquitetura Linux. 2007. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Faculdades Ruy Barbosa.
BARBOZA, F. J. R.MARQUES NETO, M. C.; ARAUJO, J. G. R.; AMORIM, C. A.. Freitas e Priscilla R. B. Guimarães.Kairós: Uma Ferramenta Baseada em Algoritmos Genéticos para a Geração de Tabela de Horário Escolar. 2007. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Faculdades Ruy Barbosa.
BARBOZA, F. J. R.MARQUES NETO, M. C.; SERRA NEVES, J. C.. Campos e Paulo Laurindo S. dos Santos.Um Classificador Automático de Documentos Utilizando Mapa de Kohonen. 2007. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Sistemas de Informação) - Faculdades Ruy Barbosa.
BARBOZA, F. J. R.; SERRA NEVES, J. C.;MARQUES NETO, M. C.. JGAGRADE - Uma Ferramenta Baseada em Algoritmos Genéticos para a Geração de Grade de Horário da Faculdade Ruy Barbosa. 2007. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Sistemas de Informação) - Faculdades Ruy Barbosa.
SILVA, F. M. A.BARBOZA, F. J. R.; COSTA, A. L. da. Estudo de Soluções para o Problema de Definição de Topologia de Custo Mínimo em Redes de Sensores Sem Fio. 2007. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal da Bahia.
BARBOZA, F. J. R.ANDRADE, A. M. S.; ABDALLA, Débora. Uma Abordagem para Especificação de Sistemas de Tempo Real Baseada em Métodos Formais a partir de Diagramas UML. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal da Bahia.
BARBOZA, F. J. R.LIMA, G. M. A.SILVA, F. M. A.. QoS para Jogos Multijogador em Redes IEEE 802.11. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal da Bahia.
BARBOZA, F. J. R.; BATALHA, M. S. G.; DANTAS, B. T.. Ferramenta para criação de modelagem dinâmica utilizando engenharia reversa. 2005. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Faculdades Ruy Barbosa.
BARBOZA, F. J. R.; ARAUJO, J. G. R.; DANTAS, B. T.. Uma interface para personalização de resultados de busca na WEB. 2003. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Faculdades Ruy Barbosa.
BARBOZA, F. J. R.; ANDRADE, G. M.. Extraindo dados com XML. 2001. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Salvador.
Orientou
Avaliação da Aplicabilidade de Inferência Difusa em Sistema de Controle Embarcado para Irrigação; 2014; Monografia; (Aperfeiçoamento/Especialização em Tecnologia em Análise e Desenvolvimento de Sistema) - Instituto Federal de Educação, Ciência e Tecnologia da Bahia; Orientador: Frederico Jorge Ribeiro Barboza;
Aguiar; Ferramenta para gerenciamento de algoritmos genéticos distribuídos em ilhas de evolução; 2009; Monografia; (Aperfeiçoamento/Especialização em Sistemas Distribuídos) - Universidade Federal da Bahia; Orientador: Frederico Jorge Ribeiro Barboza;
Análise Comparativa da Aplicabilidade da Metodologia XP dentro de uma Organização: O Caso SEFAZ-BA; 2003; Monografia; (Aperfeiçoamento/Especialização em Especialização em Sistemas Distribuídos) - Universidade Católica do Salvador; Orientador: Frederico Jorge Ribeiro Barboza;
Uma Aplicação de Apoio ao Controle Logístico de Resíduos da Construção Civil; 2018; Trabalho de Conclusão de Curso; (Graduação em Curso Superior de Tecnologia em Análise e Desenvolvimento de Sistemas) - Instituto Federal de Educação, Ciência e Tecnologia da Bahia; Orientador: Frederico Jorge Ribeiro Barboza;
Uma Aplicação de AGs na Otimização de um Sistema de Transporte Vertical Baseado em Lógica Fuzzy; 2008; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Faculdades Ruy Barbosa; Orientador: Frederico Jorge Ribeiro Barboza;
Avaliando o Uso de uma Heurística em um AG para Otimização do Corte de Peças Retangulares; 2008; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Faculdades Ruy Barbosa; Orientador: Frederico Jorge Ribeiro Barboza;
Análise do Comportamento de Algoritmos Genéticos Adaptativos Baseados em Controle Fuzzy; 2008; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Faculdades Ruy Barbosa; Orientador: Frederico Jorge Ribeiro Barboza;
Aplicação de Algoritmos Genéticos na Otimização do Deslocamento Horizontal de uma Máquina Perfuratriz; 2008; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Faculdades Ruy Barbosa; Orientador: Frederico Jorge Ribeiro Barboza;
Implementação e Avaliação da Eficácia de um Módulo de Pré-Processamento baseado em Radicalização em Ferramenta de Classificação Automática de Documentos; 2008; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Sistemas de Informação) - Faculdades Ruy Barbosa; Orientador: Frederico Jorge Ribeiro Barboza;
Uma Solução com Algoritmos Genéticos para Investimentos em Açõe; 2008; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Faculdades Ruy Barbosa; Orientador: Frederico Jorge Ribeiro Barboza;
JGAGRADE - Uma Ferramenta Baseada em Algoritmos Genéticos para a Geração de Grade de Horário da Faculdade Ruy Barbosa; 2007; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Sistemas de Informação) - Faculdades Ruy Barbosa; Orientador: Frederico Jorge Ribeiro Barboza;
Freitas e Priscilla R; B; Guimarães; Kairós: Uma Ferramenta Baseada em Algoritmos Genéticos para a Geração de Tabela de Horário Escolar; 2007; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Faculdades Ruy Barbosa; Orientador: Frederico Jorge Ribeiro Barboza;
Campos e Paulo Laurindo S; dos Santos; Um Classificador Automático de Documentos Utilizando Mapa de Kohonen; 2007; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Sistemas de Informação) - Faculdades Ruy Barbosa; Orientador: Frederico Jorge Ribeiro Barboza;
Produções bibliográficas
-
BARBOZA, F. J. R. ; ANDRADE, A. M. S. ; SILVA, F. M. A. ; LIMA, G. M. A. . Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysis of its Applicability to Real-Time Systems. Electronic Notes in Theoretical Computer Science , v. 195, p. 3-20, 2008.
-
MACEDO, R. J. A. ; LIMA, G. M. A. ; BARRETO, L. P. ; ANDRADE, A. M. S. ; SA, A. S. ; BARBOZA, F. J. R. ; ALBUQUERQUE, R. F. ; ANDRADE, S. S. . Tratando a previsibilidade em sistemas de tempo-real distribuídos: Especificação, Linguagens, Middleware e Mecanismos Básicos. In: SBC. (Org.). Livro Texto dos Minicursos do SBRC2004. : , 2004, v. 1, p. 105-163.
-
NUNES, B. ; BARBOZA, F. J. R. ; SILVA, F. M. A. . Maximum Lifetime Broadcast in Mobile Sensor Networks. In: 12th International Conference ADHOC-NOW (Ad-hoc, Mobile, and Wireless Network), 2013, Wrocaw, Polônia. Proceedings of the Proceedings of 12th ADHOC-NOW 2013 - Lecture Notes in Computer Science (LNCS 7960). Berlim, Alemanha: Springer Berlin Heidelberg, 2013. v. 1. p. 26-37.
-
NUNES, BRUNO ; BARBOZA, FREDERICO ; SILVA, FLAVIO MORAIS DE ASSIS . A Localized Algorithm for the Maximum Lifetime Broadcast Problem with Asymmetric Edge Costs. In: 2012 IEEE 11th International Symposium on Network Computing and Applications (NCA), 2012, Cambridge. 2012 IEEE 11th International Symposium on Network Computing and Applications. p. 253-258.
-
BARBOZA, F. J. R. ; SILVA, F. M. A. . An Algorithm for the General MECBS Problem based on Minimum Cost Arborescences. In: Third International ICST Conference on Ad Hoc Networks - ADHOCNETS 2011, 2011, Paris, França. Proceedings of the Third International ICST Conference on Ad Hoc Networks - ADHOCNETS 2011 - LNCIS (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering). Berlim, Alemanha: Springer-Verlag, 2011.
-
ELIAS, L. ; GOUVEIA JUNIOR, A. P. S. ; GUIMARAES NETO, R. ; BARBOZA, F. J. R. . Aplicação de Algoritmos Genéticos na Otimização do Deslocamento Horizontal de uma Máquina Perfuratriz. In: VI Workshop de Trabalhos de Iniciação Científica e Graduação Bahia, Alagoas e Sergipe (V WTICG - ERBASE 2008), 2008, Salvador. VI Workshop de Trabalhos de Iniciação Científica e Graduação Bahia, Alagoas e Sergipe. Salvador, 2008.
-
MARQUES NETO, M. C. ; FREITAS, C. ; BAGANO, P. ; BARBOZA, F. J. R. . Uma Ferramenta Baseada em Algoritmos Genéticos para a Geração de Tabela de Horário Escolar. In: V Workshop de Trabalhos de Iniciação Científica e Graduação Bahia, Alagoas e Sergipe (V WTICG - ERBASE 2007), 2007, Vitória da Conquista. V Workshop de Trabalhos de Iniciação Científica e Graduação Bahia, Alagoas e Sergipe, 2007.
-
BARBOZA, F. J. R. ; ANDRADE, A. M. S. ; SILVA, F. M. A. ; LIMA, G. M. A. . Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysis of its Applicability to Real-Time Systems. In: Brazilian Symposium on Formal Methods, 2006, Natal - RN. Brazilian Symposium on Formal Methods 2006 (SBMF 2006). Rio Grande do Sul: SBC, 2006. v. 1. p. 9-26.
-
ANDRADE, A. M. S. ; SILVA, F. M. A. ; BARBOZA, F. J. R. ; OLIVEIRA, R. A. R. . Um Ambiente para Especificação e Verificação Automática de Aplicações baseadas em Agentes Móveis. In: Simpósio Brasileiro de Redes de Computadores, 2004, Gramado-RS. Anais do 22 Simpósio Brasileiro de Redes de Computadores, 2004.
-
BARBOZA, F. J. R. ; AZEVEDO JUNIOR, J. A. ; OLIVEIRA, L. R. ; ALBUQUERQUE, M. L. . Uma Metodologia para a Construção de Robôs Móveis. In: I Seminário Técnico-Científico Área 1 / ISTEC - Área 1, 2003, SALVADOR. Anais do I STEC - Área 1, 2003.
-
BARBOZA, F. J. R. . Uma Abordagem para Minimização de Custos em Logística de Distribuição Baseada em Algoritmos Genéticos. In: I Seminário Técnico-Científico Área 1 / ISTEC - Área 1, 2003, SALVADOR. Anais do I STEC - Área 1, 2003.
-
ANDRADE, A. M. S. ; SILVA, F. M. A. ; BARBOZA, F. J. R. . Extensão da Linguagem Promela para Especificação de Sistemas Baseados em Agentes Móveis. In: IV Workshop de Comunicação sem Fio e Computação Móvel, 2002, São Paulo. IV Workshop de Comunicação sem Fio e Computação Móvel, 2002. p. 1-9.
-
BARBOZA, F. J. R. . Um Ambiente para Especificação e Verificação Automática de Aplicações baseadas em Agentes Móveis. 2004. (Apresentação de Trabalho/Simpósio).
Outras produções
ANDRADE, A. M. S. ; BARBOZA, F. J. R. . Ferramentas de Apoio à Construção de Softwares Concorrentes e de Tempo Real Confiáveis (VIª ERBASE - Escola Regional de Computação Bahia-Sergipe). 2006. (Curso de curta duração ministrado/Extensão).
ANDRADE, A. M. S. ; BARBOZA, F. J. R. . Ferramentas de Apoio à Construção de Softwares Concorrentes e de Tempo Real Confiáveis (SBMF). 2006. (Curso de curta duração ministrado/Extensão).
BARBOZA, F. J. R. . Desenvolvimento de Aplicações WEB utilizando o JSF. 2006. (Curso de curta duração ministrado/Extensão).
BARBOZA, F. J. R. . Laboratório de Java Básico (IIIª ERBASE - Escola Regional de Computação Bahia-Sergipe). 2003. (Curso de curta duração ministrado/Extensão).
BARBOZA, F. J. R. . Laboratório de Java Avançado (Iª ERBASE - Escola Regional de Computação Bahia-Sergipe). 2001. (Curso de curta duração ministrado/Extensão).
Projetos de pesquisa
-
2001 - 2003
ForMOS/IQ-Mobile, Descrição: De maneira geral, se uma aplicação é descrita utilizando uma linguagem de especificação apropriada, é possível aplicar técnicas de verificação para garantir propriedades desejadas do sistema, bem como garantir a correção da implementação. Quando se consideram sistemas complexos a necessidade de utilização de métodos formais para o seu desenvolvimento se torna ainda maior, já que a garantia de correção do mesmo apenas através de testes se torna menos provável. No caso de aplicações móveis executando em sistemas abertos, a situação é ainda mais complicada, devido à presença de um fator adicional que pode influenciar na correção de um programa, a mobilidade de processos. Portanto, métodos formais para desenvolver e avaliar o desempenho de software (em particular, aplicações móveis) para sistemas abertos são fundamentais. Além disso, a existência de um modelo formal descrevendo o sistema torna as dependências entre módulos explícitas e claras. O objetivo deste projeto é melhorar a qualidade de software, em especial aplicações móveis e algoritmos/protocolos distribuídos, para ambientes abertos através do uso de métodos formais. Em particular, neste projeto diferentes métodos formais para especificação de sistemas móveis serão comparados (por exemplo, o cálculo pi, o cálculo de ambientes e gramática de grafos) e um método (ou grupo de métodos) será construído que possa ser utilizado de maneira efetiva na descrição de sistemas móveis. Baseando-se no(s) método(s) escolhido(s), serão definidas maneiras de realizar verificação, análise, simulação e geração de código e posteriormente gerar ferramentas para serem utilizadas em um ambiente integrado de desenvolvimento de software móvel para ambientes abertos. Neste trabalho pretende-se também abordar a análise de complexidade de tais aplicações de forma sistemática, possivelmente utilizando-se ferramentas de apoio. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Especialização: (2) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Frederico Jorge Ribeiro Barboza - Integrante / Aline Maria Santos Andrade - Integrante / Flávio Morais de Assis Silva - Coordenador / Rafael Angelo R. Oliveira - Integrante / Raimundo José de Araújo Macêdo - Integrante / Daniel Aguiar - Integrante / Felipe Moraes - Integrante., Financiador(es): Pontifícia Universidade Católica do Rio Grande do Sul - Cooperação / Centro Di Studio Sui Processi Eletrodici - Cooperação / Universitá di Pisa - Cooperação / Universidade Federal do Rio Grande do Sul - Cooperação., Número de produções C, T & A: 3
Histórico profissional
Endereço profissional
-
Tribunal Regional Eleitoral da Bahia, Secretaria de Tecnologia da Informação, Coordenadoria de Soluções Corporativas. , 1ª Avenida do CAB, 150, Centro Administrativo da Bahia, 41745901 - Salvador, BA - Brasil, Telefone: (71) 33737137, Ramal: 71, Fax: (71) 33737139, URL da Homepage:
Experiência profissional
2012 - Atual
Instituto Federal da BahiaVínculo: Servidor Público, Enquadramento Funcional: Professor Ens. Básico, Técnico e Tecnológico, Carga horária: 20
Atividades
-
08/2012
Ensino, Análise e Desenvolvimento de Sistemas, Nível: Graduação,Disciplinas ministradas, Introdução à Lógica de Programação (Programação), Programação Orientada à Objetos (Programação)
2007 - Atual
Tribunal Regional Eleitoral da BahiaVínculo: Servidor Público, Enquadramento Funcional: Analista Judiciário, Carga horária: 40
1996 - 2007
Tribunal Regional Eleitoral da BahiaVínculo: Servidor Público, Enquadramento Funcional: Técnico Judiciário, Carga horária: 40
Atividades
-
09/1996
Serviços técnicos especializados , Secretaria de Informática, Coordenadoria de Produção e Suporte.,Serviço realizado, Desenvolvimento de Sistemas Computacionais.
-
08/2002 - 12/2004
Direção e administração, Secretaria de Informática, Coordenadoria de Produção e Suporte.,Cargo ou função, Chefe da Seção de Desenvolvimento de Sistemas.
2007 - Atual
Universidade Federal da BahiaVínculo: Membro de Grupo de Pesquisa, Enquadramento Funcional: Membro Estudante
2007 - 2011
Universidade Federal da BahiaVínculo: Colaborador, Enquadramento Funcional: Professor Colaborador, Carga horária: 4
2001 - 2003
Universidade Federal da BahiaVínculo: Membro de Grupo de Pesquisa, Enquadramento Funcional: Membro Estudante
Outras informações:
Colaborador em projetos de pesquisa do Laboratório de Sistemas Distribuídos (LaSiD/DCC/UFBa)
1996 - 1997
Universidade Federal da BahiaVínculo: Membro de Grupo de Pesquisa, Enquadramento Funcional: Membro Estudante, Carga horária: 20
Atividades
-
03/2007 - 12/2011
Ensino, Sistemas Distribuídos, Nível: Pós-Graduação,Disciplinas ministradas, Engenharia de Software Distribuído, Orientação a Objetos
2009 - 2013
Universidade Católica do SalvadorVínculo: Celetista formal, Enquadramento Funcional: Professor, Carga horária: 6
Atividades
-
11/2009
Ensino, Informática, Nível: Graduação,Disciplinas ministradas, Sistemas Operacionais (Sistemas Operacionais), Inteligência Artificial (Inteligência Artificial), Tópicos em Informática III (Sistemas Distribuídos)
2010 - 2010
Centro Universitário Jorge AmadoVínculo: Prestador de Serviço, Enquadramento Funcional: Professor Horista, Carga horária: 24
Atividades
-
09/2010 - 09/2010
Ensino, Gestão da Tecnologia da Informação, Nível: Aperfeiçoamento,Disciplinas ministradas, Qualidade no Processo de Desenvolvimento de Software CMMI/MPS.BR
-
07/2010 - 08/2010
Ensino, Arquitetura de Software e Convergência de Mídias, Nível: Especialização,Disciplinas ministradas, Segurança no Desenvolvimento de Software
2009 - 2010
Centro de Tecnologia Industrial Pedro Ribeiro - Unidade SENAI CETINDVínculo: Prestador de Serviço, Enquadramento Funcional: Professor Horista, Carga horária: 20
Atividades
-
03/2009 - 02/2010
Ensino, Curso Técnico em Desenvolvimento de Software, Nível: Aperfeiçoamento,Disciplinas ministradas, Interpretação de Projetos de Software, Programação Orientada a Objetos
2012 - 2013
União Metropolitana de Educação e CulturaVínculo: Celetista, Enquadramento Funcional: Professor titular, Carga horária: 8
2001 - 2008
União Metropolitana de Educação e CulturaVínculo: Celetista, Enquadramento Funcional: Professor, Carga horária: 4
Atividades
-
04/2012 - 12/2013
Ensino, Bacharelado em Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Programação (Algoritmos e Lógica de Programação), Inteligência Artificial (Introdução à Inteligência Artificial), Engenharia de Software (Engenharia de Software)
-
07/2001 - 06/2003
Ensino, Bacharelado em Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Intordução à Lógica de Programação (Programação), Técnicas e Linguagens de Programação (Programação)
2001 - 2008
Faculdades Ruy BarbosaVínculo: , Enquadramento Funcional: Professor, Carga horária: 20
Atividades
-
08/2006 - 12/2008
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Linguagem Técnica III (Programação)
-
05/2000 - 12/2008
Ensino, Bacharelado em Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Trabalho de Diplomação II (Metodologia da Pesquisa em Informática), Desenvolvimento de Sistemas (Engenharia de Software), Introdução à Programação (Programação), Técnicas de Programação III (Programação), Técnicas de Programação (Programação)
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Frederico Jorge Ribeiro Barboza e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?