Carlos Henrique Cabral Duarte

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


Carlos Henrique Cabral Duarte possui mais de 25 anos de experiência profissional em engenharia, finanças e gestão, ensino e pesquisa, inteiramente dedicada à teoria e prática de tecnologias da informação e de software. É membro do corpo técnico do Banco Nacional de Desenvolvimento Econômico e Social (BNDES, 1992-), onde é analista de financiamentos á exportação de máquinas, equipamentos, componentes e sistemas credenciados (2012-). Anteriormente, foi gerente de operações (2002-12), encarregado do apoio financeiro a mais de 50 empresas de Tecnologias da Informação e Comunicação (ICT), duas das quais estão atualmente listadas na Bovespa. Foi representante titular do BNDES no Comitê Assessor de Tecnologias da Informação do Ministério da Ciência, Tecnologia e Inovação (CATI/MCTI) e suplente no Conselho de Administração da Sociedade Softex (2003-12). Em 2007, sua biografia foi publicada em Marquis Who is Who in the World devido às suas contribuições à indústria brasileira de software. Carlos Henrique também possui uma carreira acadêmica. Trabalhou como professor em instituições brasileiras de ensino superior (1999-2009) e foi pesquisador com bolsa de produtividade em pesquisa do CNPq (2C, 2001-3). Tem escrito, revisado e editado vários artigos para revistas e conferências científicas. Carlos possui os graus de PhD (Imperial College, London, 1999), MSc (PUC-Rio, 1994) e BMath (UFJF, 1992) em Computação. É Membro Sênior do IEEE e Distinguished Visitor da IEEE Computer Society. (Texto informado pelo autor)


Identificação


Nome
Carlos Henrique Cabral Duarte
Nome em citações bibliográficas
DUARTE, CARLOS HENRIQUE C.;Carlos Henrique Cabral Duarte;Carlos Henrique C. Duarte;Duarte, Carlos Henrique C.;Duarte, Carlos H. C.;Carlos H. C. Duarte

Endereço


Endereço Profissional
Banco Nacional de Desenvolvimento Econômico e Social, Área de Planejamento Estratégico, Departamento de Credenciamento e Conteúdo Local.
Av. República do Chile 100
Centro
20001970 - Rio de Janeiro, RJ - Brasil
Telefone: (21) 37478143
URL da Homepage: http://www.bndes.gov.br


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


1994 - 1998
Doutorado em Ciência da Computação.
University of London, UL, Inglaterra.
Título: Proof-theoretic foundations for the design of extensible software systems, Ano de obtenção: 1999.
Orientador: Thomas Stephen Edward Maibaum.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Desenvolvimento de Software; Lógica Temporal; Sistemas Extensíveis; Orientação a Objetos; Modelo Actors; Disciplina Rely-guarantee.
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: Engenharia de Software.
Setores de atividade: Informática.
1992 - 1994
Mestrado em Informática.
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Título: O desenvolvimento de um compilador Miranda usando um método orientado a objetos,Ano de Obtenção: 1994.
Orientador: Roberto Ierusalimschy.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Miranda; Linguagens Funcionais; Orientação a Objetos; Desenvolvimento de Software.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software.
Setores de atividade: Informática.
1988 - 1992
Graduação em Curso de Matemática - Bacharelado Em Informática.
Universidade Federal de Juiz de Fora, UFJF, Brasil.
Título: Um método para desenvolvimento de sistemas interativos.
Orientador: Michel Helluey Fortuna.




Formação Complementar


2017 - 2017
Prevenção à Lavagem de Dinheiro e Combate ao Financiamento ao Terrorismo. (Carga horária: 4h).
Banco Nacional de Desenvolvimento Econômico e Social, BNDES, Brasil.
2016 - 2016
WI Básico. (Carga horária: 12h).
Banco Nacional de Desenvolvimento Econômico e Social, BNDES, Brasil.
2012 - 2012
Extensão universitária em Curso Teórico de Inovação. (Carga horária: 60h).
Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
2012 - 2012
Operações Indiretas. (Carga horária: 20h).
Banco Nacional de Desenvolvimento Econômico e Social, BNDES, Brasil.
2011 - 2011
Processos de Fusões e Aquisições. (Carga horária: 12h).
International Business Communications, IBC, Brasil.
2011 - 2011
Capacitação em Inovação. (Carga horária: 32h).
Banco Nacional de Desenvolvimento Econômico e Social, BNDES, Brasil.
2010 - 2010
A Arte da Negociação. (Carga horária: 16h).
Instituto Superior da Empresa, ISE, Brasil.
2010 - 2010
Gestão de Projetos para Líderes de Projetos. (Carga horária: 24h).
Banco Nacional de Desenvolvimento Econômico e Social, BNDES, Brasil.
2010 - 2010
Tempo para Viajantes. (Carga horária: 14h).
Casa do Saber - Rio de Janeiro, CASASABER-RIO, Brasil.
1993 - 1993
Adabas Natural 2 Fundamentos. (Carga horária: 40h).
Banco Nacional de Desenvolvimento Econômico e Social, BNDES, Brasil.
1991 - 1991
Extensão universitária em Números Hipercomplexos e Geometria. (Carga horária: 40h).
Universidade Federal de Juiz de Fora, UFJF, Brasil.
1991 - 1991
Extensão universitária em Introdução à Topologia. (Carga horária: 40h).
Universidade Federal de Juiz de Fora, UFJF, Brasil.
1990 - 1990
VII Escola de Computação. (Carga horária: 54h).
Universidade de São Paulo, USP, Brasil.
1989 - 1989
Noções de Computação II. (Carga horária: 75h).
Universidade de São Paulo, USP, Brasil.
1989 - 1989
Resolução Algébrica de Problemas Geométricos. (Carga horária: 75h).
Universidade de São Paulo, USP, Brasil.
1988 - 1988
Extensão universitária em Construção de Algoritmos Estruturados. (Carga horária: 60h).
Universidade Federal de Juiz de Fora, UFJF, Brasil.
1988 - 1988
Linguagem Pascal. (Carga horária: 16h).
Universidade Federal de Juiz de Fora, UFJF, Brasil.


Atuação Profissional



Banco Nacional de Desenvolvimento Econômico e Social, BNDES, Brasil.
Vínculo institucional

