david boris paul deharbe

DIM - DEPARTAMENTO DE INFORMÁTICA E MATEMÁTICA APLICADA

Projetos de Pesquisa

Projeto de Pesquisa Área de Conhecimento
2014
PVB11621-2014 Fomento à formação de recursos humanos em Geologia, Geofísica e Informática no Setor de Petróleo e Gás por meio da continuidade do apoio ao PRH 22. Sedimentologia
2013
PVB10288-2013 Fomento à formação de recursos humanos em Geologia, Geofísica e Informática no Setor de Petróleo e Gás por meio da continuidade do apoio ao PRH 22. Astronomia Dinâmica
PIB11232-2013 Uma estrutura lógica para sistemas concorrentes epistêmicos, temporais e espaciais Lógicas e Semântica de Programas
2012
PVB7070-2012 Sistemas computacionais confiáveis: desenvolvimento e verificação Engenharia de Software
PVB8090-2012 Fomento à formação de recursos humanos em Geologia, Geofísica e Informática no Setor de Petróleo e Gás por meio do apoio ao PRH 22. Prospecção Mineral
2011
PVB7070-2011 Sistemas computacionais confiáveis: desenvolvimento e verificação Engenharia de Software
PVB7676-2011 Desenvolvimento de Metodologias, Técnicas e Ferramentas para Linhas de Produto de Software Engenharia de Software
2010
PVB4406-2010 Desenvolvimento de um Ecossistema Web para Estimular a Formação em Computação Arquitetura de Sistemas de Computação
PVB5419-2010 SMT-SAVeS: Verificação automática de software por resolução módulo teorias Engenharia de Software
2009
PVB1192-2009 Uma abordagem formal para o projeto e implementação de componentes de software para sistemas embarcados Astrofísica Extragaláctica
PVB3850-2009 Instituo Nacional de Engenharia de Software Engenharia de Software
PVB4311-2009 Fortalecimento do PPgSC/UFRN através de Projetos para Desenvolvimento de Tecnologias em Software e Hardware para Sistemas Embarcados (Edital Casadinho - MCT/CNPq/CT-Infra/CT-Petro/Ação Transversal IV No. 16/2008 ) Engenharia de Software
2008
PVB352-2008 Um formato de representação e comunicação de informações baseado em grafos (AGRAPHS) Metodologia e Técnicas da Computação
PVB767-2008 Engineering of Smart Card Applications Metodologia e Técnicas da Computação
PVB1192-2008 Uma abordagem formal para o projeto e implementação de componentes de software para sistemas embarcados Astrofísica Extragaláctica
PVB2152-2008 Combinando Tecnicas de Metodos Formais e Teste na Construcao de Sistemas Embarcados de Tempo Real Metodologia e Técnicas da Computação
2007
PVB352-2007 Um formato de representação e comunicação de informações baseado em grafos (AGRAPHS) Metodologia e Técnicas da Computação
PVB708-2007 Prova automática de teoremas em lógica da primeira ordem e suas aplicações Metodologia e Técnicas da Computação
PVB767-2007 Engineering of Smart Card Applications Metodologia e Técnicas da Computação
PVB1192-2007 Uma abordagem formal para o projeto e implementação de componentes de software para sistemas embarcados Astrofísica Extragaláctica
PVB1504-2007 Satélite ITASAT: Desenvolvimento de aplicativos e sistemas Astrofísica Extragaláctica
PVB1597-2007 Missão Espacial CoRoT: Acordo de Cooperação Brasil-Chile Processamento de Dados Astronômicos
PIB1905-2007 Programa de Formação em Geologia, Geofísica e Informática no Setor Petróleo e Gás na UFRN - PRH-ANP 22 Geociências
2006
PVB352-2006 Um formato de representação e comunicação de informações baseado em grafos (AGRAPHS) Metodologia e Técnicas da Computação
PVB708-2006 Prova automática de teoremas em lógica da primeira ordem e suas aplicações Metodologia e Técnicas da Computação
2005
PVB126-2005 Ferramentas para o desenvolvimento rigoroso de sistemas computacionais seguros e confiaveis Administração de Empresas
PIB688-2005 Programa de Formação em Geologia, Geofísica e Informática no Setor Petróleo e Gás na UFRN - PRH-ANP 22 Geologia
PVB708-2005 Prova automática de teoremas em lógica da primeira ordem e suas aplicações Metodologia e Técnicas da Computação
PVB767-2005 Engineering of Smart Card Applications Metodologia e Técnicas da Computação
2004
PVB436-2004 Apoio Formal à Especificação e Re-Utilização de Software - FERUS Metodologia e Técnicas da Computação
PIB688-2004 Programa de Formação em Geologia, Geofísica e Informática no Setor Petróleo e Gás na UFRN - PRH-ANP 22 Geologia
PVB708-2004 Prova automática de teoremas em lógica da primeira ordem e suas aplicações Metodologia e Técnicas da Computação
2003
PVB436-2003 Apoio Formal à Especificação e Re-Utilização de Software - FERUS Metodologia e Técnicas da Computação
PIB688-2003 Programa de Formação em Geologia, Geofísica e Informática no Setor Petróleo e Gás na UFRN - PRH-ANP 22 Geologia
PVB708-2003 Prova automática de teoremas em lógica da primeira ordem e suas aplicações Metodologia e Técnicas da Computação
2002
PVB113-2002 Verificação simbólica de modelos: fundamentos e aplicações Metodologia e Técnicas da Computação
PVB436-2002 Apoio Formal à Especificação e Re-Utilização de Software - FERUS Metodologia e Técnicas da Computação
PIB688-2002 Programa de Formação em Geologia, Geofísica e Informática no Setor Petróleo e Gás na UFRN - PRH-ANP 22 Geologia
PVB949-2002 SEDI: SELEÇÃO DINÂMICA DE OBJETOS DISTRIBUÍDOS Sistemas de Computação
2001
PVB113-2001 Verificação simbólica de modelos: fundamentos e aplicações Metodologia e Técnicas da Computação
PVB436-2001 Apoio Formal à Especificação e Re-Utilização de Software - FERUS Metodologia e Técnicas da Computação
PIB688-2001 Programa de Formação em Geologia, Geofísica e Informática no Setor Petróleo e Gás na UFRN - PRH-ANP 22 Geologia
PVB949-2001 SEDI: SELEÇÃO DINÂMICA DE OBJETOS DISTRIBUÍDOS Sistemas de Computação
2000
PVB214-2000 Métodos formais em concepção de sistemas digitais Metodologia e Técnicas da Computação

SIGAA | Superintendência de Informática - (84) 3215-3148 | Copyright © 2006-2019 - UFRN - sigaa14-producao.info.ufrn.br.sigaa14-producao v3.44.12_3