anamaria martins moreira

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

Projetos de Pesquisa

Projeto de Pesquisa Área de Conhecimento
2011
PVB7676-2011 Desenvolvimento de Metodologias, Técnicas e Ferramentas para Linhas de Produto de Software Engenharia de Software
2010
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
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
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
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
2005
PVB767-2005 Engineering of Smart Card Applications Metodologia e Técnicas da Computação
PVB859-2005 APOIO FORMAL AO TESTE DE SOFTWARE (COMPILADORES E SIMILARES) - FORTES Teoria da Computação
2004
PVB436-2004 Apoio Formal à Especificação e Re-Utilização de Software - FERUS 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
2002
PVB436-2002 Apoio Formal à Especificação e Re-Utilização de Software - FERUS Metodologia e Técnicas da Computação
PVB949-2002 SEDI: SELEÇÃO DINÂMICA DE OBJETOS DISTRIBUÍDOS Sistemas de Computação
2001
PVB436-2001 Apoio Formal à Especificação e Re-Utilização de Software - FERUS Metodologia e Técnicas da Computação
PVB949-2001 SEDI: SELEÇÃO DINÂMICA DE OBJETOS DISTRIBUÍDOS Sistemas de Computação
2000
PVB215-2000 Métodos formais em reutilização de software Metodologia e Técnicas da Computação

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