1998 - Atual
Vínculo: Celetista, Enquadramento Funcional: Analista de Sistemas, Carga horária: 35
Outras informações
Após retornar ao BNDES em 1998 do meu período em licença, trabalhei inicialmente como membro do corpo técnico (1998-2001) e depois como gerente operacional (2002-2012). Minhas funções eram visitar empresas de Tecnologias da Informação e Comunicação, incentivar a produção de planos de negócio, avaliar tecnicamente a viabilidade de tais planos para, quando apropriado, recomendar que esses planos fossem financiados pelo banco, nesse caso acompanhando posteriormente sua execução. O principal resultado dessas atividades foi a formulação e implementação, em conjunto com outros colegas, de novos instrumentos de financiamento para apoiar a indústria de software brasileira. Como resultado direto de minhas atividades, mais de 50 empresas obtiveram apoio financeiro, a maioria através de crédito, mas algumas também usando instumentos de capital de risco. Neste período, estive à frente do apoio ao crescimento de duas até então médias empresas de software de gestão empresarial que hoje estão listadas na Bovespa (consequentemente tendo participado do planejamento e estruturação de ambas aberturas de capital). Outro resultado foi o desenvolvimento do mesmo tipo de instrumento para apoio a instituições de P&D em TICs. Mais recentemente, realizei atividades de credenciamento de máquinas, equipamentos, componentes e sistemas industriais e atualmente sou analista de financiamentos a exportações de produtos credenciados. Como analista de credenciamento, era responsável pela verificação do atendimento dos requisitos para que tais produtos possam ter suas vendas financiadas pelo BNDES. Nesta função, atendi a pedidos de credenciamento de mais de 700 firmas.

Vínculo institucional

1992 - 1994
Vínculo: Celetista, Enquadramento Funcional: Analista de Sistemas, Carga horária: 35
Outras informações
De Janeiro de 1993 até Agosto de 1994, trabalhei mantendo e desenvolvendo novas funcionalidades para o sistema de operações de crédito do BNDES e também desenvolvendo um novo sistema de acompanhamento de projetos por membros do corpo técnico. Nestas atividades, um IBM 9021 foi utilizado. Os componentes de software foram implementados usando a linguagem NATURAL 2, de forma que bancos de dados gerenciados pelo sistema ADABAS pudessem ser consultados. Subsequentemente, estive envolvido no treinamento dos usuários iniciais do segundo sistema. Também iniciei o downsizing de partes deste sistema para um ambiente operacional consistindo em redes locais Novel/Netware e software desenvolvido usando-se Fox Pro. Esta nova arquitetura para o sistema levava em consideração a adoção pelo BNDES de uma plataforma ODBC. Nessas atividades, contribui recorrentemente para a padronização das atividades de desenvolvimento de software do banco, particularmente com relação a interfaces com o usuário e sistemas de bancos de dados. Colocamos em prática nossos padrões tantas vezes que terminamos definindo uma nova abordagem para desenvolvimento de software baseada na prototipagem rápida e reuso de software. Ambos foram usados por mais de uma década na instituição. * Devido ao meu pedido para realização de doutorado no exterior, o respectivo contrato de trabalho esteve suspenso entre 15/09/1994 e 14/09/1994.

Atividades

10/2018 - Atual
Serviços técnicos especializados , Área de Comércio Exterior, .

Serviço realizado
Análise de Financiamento a Exportações de Bens de Capital e Bens de Consumo.
09/1998 - Atual
Pesquisa e desenvolvimento , Diversas Áreas, .

04/2012 - 10/2018
Serviços técnicos especializados , Área de Planejamento Estratégico, Departamento de Credenciamento e Conteúdo Local.

Serviço realizado
Credenciamento de Máquinas, Equipamentos, Sistemas e Componentes.
8/2003 - 6/2012
Conselhos, Comissões e Consultoria, Área Industrial, Departamento de Tecnologia da Informação e Comunicação.

Cargo ou função
Suplente do representante do BNDES no Conselho de Administração da Sociedade SOFTEX.
5/2004 - 5/2012
Conselhos, Comissões e Consultoria, Área Industrial, Departamento de Tecnologia da Informação e Comunicação.

Cargo ou função
Representante do BNDES no Comitê da Área de Tecnologia da Informação (CATI).
2/2004 - 5/2012
Conselhos, Comissões e Consultoria, Área Industrial, Departamento de Tecnologia da Informação e Comunicação.

Cargo ou função
Membro da Comissão Permanente para elaboração de plano de atração de investimentos em circuitos integrados.
3/2003 - 4/2012
Direção e administração, Área Industrial, Departamento de Tecnologia da Informação e Comunicação.

Cargo ou função
Gerente.
3/2003 - 4/2012
Serviços técnicos especializados , Área Industrial, Departamento de Tecnologia da Informação e Comunicação.

Serviço realizado
Fomento, Análise e Acompanhamento de Operações da Apoio Financeiro.
02/2009 - 02/2009
Treinamentos ministrados , Área Industrial, Departamento da Indústria Eletrônica.

Treinamentos ministrados
Treinamento de funcionários sobre Casos de Investimento na Totvs S/A
7/2002 - 3/2004
Conselhos, Comissões e Consultoria, Área Industrial, Departamento da Indústria Eletrônica.

Cargo ou função
Suplente do representante do BNDES no Comitê da Área de Tecnologia da Informação (CATI).
3/2002 - 2/2003
Direção e administração, Área de Infraestrutura,Teleconunicações e Logística, Gerência Executiva do Complexo Eletrônico.

Cargo ou função
Gerente de Contas.
3/2002 - 2/2003
Serviços técnicos especializados , Área de Infraestrutura,Teleconunicações e Logística, Gerência Executiva do Complexo Eletrônico.

Serviço realizado
Fomento, Enquadramento e Acompanhamento de Operações de Apoio Financeiro.
4/2001 - 10/2001
Serviços técnicos especializados , Área de Operações 1, Gerência de Estudos Setoriais do Complexo Eletrônico.

Serviço realizado
Desenvolvimento de estudos e pesquisas sobre o Complexo Eletrônico.
9/1998 - 10/2001
Serviços técnicos especializados , Área de Operações 1, Gerência de Operações de Software.

Serviço realizado
Fomento, Análise e Acompanhamento de Operações de Apoio Financeiro.
12/1992 - 9/1994
Pesquisa e desenvolvimento , Área de Administração, Departamento de Sistemas.

6/1994 - 7/1994
Treinamentos ministrados , Área de Administração, Departamento de Sistemas.

Treinamentos ministrados
Utilização do Sistema de Acompanhamento de Projetos

Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Vínculo institucional

2001 - 2003
Vínculo: Bolsa produtividade pesquisa, Enquadramento Funcional: Pesquisador 2C, Carga horária: 10
Outras informações
Projeto compreendendo o refinamento de fundamentos lógico-categóricos para desenvolvimento de sistemas distribuídos de software, propostos originalmente pelo pesquisador durante seu trabalho de doutorado, bem como o desenvolvimento de modelos, propriedades, ferramentas e exemplos de sistemas distribuídos abertos.


Universidade Estácio de Sá, UNESA, Brasil.
Vínculo institucional

2001 - 2009
Vínculo: , Enquadramento Funcional: Professor, Carga horária: 12

Atividades

8/2001 - 6/2009
Pesquisa e desenvolvimento , Diretoria de Informática, .

08/2001 - 6/2008
Ensino, Bacharelado Em Informática, Nível: Graduação

