2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
Projetos
2014
Em progresso
Engenharia de Software para Cidades Inteligentes (PRONEX FACEPE/CNPq)
Apoio - CAPES e Outros financiadores
2009
Em progresso
Modularização para Contratos de Software
2007
Concluído
Desenvolvimento do compilador JML usando Programação Orientada a Aspectos para checagem de asserções
2006
Concluído
Investigando o Desenvolvimento de Aplicações J2ME anotadas com a linguagem formal JML
2005
Concluído
BuzzMonitor uma ferramenta para monitoração do Boca-Boca em comunidades on-line
2005
Concluído
Teaching Formal Methods Through Eclipse
2004
Concluído
Avaliação de Desempenho de Middleware utilizando Modelos em Redes de Petri
2003
Concluído
Programação Concorrente usando Erlang
Projetos
2014
Em progresso
Engenharia de Software para Cidades Inteligentes (PRONEX FACEPE/CNPq)
Apoio - CAPES e Outros financiadores
2009
Em progresso
Modularização para Contratos de Software
2007
Concluído
Desenvolvimento do compilador JML usando Programação Orientada a Aspectos para checagem de asserções
2006
Concluído
Investigando o Desenvolvimento de Aplicações J2ME anotadas com a linguagem formal JML
2005
Concluído
BuzzMonitor uma ferramenta para monitoração do Boca-Boca em comunidades on-line
2005
Concluído
Teaching Formal Methods Through Eclipse
2004
Concluído
Avaliação de Desempenho de Middleware utilizando Modelos em Redes de Petri
2003
Concluído
Programação Concorrente usando Erlang
hemr
Henrique Emanuel Mostaert Rebêlo
Professor Adjunto I
Processamento e Sintese de midias digitais
Design Thinking
E-mail
hemr@cin.ufpe.br
Telefone
+55 81 2126-8430
R:
4344
Sala
A007
•
Publicações
Publicações
•
Projetos
Projetos
•
Orientações Acadêmicas
Orientações
hemr
Henrique Emanuel Mostaert Rebêlo
Professor Adjunto I
Processamento e Sintese de midias digitais
Design Thinking
E-mail
hemr@cin.ufpe.br
Telefone
+55 81 2126-8430
R:
4344
Sala
A007
•
Publicações
Publicações
•
Projetos
Projetos
•
Orientações Acadêmicas
Orientações