Disciplinas ministradas
Aspectos de Linguagens de Programação (INF0412)
Programação II (INF0381)
Tópicos Especiais II - Sistemas Distribuídos (INF0417)
11/2002 - 1/2005
Conselhos, Comissões e Consultoria, Diretoria de Informática, .

Cargo ou função
Líder do núcleo de disciplinas de Programação.
8/2003 - 12/2003
Ensino, Informática, Nível: Aperfeiçoamento

Disciplinas ministradas
Introdução à Linguagem Haskell

Empresa Brasileira de Pesquisa Agropecuária, EMBRAPA, Brasil.
Vínculo institucional

1989 - 1992
Vínculo: , Enquadramento Funcional: Programador de Computadores, Carga horária: 40
Outras informações
O SMQ se dedica a coletar, processar e analisar dados zootécnicos para pesquisa, obtidos de cooperativas de gado de leite e associações de criadores. Lá, minhas atividades estavam relacionadas ao desenvolvimento de um sistema de software a ser instalado em todo o país para coletar dados e distribuir resultados de análises estatísticas centralizadas relativas ao melhoramento genético em gado de leite. Naquela época, o Brasil não possuía uma rede nacional de computadores, o que nos levou a projetar a troca de dados no sistema por disquetes enviados pelo correio. As aplicações cliente deveriam funcionar em PCs e foram implementadas usando a linguagem Pascal. Um equipamento com sistema operacional UNIX deveria concentrar os dados e realizar análises estatísticas usando programas escritos em C e FORTRAN 77. Participei da análise dos requisitos, especificação e implementação de todo o sistema. Durante o desenvolvimento do sistema acima, estive supervisionando as atividades de um estagiário. Adicionalmente, ajudei na organização de um encontro nacional com representantes das associações de criadores para padronização dos dados no sistema de informações, já que vários sistemas automatizados distintos funcionavam em diversas partes do país. Como atividades eventuais, treinei usuários e participei na padronização, configuração e instalação de equipamentos e software. Também estive presente no encontro com um representante do Banco Interamericano de Desenvolvimento (BID) para discutir e analisar o Sistema Nacional de Informações para Pesquisa Agropecuária. A EMBRAPA procurava obter financiamento externo para suportar o desenvolvimento desse sistema. * Este contrato de trabalho esteve suspenso entre 03/1992 e 12/1992, período em que iniciei meus estudos em nível de mestrado.

Atividades

12/1989 - 12/1992
Pesquisa e desenvolvimento , Centro Nacional de Pesquisa de Gado de Leite, Setor de Métodos Quantitativos.
6/1990 - 6/1990
Treinamentos ministrados , Centro Nacional de Pesquisa de Gado de Leite, Setor de Métodos Quantitativos.

Treinamentos ministrados
Utilização de Microcomputadores

Universidade Federal de Juiz de Fora, UFJF, Brasil.
Vínculo institucional

1999 - 1999
Vínculo: Outro, Enquadramento Funcional: Professor Substituto, Carga horária: 8
Outras informações
No curso entre Julho e Agosto de 1999, houveram 26 alunos de graduação matriculados.

Vínculo institucional

1988 - 1988
Vínculo: Outro, Enquadramento Funcional: Estagiário, Carga horária: 12
Outras informações
Responsável pelo estágio: Guilherme Horta Travassos (COPPE/Sistemas).

Atividades

7/1999 - 8/1999
Ensino, Bacharelado Em Informática, Nível: Graduação

Disciplinas ministradas
Teoria dos Compiladores (DCC045)
1/1990 - 3/1991
Outras atividades técnico-científicas , Departamento de Matemática, Departamento de Matemática.

Atividade realizada
Presidente Eleito do Centro Acadêmico do Curso de Matemática.
5/1988 - 11/1988
Estágios , Centro de Processamento de Dados, Centro de Informações.

Estágio realizado
Programador de Computadores.

Instituto Militar de Engenharia, IME, Brasil.
Vínculo institucional

1999 - 1999
Vínculo: Outro, Enquadramento Funcional: Professor, Carga horária: 8
Outras informações
No curso entre Setembro e Dezembro de 1999, houveram 8 alunos de mestrado matriculados.

Atividades

9/1999 - 12/1999
Ensino, Engenharia de Sistemas e Computação, Nível: Pós-Graduação

Disciplinas ministradas
Tópicos Avançados em Sistemas Distribuídos

University of London, UL, Inglaterra.
Vínculo institucional

1996 - 1998
Vínculo: Outro, Enquadramento Funcional: Assistente de Ensino, Carga horária: 4

Atividades

6/1996 - 3/1998
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Diversas
6/1996 - 3/1998
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Diversas

Hewett Packard, HP, Inglaterra.
Vínculo institucional

1995 - 1995
Vínculo: Outro, Enquadramento Funcional: Pesquisador Visitante, Carga horária: 35



Linhas de pesquisa


1.
Desenvolvimento de Software Corporativo
2.
Política Setorial de Informática
3.
Sistemas Distribuídos
4.
Engenharia de Software
5.
Lógica e Semântica de Programas
6.
Linguagens de Programação
7.
Teoria da Computação


Projetos de pesquisa


2001 - 2003
Métodos, Técnicas e Ferramentas para Desenvolvimento Rigoroso de Sistemas Distribuídos Abertos
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Carlos Henrique Cabral Duarte - Coordenador.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
Número de produções C, T & A: 2


Revisor de projeto de fomento


2014 - 2014
Agência de fomento: Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
2012 - 2012
Agência de fomento: Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
2012 - 2012
Agência de fomento: Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
2011 - 2011
Agência de fomento: Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
2011 - 2011
Agência de fomento: Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
2010 - 2010
Agência de fomento: Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
2009 - 2009
Agência de fomento: Fundação Araucária de Apoio ao Desenvolvimento Científico e Tecnológico
2009 - 2009
Agência de fomento: Fundação Araucária de Apoio ao Desenvolvimento Científico e Tecnológico
2004 - 2004
Agência de fomento: Fundação Araucária de Apoio ao Desenvolvimento Científico e Tecnológico
2002 - 2002
Agência de fomento: Fundação Araucária de Apoio ao Desenvolvimento Científico e Tecnológico
2002 - 2002
Agência de fomento: Fundação Araucária de Apoio ao Desenvolvimento Científico e Tecnológico
2002 - 2002
Agência de fomento: Fundação Araucária de Apoio ao Desenvolvimento Científico e Tecnológico
2003 - 2003
Agência de fomento: Conselho Nacional de Desenvolvimento Científico e Tecnológico
2003 - 2003
Agência de fomento: Conselho Nacional de Desenvolvimento Científico e Tecnológico
2003 - 2003
Agência de fomento: Conselho Nacional de Desenvolvimento Científico e Tecnológico
2002 - 2002
Agência de fomento: Conselho Nacional de Desenvolvimento Científico e Tecnológico
2001 - 2001
Agência de fomento: Conselho Nacional de Desenvolvimento Científico e Tecnológico
1999 - 1999
Agência de fomento: Conselho Nacional de Desenvolvimento Científico e Tecnológico
2001 - 2001
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: Engenharia de Software.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Política Setorial de Informática.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas Distribuídos.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Linguagens de Programação.
5.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Lógicas e Semântica de Programas.
6.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Computabilidade e Modelos de Computação.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Francês
Compreende Pouco, Fala Pouco, Lê Razoavelmente.
Espanhol
Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente.
Alemão
Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco.


Prêmios e títulos


2018
IEEE Computer Society Distinguished Visitor, IEEE.
2018
Keynote da Conferência Tekhne 2018, Instituto Tecnológico de Morélia, México.
2017
Keynote do 16o Simpósio Brasileiro de Qualidade de Software (SBQS 2017), SBC.
2012
IEEE Senior Member, IEEE.
2007
Publicação de biografia devido a contribuições à indústria brasileira de software, Marquis Who's Who in the World.
1999
Indicação da tese de doutorado para o Distinguished Dissertation Award de 1998 da British Computing Society, Department of Computing, Imperial College.
1992
Aprovação em concurso público para o cargo de Analista de Sistemas em 10o lugar, BNDES.
1989
Aprovação em concurso público para o cargo de Programador de Computadores em 3o lugar, EMPBRAPA/CNPGL.


Produções



Produção bibliográfica
Citações

Web of Science
Total de trabalhos:18
Total de citações:5
Fator H:2
Duarte, Carlos Henrique C  Data: 13/09/2017

SCOPUS
Total de trabalhos:17
Total de citações:27
Carlos H. C. Duarte; Carlos Henrique C. Duarte; C. H. C. Duarte  Data: 01/09/2017

Artigos completos publicados em periódicos

1.
EBERT, CHRISTOF2018EBERT, CHRISTOF ; Carlos Henrique C. Duarte . Digital Transformation. IEEE SOFTWARE, v. 35, p. 16-21, 2018.

2.
FRANCH, XAVIER2018FRANCH, XAVIER ; MADHAVJI, NAZIM H. ; Duarte, Carlos Henrique C. . Special Section on Conducting Empirical Studies in Industry. INFORMATION AND SOFTWARE TECHNOLOGY, v. 98, p. 146-147, 2018.

3.
Duarte, Carlos Henrique C.2017 Duarte, Carlos Henrique C.. Productivity paradoxes revisited. EMPIRICAL SOFTWARE ENGINEERING, v. 22, p. 818-847, 2017.

4.
Duarte, Carlos Henrique C.2017Duarte, Carlos Henrique C.; JEDLITSCHKA, ANDREAS ; BENER, AYSE . 4th International Workshop on Conducting Empirical Studies in Industry (CESI 2016). SOFTWARE ENGINEERING NOTES, v. 42, p. 15-18, 2017.

5.
Carlos Henrique C. Duarte2016Carlos Henrique C. Duarte. Comunicação - 24th IEEE International Requirements Engineering Conference (RE 2016). Revista do BNDES, v. 46, p. 313-323, 2016.

6.
Carlos Henrique C. Duarte2015Carlos Henrique C. Duarte; FRANCH, X. ; MADHAVJI, N. . 3rd International Workshop on Conducting Empirical Studies in Industry (CESI 2015). Software Engineering Notes, v. 40, p. 26-29, 2015.

7.
DUARTE, CARLOS HENRIQUE C.;Carlos Henrique Cabral Duarte;Carlos Henrique C. Duarte;Duarte, Carlos Henrique C.;Duarte, Carlos H. C.;Carlos H. C. Duarte2012DUARTE, CARLOS HENRIQUE C.. Uma Década de Apoio ao Setor de Tecnologias da Informação e Comunicação: Eventos Importantes e o Papel do BNDES. REVISTA DO BNDES, v. 37, p. 92-126, 2012.

8.
DUARTE, CARLOS HENRIQUE C.;Carlos Henrique Cabral Duarte;Carlos Henrique C. Duarte;Duarte, Carlos Henrique C.;Duarte, Carlos H. C.;Carlos H. C. Duarte2002 DUARTE, CARLOS HENRIQUE C.. Brazil: cooperative development of a software industry. IEEE SOFTWARE, v. 19, n.3, p. 84-87, 2002.

9.
DUARTE, CARLOS HENRIQUE C.;Carlos Henrique Cabral Duarte;Carlos Henrique C. Duarte;Duarte, Carlos Henrique C.;Duarte, Carlos H. C.;Carlos H. C. Duarte2002 DUARTE, CARLOS HENRIQUE C.; MAIBAUM, TOM . A Branching Time Logical System for Open Distributed Systems Development. Electronic Notes in Theoretical Computer Science, New York, v. 67, p. 184-203, 2002.

10.
DUARTE, CARLOS HENRIQUE C.;Carlos Henrique Cabral Duarte;Carlos Henrique C. Duarte;Duarte, Carlos Henrique C.;Duarte, Carlos H. C.;Carlos H. C. Duarte2001DUARTE, CARLOS HENRIQUE C.; BRANCO, C. E. C. . Impactos Econômicos e Sociais da Política Setorial Brasileira para Tecnologias da Informação. REVISTA DO BNDES, Rio de Janeiro, v. 15, n.15, p. 125-145, 2001.

11.
DUARTE, CARLOS HENRIQUE C.;Carlos Henrique Cabral Duarte;Carlos Henrique C. Duarte;Duarte, Carlos Henrique C.;Duarte, Carlos H. C.;Carlos H. C. Duarte2000 DUARTE, CARLOS HENRIQUE C.; MAIBAUM, TOM . A rely-guarantee discipline for open distributed systems design. Information Processing Letters (Print), Amsterdan, v. 74, n.1-2, p. 55-63, 2000.

12.
DUARTE, CARLOS HENRIQUE C.;Carlos Henrique Cabral Duarte;Carlos Henrique C. Duarte;Duarte, Carlos Henrique C.;Duarte, Carlos H. C.;Carlos H. C. Duarte1999 DUARTE, CARLOS HENRIQUE C.. Proof-theoretic foundations for the design of actor systems. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, Cambridge, v. 9, n.Junho, p. 227-252, 1999.

13.
DUARTE, CARLOS HENRIQUE C.;Carlos Henrique Cabral Duarte;Carlos Henrique C. Duarte;Duarte, Carlos Henrique C.;Duarte, Carlos H. C.;Carlos H. C. Duarte1999DUARTE, CARLOS HENRIQUE C.. Proof-Theoretic Foundations for the Design of Extensible Software Systems: PhD Thesis Extended Abstract. Bulletin of the European Association for Theoretical Computer Science, v. 68, p. 245-247, 1999.

14.
DUARTE, CARLOS HENRIQUE C.;Carlos Henrique Cabral Duarte;Carlos Henrique C. Duarte;Duarte, Carlos Henrique C.;Duarte, Carlos H. C.;Carlos H. C. Duarte1996DUARTE, CARLOS HENRIQUE C.. Moving software to a global platform. IEEE SPECTRUM, Nova Iorque, v. 33, n.7, p. 40-43, 1996.

Livros publicados/organizados ou edições
1.
JEDLITSCHKA, A. ; BENER, A. ; DUARTE, CARLOS HENRIQUE C. ; GHAISAS, S. . Proceedings of the 4th International Workshop on Conducting Empirical Studies in Industry (CESI 2016). 1. ed. New York: ACM Press, 2016. v. 1. 36p .

2.
FRANCH, X. ; MADHAVJI, N. ; DUARTE, CARLOS HENRIQUE C. . Proceedings of the 3rd International Workshop on Conducting Empirical Studies in Industry (CESI 2015). 1. ed. Los Alamitos, CA: IEEE Computer Society Press, 2015. v. 1. 56p .

Capítulos de livros publicados
1.
Duarte, Carlos Henrique C.. Mathematical Models of Object-Based Distributed Systems. In: Gul Agha; Olivier Danvy; José Meseguer. (Org.). Lecture Notes in Computer Science. 1ed.Menlo Park: Springer Berlin Heidelberg, 2011, v. 7000, p. 57-73.

2.
Duarte, Carlos H. C.. Towards a Proof-Theoretic Foundation for Actor Specification and Verification. In: John-Jules Ch. Meyer; Pierre-Yves Schobbens. (Org.). Lecture Notes in Computer Science. 1ed.Siena: Springer Berlin Heidelberg, 1999, v. 1760, p. 123-142.

Textos em jornais de notícias/revistas
1.
DUARTE, CARLOS HENRIQUE C.. A Road Map to Java Software Development (Book Review). IEEE Software, New York, , v. 17 (5), p. 120 - 121, 01 set. 2000.

2.
DUARTE, CARLOS HENRIQUE C.. Linha Apple e TK2000: Gravação de dados. Micro Sistemas, Rio de Janeiro, RJ, , v. 52, p. 55, 01 jan. 1986.

Trabalhos completos publicados em anais de congressos
1.
EBERT, CHRISTOF ; Duarte, Carlos Henrique C. . Requirements Engineering for the Digital Transformation: Industry Panel. In: 2016 IEEE 24th International Requirements Engineering Conference (RE), 2016, Beijing. 2016 IEEE 24th International Requirements Engineering Conference (RE). p. 4-5.

2.
Duarte, Carlos Henrique C.. The Influence of Tax Incentive and Market Regulation Requirements on IT Companies: Empirical Evidence from the Brazilian Industry. In: 2016 IEEE 24th International Requirements Engineering Conference Workshops (REW), 2016, Beijing. 2016 IEEE 24th International Requirements Engineering Conference Workshops (REW). v. RELAW. p. 239-248.

3.
Duarte, Carlos Henrique C.. Patterns of Cooperative Technology Development and Transfer for Software-Engineering-in-the-Large. In: 2015 IEEE/ACM 2nd International Workshop on Software Engineering Research and Industrial Practice (SER&IP), 2015, Florence. 2015 IEEE/ACM 2nd International Workshop on Software Engineering Research and Industrial Practice. p. 32-38.

4.
FRANCH, X. ; MADHAVJI, N. ; Carlos Henrique C. Duarte . 3rd International Workshop on Conducting Empirical Studies in Industry (CESI 2015) - Pre-workshop report. In: 37th IEEE International Conference on Software Engineering (ICSE 2015), 2015, Florença. Proc. 37th IEEE International Conference on Software Engineering (ICSE 2015). Nova Iorque: IEEE Computer Society Press, 2015. p. 967-968.

5.
Duarte, Carlos Henrique C.; GORSCHEK, TONY . Technology transfer - Requirements Engineering research to industrial practice an open (ended) debate. In: 2015 IEEE 23rd International Requirements Engineering Conference (RE), 2015, Ottawa. 2015 IEEE 23rd International Requirements Engineering Conference (RE). v. 1. p. 414-415.

6.
DUARTE, CARLOS HENRIQUE C.. On the relationship between quality assurance and productivity in software companies. In: the 2nd International Workshop, 2014, Hyderabad. Proceedings of the 2nd International Workshop on Conducting Empirical Studies in Industry - CESI 2014. New York: ACM Press. p. 31-38.

7.
DUARTE, CARLOS HENRIQUE C.. Rigorous Development of Functional Programs using Temporal Logic. In: 4th Congress of Logic Applied to Technology Conference (LAPTEC 2003), 2003, Marília. Proceedings. São Paulo: Editora Plêiade, 2003. v. II. p. 9-18.

8.
DUARTE, CARLOS HENRIQUE C.. A Logico-Categorical Semantics of XML/DOM. In: 2nd International Workshop on Web Dynamics, 2002, Honolulu, Havai. Proceedings, 2002. p. 46-56.

9.
DUARTE, CARLOS HENRIQUE C.. Current Trends in Rigorous Distributed Object Based Software Development. In: 1o. Workshop de Tendências em Objetos Distribuídos (WTOD 2001), 2001, São Paulo, SP. Anais, 2001. p. 157-169.

10.
DUARTE, CARLOS HENRIQUE C.; TALCOTT, CAROLYN . Clara: An Actor Language for High Performance Distributed Computing. In: 12th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2000), 2000, São Pedro, SP. Proceedings, 2000. p. 29-37.

11.
DUARTE, CARLOS HENRIQUE C.. A proof-theoretic approach to the design of object-based mobility. In: 2nd IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems, 1997, Canterbury. Annals, 1997. p. 37-53.

12.
DUARTE, CARLOS HENRIQUE C.; IERUSALIMSCHY, ROBERTO . Aplicando um método orientado a objetos para desenvolvimento de compiladores. In: XXI Conferência Latino Americana de Informática (PANEL 1995), 1995, Canela. Anais. Porto Alegre: Universidade Federal do Rio Grande do Sul, 1995. v. 2. p. 743-754.

13.
DUARTE, CARLOS HENRIQUE C.; PACITI, ESTHER ; SILVA, SIDNEY D. ; MELO, RUBENS N. . HEROS: Um sistema de banco de dados heterogêneo orientado a objetos. In: VIII Simpósio Brasileiro de Banco de Dados (SBBD 1993), 1993, Campina Grande. Anais. Campina Grande: Universidade Federal da Paraíba, 1993. p. 383-393.

Resumos expandidos publicados em anais de congressos
1.
DUARTE, CARLOS HENRIQUE C.; IERUSALIMSCHY, ROBERTO . On the systematic development of compilers: a case study. In: CC 1996: International Conference on Compiler Construction, 1996, Linkoping. Annals of the Poster Session. Linkoping: Department of Computer and Information Science, 1996. p. 49-56.

Resumos publicados em anais de congressos
1.
Carlos Henrique C. Duarte. Software Quality Assurance in Brazil: Some Past Milestones and The Road Ahead. In: XVI Simpósio Brasileiro de Qualidade de Software, 2017, Rio de Janeiro. Anais do XVII Simpósio Brasileiro de Qualidade de Software, 2017. p. 415-415.

2.
DUARTE, CARLOS HENRIQUE C.. Acidity yields another notion for modularity in object-oriented specifications. In: ECOOP'96 Workshop on Proof-Theory of Concurrent Object-Oriented Programming, 1996, Linz. Special Issues in Object-Oriented Programming, 1996. p. 517-520.

Apresentações de Trabalho
1.
Carlos Henrique C. Duarte. Innovation and Entrepreneurship in ICT:Towards a Digital Transformation of the Brazilian Society. 2018. (Apresentação de Trabalho/Seminário).

2.
Carlos Henrique C. Duarte. How long after compliance do you benefit from regulation? A study on diagnostic imaging equipment requirements. 2018. (Apresentação de Trabalho/Seminário).

3.
Carlos Henrique C. Duarte; EBERT, CHRISTOF . Digital Transformation and Software/Requirements Engineering. 2018. (Apresentação de Trabalho/Conferência ou palestra).

4.
Carlos Henrique C. Duarte. Lessons Learned from a Lifetime IEEE Membership. 2018. (Apresentação de Trabalho/Conferência ou palestra).

5.
Carlos Henrique C. Duarte. Qualidade de Software no Brasil: Alguns Marcos Passados e a Estrada Adiante. 2017. (Apresentação de Trabalho/Seminário).

6.
Carlos Henrique C. Duarte; FORTUNA, M. H. . Distributed Systems Development with Info Cases (Tutorial Presentation). 2015. (Apresentação de Trabalho/Outra).

7.
DUARTE, CARLOS HENRIQUE C.. Financiamento à Qualidade e Certificação. 2003. (Apresentação de Trabalho/Seminário).

8.
DUARTE, CARLOS HENRIQUE C.. BNDES - Linhas de Financiamento. 2003. (Apresentação de Trabalho/Conferência ou palestra).

9.
DUARTE, CARLOS HENRIQUE C.. Sobre o Desenvolvimento de Sistemas Distribuídos. 2000. (Apresentação de Trabalho/Conferência ou palestra).

10.
DUARTE, CARLOS HENRIQUE C.. Some Results and Perspectives on the Rigorous Development of Open Distributed Systems. 1999. (Apresentação de Trabalho/Conferência ou palestra).

11.
DUARTE, CARLOS HENRIQUE C.. On the Principle of Temporal Well-Founded Induction. 1998. (Apresentação de Trabalho/Seminário).

12.
DUARTE, CARLOS HENRIQUE C.. Duas Visões da Lógica com Aplicações na Engenharia de Software. 1998. (Apresentação de Trabalho/Conferência ou palestra).

13.
DUARTE, CARLOS HENRIQUE C.. Specifying Actors In Temporal Logic. 1997. (Apresentação de Trabalho/Conferência ou palestra).

14.
DUARTE, CARLOS HENRIQUE C.. Atomicity: Another Notion for Modularity in Object-Oriented Specifications. 1995. (Apresentação de Trabalho/Seminário).

Outras produções bibliográficas
1.
FRANCH, X. ; LETIER, E. ; DUARTE, CARLOS HENRIQUE C. ; ERBERT, C. ; BREAUX, T. ; PERINI, A. ; JIN, Z. . Message from the Conference Chairs (RE 2016). Los Alamitos, 2016. (Prefácio, Pósfacio/Introdução)>.

2.
JEDLITSCHKA, A. ; BENER, A. ; DUARTE, CARLOS HENRIQUE C. ; GHAISAS, S. . Message from the Workshop Chairs (CESI 2016). New York, 2016. (Prefácio, Pósfacio/Introdução)>.

3.
FRANCH, X. ; MADHAVJI, N. ; DUARTE, CARLOS HENRIQUE C. . Message from the Workshop Chairs (CESI 2015). Los Alamitos, 2015. (Prefácio, Pósfacio/Introdução)>.

4.
DUARTE, CARLOS HENRIQUE C.. A Logico-Categorical Toolkit for Automated Rigorous Software Development 2006 (Relatório Técnico).

5.
DUARTE, CARLOS HENRIQUE C.; GARRITANO, Inah . Corporate Credit Rating Revisited: A Quantitative Approach Based on Neural Networks 2006 (Relatório Técnico).

6.
DUARTE, CARLOS HENRIQUE C.. O BNDES no Prêmio ASSESPRO - Melhor Software de 1993: Colhendo Subsídios para Financiamento ao Desenvolvimento de Software 1994 (Relatório Reservado).

7.
DUARTE, CARLOS HENRIQUE C.; HAEUSLER, EDWARD H. . Técnicas Formais e Informais: Um Estudo sobre Integração usando Statecharts. Rio de Janeiro, RJ: Pontifícia Universidade Católica do Rio de Janeiro, 1993 (Relatório Técnico).

8.
DUARTE, CARLOS HENRIQUE C.; IERUSALIMSCHY, ROBERTO ; LUCENA, CARLOS J. P. . On the Modularisation of Formal Specifications: The NDB Example Revisited. Rio de Janeiro, RJ: Pontifícia Universidade Católica do Rio de Janeiro, 1992 (Relatório Técnico).


Produção técnica
Programas de computador sem registro
1.
FREIRE, MARGARIDA S. ; DUARTE, CARLOS HENRIQUE C. ; FRANÇA, LUIZ P. A. . Sistema de Acompanhamento de Projetos. 1994.

2.
ARBEX, WAGNER A. ; DUARTE, CARLOS HENRIQUE C. . Sistema de Informações para Melhoramento Genético em Gado de Leite. 1992.

Processos ou técnicas
1.
DUARTE, CARLOS HENRIQUE C.; FRANÇA, LUIZ P. A. ; FREIRE, MARGARIDA S. . Padrão para Desenvolvimento de Software em ambiente NATURAL/ADABAS. 1994.

Trabalhos técnicos
1.
Carlos Henrique C. Duarte. Revisão de trabalhos de pesquisa (RE 2018). 2018.

2.
Carlos Henrique C. Duarte. Revisão de trabalho de pesquisa (CSRSQ 2018). 2018.

3.
Carlos Henrique C. Duarte. Revisão de trabalhos de pesquisa (ICSEA 2018). 2018.

4.
Carlos Henrique C. Duarte. Revisão de trabalho de pesquisa (QuaRAP2018). 2018.

5.
Carlos Henrique C. Duarte. Revisão de trabalho de pesquisa (REJ). 2018.

6.
Carlos Henrique C. Duarte. Revisão de trabalho de pesquisa (FCDS). 2018.

7.
Carlos Henrique C. Duarte. Revisão de trabalhos de pesquisa (RE 2017). 2017.

8.
Carlos Henrique C. Duarte. Revisão de trabalhos de pesquisa (ICSEA 2017). 2017.

9.
Carlos Henrique C. Duarte. Revisão de trabalhos de pesquisa (JIT RE 2017). 2017.

10.
Carlos Henrique C. Duarte. Revisão de trabalho de pesquisa (JIII). 2017.

11.
Carlos Henrique C. Duarte. Revisão de trabalho de pesquisa (IEEE Access). 2017.

12.
Carlos Henrique C. Duarte. Revisão de trabalho de pesquisa (JCMSE). 2016.

13.
Carlos Henrique C. Duarte. Revisão de trabalho de pesquisa (ICSEA 2016). 2016.

14.
Carlos Henrique C. Duarte. Revisão de trabalhos de pesquinsa (CESI 2015). 2015.

15.
Carlos Henrique C. Duarte. Revisão de trabalhos de pesquisa (RE 2015). 2015.

16.
Carlos Henrique C. Duarte. Revisão de trabalhos de pesquisa (RE 2014). 2014.

17.
Carlos Henrique C. Duarte. Revisão de trabalho de pesquisa (JSS). 2006.

18.
DUARTE, CARLOS HENRIQUE C.. Revisão de trabalho de pesquisa (JSS). 2005.

19.
Carlos Henrique C. Duarte. Revisão de trabalho de pesquisa (JSS). 2005.

20.
DUARTE, CARLOS HENRIQUE C.. Revisão de trabalho de pesquisa (JSS). 2004.

21.
DUARTE, CARLOS HENRIQUE C.. Revisão de trabalho de pesquisa (JSS). 2004.

22.
DUARTE, CARLOS HENRIQUE C.. Revisão de trabalho de pesquisa (JSS). 2004.

23.
DUARTE, CARLOS HENRIQUE C.. Revisão de trabalho de pesquisa (JSS). 2003.

24.
DUARTE, CARLOS HENRIQUE C.. Revisão de trabalhos de pesquisa (CISCI 2002). 2002.

25.
DUARTE, CARLOS HENRIQUE C.. Revisão de trabalho de pesquisa (JSS). 2002.

26.
DUARTE, CARLOS HENRIQUE C.. Revisão de trabalho de pesquisa (JSS). 2002.

27.
DUARTE, CARLOS HENRIQUE C.. Revisão de trabalho de pesquisa (IEEE Software). 2002.

28.
DUARTE, CARLOS HENRIQUE C.. Revisão de trabalho de pesquisa (FASE 2001). 2000.

29.
DUARTE, CARLOS HENRIQUE C.. Revisão de trabalho de pesquisa (IPL). 2000.

30.
DUARTE, CARLOS HENRIQUE C.. Revisão de trabalhos de pesquisa (AMAST 1998). 1998.

31.
DUARTE, CARLOS HENRIQUE C.. Revisão de trabalho de pesquisa (HOSCJ). 1998.

32.
DUARTE, CARLOS HENRIQUE C.. Revisão de trabalho de pesquisa (FASE 1998). 1998.

33.
DUARTE, CARLOS HENRIQUE C.. Revisão de trabalho de pesquisa (JLC). 1997.

34.
DUARTE, CARLOS HENRIQUE C.. Revisão de trabalhos de pesquisa (ICALP 1997). 1997.


Demais tipos de produção técnica
1.
DUARTE, CARLOS HENRIQUE C.. Análise e Acompanhamento de Investimentos em Empresas de TI. 2007. .

2.
DUARTE, CARLOS HENRIQUE C.. Assessing the Social and Economic Impacts of the Information Society. 2000. (Apresentação de trabalho e Mediação de Seções Técnicas).

3.
DUARTE, CARLOS HENRIQUE C.. Projeto Lógico de Banco de Dados. 1992. .



Bancas



Participação em bancas de trabalhos de conclusão
Teses de doutorado
1.
DUARTE, CARLOS HENRIQUE C.. Participação em banca de Oswaldo Luiz Humbert Fonseca. Análise de Crédito utilizando Inteligência Artificial - Validação com dados do Cartão BNDES. 2008. Tese (Doutorado em Modelagem Computacional) - Universidade do Estado do Rio de Janeiro.

2.
DUARTE, CARLOS HENRIQUE C.. Participação em banca de Antônio Espósito Júnior. Equações Integrais via Teoria dos Domínios (Problemas Direto e Inverso). 2008. Tese (Doutorado em Modelagem Computacional) - Universidade do Estado do Rio de Janeiro.

3.
DUARTE, CARLOS HENRIQUE C.. Participação em banca de Luiz Paulo Alves França. Um Processo para Construção de Geradores de Artefatos. 2000. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Qualificações de Doutorado
1.
DUARTE, CARLOS HENRIQUE C.. Participação em banca de Antônio Espósito Junior. Análise Numérica via Teoria dos Domínios. 2005. Exame de qualificação (Doutorando em Modelagem Computacional) - Universidade do Estado do Rio de Janeiro.

2.
DUARTE, CARLOS HENRIQUE C.. Participação em banca de Oswaldo Luiz Humbert Fonseca. Análise de Crédito para Pequenas e Médias Empresas. 2005. Exame de qualificação (Doutorando em Modelagem Computacional) - Universidade do Estado do Rio de Janeiro.

Trabalhos de conclusão de curso de graduação
1.
DUARTE, CARLOS HENRIQUE C.. Participação em banca de André C. Sabbagh; Marcelo S. Costa; Marcos L. Freitas.SIstema de Planejamento e Controle de Pedidos. 2007. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Informática) - Universidade Estácio de Sá.

2.
DUARTE, CARLOS HENRIQUE C.. Participação em banca de Inah garritano.Análise de risco de crédito de empresas baseado em redes neurais. 2003. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Informática) - Universidade Estácio de Sá.

3.
DUARTE, CARLOS HENRIQUE C.. Participação em banca de Cristiane de Fátima S. Trindade e Sérgio Renan F. de Barros.SASSI: Um Sistema de Atendimento a Solicitações de Serviços de Informática. 2002. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Informática) - Universidade Estácio de Sá.

4.
DUARTE, CARLOS HENRIQUE C.; SOUZA, Maurilio C.; CASTRO, Maria Clícia S.. Participação em banca de Adilson Luiz Fernandes.Um Modelo para o Processo de Desenvolvimento de Aplicações Científicas. 1993. Trabalho de Conclusão de Curso (Graduação em Curso de Matemática - Bacharelado Em Informática) - Universidade Federal de Juiz de Fora.



Participação em bancas de comissões julgadoras
Outras participações
1.
DUARTE, CARLOS HENRIQUE C.. Seleção de Empresas para a Incubadora da UFF. 1999. Universidade Federal Fluminense.

2.
DUARTE, CARLOS HENRIQUE C.. Prêmio Nacional Jovem Empreendedor de Software (COJEM'1998). 1998. Sociedade Mineira de Software.

3.
DUARTE, CARLOS HENRIQUE C.. Prêmio ASSESPRO - Melhor Software em 1993. 1994. Associação das Empresas Brasileiras de Software e Serviços de Informática.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
36th International Conference on Software Engineering. Debatedor e julgador dos trabalhos apresentados no Painel Ready-Set-Transfer. 2014. (Congresso).

2.
IEEE Technical Activities Volunteer Training Workshop. 2014. (Seminário).

3.
Medica Trade Fair. 2014. (Feira).

4.
21th IEEE Requirements Engineering Conference.Debatedor e julgador dos trabalhos apresentados no Painel Ready-Set-Transfer. 2013. (Simpósio).

5.
Smarter Cities. 2011. (Seminário).

6.
III Foro Brasil-União Européia. 2010. (Seminário).

7.
Aniversário da ABES.Apoio do BNDES a Empresas de Software e Serviços de Tecnologias da Informação e Comunicação. 2009. (Outra).

8.
Invest in Brazil.Oportunidades de Investimento em Semicondutores e Displays. 2009. (Seminário).

9.
Perspectivas de Investimento no Brasil.Tecnologias da Informação. 2009. (Simpósio).

10.
II Seminário Resultados da Lei de Informática.Moderador do Painel de Debates sobre Dispositivos de Comunicação Móvel. 2006. (Seminário).

11.
Linhas de Financiamento para Empresas do Setor de Software.PROSOFT Comercialização. 2005. (Encontro).

12.
Encontro Nacional de Empresas de Software and Serviços de Informática.Financiamento e Capital de Risco para o Setor de Software. 2003. (Encontro).

13.
I Seminário Resultados da Lei de Informática.Moderador do Painel de Debates sobre Equipamentos Médico-Hospitalares. 2003. (Seminário).

14.
Congresso Internacional de Redes de Comunicação. 2002. (Congresso).

15.
IV Workshop de Métodos Formais. 2001. (Outra).

16.
XV Simpósio Brasileiro de Engenhraria de Software. 2001. (Simpósio).

17.
VII Simpósio Brasileiro de Engenharia de Software. 1993. (Simpósio).

18.
I Escola de Computação Científica de Alto Desempenho. 1992. (Outra).

19.
II Econtro de Padronização das Informações do Arquivo Zootécnico Nacional. 1991. (Encontro).

20.
V Simpósio Brasileiro de Engenharia de Software. 1991. (Simpósio).

21.
IV Encontro do Curso de Matemática da UFJF. 1990. (Encontro).

22.
VII Escola de Computação. 1990. (Outra).


Organização de eventos, congressos, exposições e feiras
1.
Carlos Henrique C. Duarte. Industry Program Committee Member of the 26th IEEE Requirements Engineering Conference (RE 2018). 2018. (Congresso).

2.
Carlos Henrique C. Duarte. Program Committee Member of the 13th International Conference on Software Engineering Advances (ICSEA 2018). 2018. (Congresso).

3.
Carlos Henrique C. Duarte. Program Committee Member of the 1st International Workshop on Quality Requirements in Agile Projects (QuaRAP 2018). 2018. (Congresso).

4.
Carlos Henrique C. Duarte. Program Committee Member of the IEEE International Workshop on Conflicts and Synergies among Reliability, Security, and other Qualities (CSRSQ 2018). 2018. (Congresso).

5.
Carlos Henrique C. Duarte. Industry Program Committee Member of the 27th IEEE Requirements Engineering Conference (RE 2019). 2018. (Congresso).

6.
Carlos Henrique C. Duarte. Industry Programme Committee Member of the 25th IEEE Requirements Engineering Conference (RE 2017). 2017. (Congresso).

7.
Carlos Henrique C. Duarte. Program Committee Member of the 12th International Conference on Software Engineering Advances (ICSEA 2017). 2017. (Congresso).

8.
Carlos Henrique C. Duarte. Program Committee Member of the 2nd International Workshop on Just-in-time Requirements Engineering (JIT RE 2017). 2017. (Congresso).

9.
DUARTE, CARLOS HENRIQUE C.; ERBERT, C. . Industry Program Committee Co-Chair of the 24th IEEE Requirements Engineering Conference (RE 2016). 2016. (Congresso).

10.
JEDLITSCHKA, A. ; BENER, A. ; DUARTE, CARLOS HENRIQUE C. ; GHAISAS, S. . Organizing Committee Member of the 4th International Workshop on Conducting Empirical Studies in Industry (CESI 2016). 2016. (Congresso).

11.
DUARTE, CARLOS HENRIQUE C.. Program Committee Member of the 11th International Conference on Software Engineering Advances (ICSEA 2016). 2016. (Congresso).

12.
ERBERT, C. ; DUARTE, CARLOS HENRIQUE C. . Organizer of the RE 2016 Panel on Requirements Engineering for the Digital Transformation. 2016. (Outro).

13.
FRANCH, X. ; MADHAVJI, N. ; DUARTE, CARLOS HENRIQUE C. . Organizing Committee Member of the 3rd International Workshop on Conducting Empirical Studies in Industry (CESI 2015). 2015. (Congresso).

14.
DUARTE, CARLOS HENRIQUE C.. Industry Program Committee Member of the 23th IEEE Requirements Engineering Conference (RE 2015). 2015. (Congresso).

15.
DUARTE, CARLOS HENRIQUE C.; GORSCHEK, T. . Organizer of the RE 2015 Panel Technology Transfer - Requirements Engineering Research to Industrial Practice An Open (Ended) Debate. 2015. (Outro).

16.
DUARTE, CARLOS HENRIQUE C.. Industry Program Committee Member of the 22th IEEE Requirements Engineering Conference (RE 2014). 2014. (Congresso).

17.
DUARTE, CARLOS HENRIQUE C.; DE FRANCA, Sérgio L. ; LIMA, MARCO ANTÔNIO . Membro do Comitê Organizador do Seminário Internacional sobre Promoção da Inovação e da Propriedade Intelectual em Tecnologia da Informação. 2008. (Congresso).



Orientações



Orientações e supervisões concluídas
Trabalho de conclusão de curso de graduação
1.
Inah Garritano. Análise de risco de crédito de empresas baseada em redes neurais. 2003. 99 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Informática) - Universidade Estácio de Sá. Orientador: Carlos Henrique Cabral Duarte.

2.
Adilson Luiz Fernandes. Um Modelo para o Processo de Desenvolvimento de Aplicações Científicas. 1993. 60 f. Trabalho de Conclusão de Curso. (Graduação em Curso de Matemática - Bacharelado Em Informática) - Universidade Federal de Juiz de Fora. Orientador: Carlos Henrique Cabral Duarte.




Página gerada pelo Sistema Currículo Lattes em 11/12/2018 às 19:20:56