Anamaria Martins Moreira
Possui graduação em Engenharia Elétrica pela Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio - 1984), mestrado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (1990), doutorado em Informática pelo Institut National Polytechnique de Grenoble (1995), pós doutorado no LORIA (INRIA, Nancy, França - 2002) e na PUC-Rio (2012). Atualmente é professora-pesquisadora da Universidade Federal do Rio de Janeiro (UFRJ), onde continua o trabalho desenvolvido entre 1997 e 2013 na Universidade Federal do Grande do Norte (UFRN). Orienta ou orientou alunos de graduação, mestrado e doutorado. Tem experiência na área de Ciência da Computação, atuando principalmente nos seguintes temas: testes, ensino de programação, especificações formais e ferramentas de apoio aos métodos formais. De 2008 a 2011 atuou como Assessora para Assuntos Internacionais da UFRN, quando coordenou a reestruturação do setor, passando então a Secretária de Relações Internacionais. No período 2011-2014 coordenou projeto de graduação sanduíche em computação com a Holanda. Desde 2021 é Diretora do recém criado Instituto de Computação da UFRJ. A partir de 2024 iniciou projetos de divulgação pública de material educacional em Computação e de organização e divulgação de acervo cultural relacionado ao carnaval de rua da cidade do Rio de Janeiro.
Informações coletadas do Lattes em 20/09/2025
Acadêmico
Formação acadêmica
Doutorado em Informatique
1990 - 1995
Institut National Polytechnique de Grenoble
Título: La Généralisation: un Outil pour la Réutilisation
Orientador: Paul Jacquet
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Grande área: Ciências Exatas e da TerraGrande Á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.
Mestrado em Informática
1987 - 1990
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio
Título: UM TRADUTOR DE PROLOG PARA PASCAL
Orientador: JOSE LUCAS MOURAO RANGEL NETTO
, Ano de Obtenção: 1990.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Compilacao; Continuacoes; Prolog.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Linguagens de Programação. Setores de atividade: Informática.
Graduação em Engenharia Elétrica
1980 - 1984
Pós-doutorado
2012 - 2013
Pós-Doutorado. , Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil. , Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
2002 - 2003
Pós-Doutorado. , Laboratoire Lorrain de Recherche en Informatique et ses Applications, LORIA/INRIA, França. , Bolsista do(a): Institut National de Recheche En Informatique Et Automatique, INRIA, França. , Grande área: Ciências Exatas e da Terra
Formação complementar
2010 - 2011
Prog. de movilidad mercosur en educacion superior. (Carga horária: 60h). , Universidad de la Republica Uruguay, UDELAR, Uruguai.
2007 - 2008
Gestão da Internacionalização das IFES. (Carga horária: 130h). , Associação Nacional dos Dirigentes das IFES, ANDIFES, Brasil.
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Bem, Fala Pouco, Lê Bem, Escreve Pouco.
Francês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Á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.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação.
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: Teoria da Computação.
Organização de eventos
MOREIRA, A. M. . Simpósio Brasileiro de Métodos Formais. 2006. (Congresso).
MOREIRA, A. M. ; RIBEIRO, L. . International Conference on Graph Transformations. 2006. (Congresso).
Participação em eventos
V Congresso Brasileiro de Software - CBSoft. comitê de programa, reunião de comissão especial e chair de seção. 2015. (Congresso).
IV Congresso Brasileiro de Software. coordenadora de workshops. 2014. (Congresso).
III Congresso Brasileiro de Software - CBSoft.BETA: A B Based Testing Approach. 2012. (Simpósio).
II Congresso Brasileiro de Software - CBSoft.KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B Simone. 2011. (Simpósio).
Reunião anual do Forum de Assessorias Internacionais das IES.Repreentação da UFRN. 2011. (Outra).
22nd International Conference on Testing Software and Systems.Generating Test Cases From B Specifications: An Industrial Case Study. 2010. (Simpósio).
International Conference on Abstract State Machines, Alloy, B and Z (ABZ 2010).Applying the B Method for the Rigorous Development of Smart Card Applications. 2010. (Simpósio).
Reunião anual do Forum de Assessorias Internacionais das IES.Repreentação da UFRN. 2010. (Outra).
Reunião anual do Forum de Assessorias Internacionais das IES.Apresentação da AAI-UFRN. 2009. (Encontro).
Semana Franco-Brasileira de Educação Superior. 2009. (Outra).
Encontro de Cooperação Internacional.Apresentação da AAI-UFRN. 2008. (Encontro).
Forum de reitores Brasil-Japão. 2008. (Encontro).
III Seminário Nacional do REUNI " Inovações Acadêmicas: Reestruturação e Impactos Administrativos". 2008. (Seminário).
Participação em bancas
OLIVEIRA, M.;MOREIRA, A. M.; Mota, A.. BTS: uma ferramenta de suporte ao desenvolvimento sistemático de sistemas confiáveis baseados em componentes. 2013. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
MOREIRA, A. M.; MACHADO, P. D. L.; AQUINO JUNIOR, G. S.. Geração de Testes a partir de Gramáticas: Áreas de Aplicação. 2013. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
MOREIRA, A. M.; MACHADO, P. D. L.; COELHO, R. S.. Uma ferramenta para a geração de testes de unidae a partir de especificações B. 2012. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
MOREIRA, A. M.; Gheyi, R.;DÉHARBE, D.. KitSmart: uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B. 2012.
OLIVEIRA, M.; SAMPAIO, A. C.;MOREIRA, A. M.. Estendendo CRefine para o Suporte de Táticas de Refinamento. 2011. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
MOREIRA, A. M.; IERUSALIMSCHY, R.; COELHO, R. S.. Geração Automática de Testes a partir de Descrições de Linguagens. 2010. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
MOREIRA, ADÉHARBE, D.Cavalcanti, A.; Maitelli, A.. Aplicação do método B ao projeto formal de software embarcado. 2009. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
MOREIRA, A. M.; SAMPAIO, A. C.; Mota, A.. Test Case Prioritization based on data reuse for black-box environments. 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
MOREIRA, A. M.; COELHO, R. S.; OLIVEIRA, M.; Mota, A.. Geração de Casos de Teste a partir de Especificações B. 2009. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
LEITE, J. C.; Saibel C.;MOREIRA, A. M.. Geração de interfaces de usuário de sistemas Web para múltiplos dispositivos com o uso de componentes de IU. 2007. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
MOREIRA, A. M.MUSICANTE, M. A.COSTA, U. S.; BORBA, P. H. M.. JCML - Java Card Modeling Language: Definição e Implementação. 2007. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
MOREIRA, A. M.; SAMPAIO, A. C.;DÉHARBE, D.; OLIVEIRA, M.. BSmart: Desenvolvimento Rigoroso de Aplicações Java Card com base no Método Formal B. 2007. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
LEITE, J. C.; BARANAUSKAS, M. C. C.;MOREIRA, A. M.. Visual IMML - um perfil UML para a modelagem de interfaces de usuário. 2006. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
NUNES, D.; LAMB, L. C.;MOREIRA, A. M.RIBEIRO, L.. Semantics for an Algebraic Specification Language. 2006. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.
MOREIRA, A. M.; IERUSALIMSCHY, R.;DÉHARBE, D.MUSICANTE, M. A.. Agraphs: Definição, Implementação e Ferramentas. 2006. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
SANTIAGO, R. H. N.; HAEUSLER, E. H.;MOREIRA, A. M.; BEDREGAL, Benjamin R C. Sostema de Reescrita de termos par aintervalos: em diração a um modelo formal para a computação intervalar. 2005. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
MOREIRA, A. M.SANTIAGO, R. H. N.; HAEUSLER, E. H.. Uma ferramenta para suporte formal à evolução e reutilização para linguagens de especificação algébrica com semântica inicial. 2004. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
MOREIRA, A. M.. A linguagem de especificação algébrica CASL e o tipo de dados intervalos. 2004. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
MOREIRA, A. M.; BEDREGAL, Benjamin R C; CAMPOS, Marcília Andrade. Especificação do Tipo Intervalar Parametrizado em CASL. 2003. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
MOREIRA, A. M.DÉHARBE, D.; REIS, A. I.. Ordenacao Inicial de BDDs para verificacao de Sistemas de Transicao Finita. 2002. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
MOREIRA, A. M.; FERNANDES, J. H. C.; PAULA, V. C.; MACHADO, P. D. L.. Arquitetura e Biblioteca para FERUS - Apoio Formal a Especificacao e Re-Utilizacao de Software. 2002. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
MOREIRA, A. M.. Especificacao de um modelo formal para aplicacoes em sistemas hipermidia abertos. 2001. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.
ROCHA, B. P. F. D.;MOREIRA, A. M.DÉHARBE, David Boris Paul; SAMPAIO, A. C.; PAULA, V. C.. A Linguagem de Descrição de Arquiteturas ZCL-CSP. 2000. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
MOREIRA, A. M.DÉHARBE, David Boris Paul; MARTINS, Simone de Lima. Ordenação de Variáveis de BDDs utilizando Algoritmos Genéticos Paralelos. 2000. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
RIBEIRO, C. M. F. A.MOREIRA, A. M.; SOUZA FILHO, G. L.; MAGALHÃES, M. F.; LOPES, A. B.. Especificação Formal de Mecanismos de Sincronização em Aplicações Multimídia Baseadas no Premo. 1999. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
SIMAO, A. S.; GAUDEL, M. A. R.; VINCENZI, A. M. R.; OLIVEIRA, M.;MOREIRA, A. Teste de mutação formal aplicado na álgebra de processos Circus. 2018 - Universidade de São Paulo.
MACHADO, P. D. L.; ANDRADE, W.; MASSONI, T. L.; YIODA, J. M.;MOREIRA, A. Investigation of Test Case Prioritization for Model-Based Testing. 2017. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.
MUNIZ, P.;MOREIRA, A. M.; MELO, A. C. V.; BECERRA, J. L. R.; ROCHA, R. L. A.. Um processo de desenvolvimento orientado a objetos com suporte à verificação formal de inconsistências. 2013. Tese (Doutorado em Doutorado em Engenharia Elétrica) - Universidade de São Paulo.
DÉHARBE, D.MOREIRA, A. M.; SAMPAIO, A. C.; Gheyi, R.; OLIVEIRA, M.. Desenvolvimento Formal de Aplicações para Smart Cards. 2012. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
KIRCHNER, Claude;MOREIRA, A. M.. Un système de types pour la programmation par réecriture embarquée. 2012. Tese (Doutorado em Doctorat UHP Inofrmatique) - Université Henri Poincaré, Nancy Université.
MOREIRA, A. M.. Abordagem Relacional de Gramáticas de Grafos. 2010. Tese (Doutorado em Programa de Pós-Graduação em Computação) - Universidade Federal do Rio Grande do Sul.
IERUSALIMSCHY, R.; HAEUSLER, E. H.;MOREIRA, A. M.. Um estudo sobre gramáticas de expressões de parsing e a sua correspondência com expressões regulares e gramáticas livres de contexto LL(k)-forte. 2010. Tese (Doutorado em Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.
SILVA, I. S.RIBEIRO, C. M. F. A.; LIMA. J.A.G.;MOREIRA, A. M.; BEDREGAL, Benjamin R C; OLIVEIRA, L. A.. Ramos. CADZ: Uma metodologia de projeto baseada em Z para redes-em-chip. 2007. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Rio Grande do Norte.
MOREIRA, A. M.. A Refinement Theory for Alloy. 2007. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
MOREIRA, A. M.DÉHARBE, D.; CAMPOS, S.; COELHO JUNIOR, C.; MOURA, A.; CHI, W. H.; VIEIRA, N. J.. Um verificador de modelos explícito-simbólico. 2005. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.
MOREIRA, A. M.; NUNES, D.;MOREIRA, A.RIBEIRO, L.; MARTINI, A.. Object Oriented Grammars. 2005. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul.
MOREIRA, A. M.; HAEUSLER, E. H.; LUCENA, C. P.; BRAGA, C.; LEITE, J.;SOARES, L. F. G.. Análise formal de modelos de software orientada por abstrações arquiteturais. 2004. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.
MOREIRA, A. M.. Revisitando Co-rotinas. 2004. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.
SANTIAGO, R. H. N.MOREIRA, A. M.; QUEIROZ, R. G. B.; CLAUDIO, D. M.; COSTA, A. C. R.. Teoria das Equações Intervalares Locais. 1999. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
OLIVEIRA, M.;MOREIRA, A; Mota, A.; SAMPAIO, A. C.. Livelock Analysis for Component-Based Systems. 2015. Exame de qualificação (Doutorando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
MOREIRA, A. M.; HAEUSLER, E. H.; IERUSALIMSCHY, R.; MASCARENHAS, F.. Typed Lua: An Optional Type System for Lua. 2014. Exame de qualificação (Doutorando em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.
MOREIRA, A. M.; MACHADO, P. D. L.. Estratégias para Priorização de Casos de Teste Gerados através de Abordagens de Teste Baseado em Modelo. 2014. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.
MOREIRA, A. M.; MACHADO, P. D. L.; FIGUEIREDO, J.; ANDRADE, W.. Investigating on Test Suite Reduction Strategies in the Context of Model-Based Testing. 2013. Exame de qualificação (Doutorando em Pós-Graduação em Ciência da Computação) - Universidade Federal de Campina Grande.
MUSICANTE, M. A.MOREIRA, A. M.. Uma Proposta de Metodologia para o Desenvolvimento de Aplicações Web Baseadas em PEWS. 2010. Exame de qualificação (Doutorando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
SAMPAIO, A. C.;MOREIRA, A. M.DÉHARBE, D.. Desenvolvimento Formal de Aplicações para Smart Cards. 2010. Exame de qualificação (Doutorando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
MOREIRA, A. M.RIBEIRO, C. M. F. A.SILVA, I. S.. Ramos. Modelo de Comunicação Concorrente em Ambiente MPSoC Baseado em NoC, Utilizando o Padrão MPI. 2005. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal do Rio Grande do Norte.
MOREIRA, A. M.RIBEIRO, L.; NUNES, D.. Object-Oriented Graph-Grammars. 2004. Exame de qualificação (Doutorando em Computação) - Universidade Federal do Rio Grande do Sul.
FERNANDES, J. H. C.;MOREIRA, A. M.; ORGAMBIDE, A. C. F.; BORBA, P. H. M.. Corpus: uma Abordagem para Construção de Sistemas Computacionais Abertos de Natureza Distribuída, Concorrente, Dinâmica e Baseada em Eventos. 2000. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Pernambuco.
DÉHARBE, David Boris Paul; OLIVEIRA, M.;MOREIRA, A. BTestBox: uma ferramenta de teste para implementações B. 2017. Exame de qualificação (Mestrando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
MOREIRA, A. M.RIBEIRO, C. M. F. A.RAMOS, K.D.N.. ESPECIFICAÇÃO FORMAL DE ESCALONADOR DE HARDWARE SOBRE MPSoC. 2014. Exame de qualificação (Mestrando em Ciência da Computação - Uern - Ufersa) - Universidade do Estado do Rio Grande do Norte.
MOREIRA, A. M.DÉHARBE, D.MUSICANTE, M. A.. Um estudo sobre geração de testes com BETA: avaliação e aperfeiçoamento. 2014. Exame de qualificação (Mestrando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
BEDREGAL, Benjamin R C; MORAES, R. M.; CARVALHO, F. A. T.;MOREIRA, A. Promoção Classe E. 2018. Universidade Federal do Rio Grande do Norte.
BATISTA, T.MOREIRA, A; LUNA, H. P.; POZO, A. T. R.. Promoção Classe E. 2017. Universidade Federal do Rio Grande do Norte.
MOREIRA, A. M.; XEXEO, G.; WERNECK, V.; SANTOS, G.; CHOREN, R.. Professor Adjunto. 2021. Universidade Federal do Rio de Janeiro.
MOREIRA, A. M.; DELGADO, C.;MUSICANTE, M. A.; PORTO, F.; ZIVIANI, A.. Professor Adjunto. 2019. Universidade Federal do Rio de Janeiro.
BENEVIDES, M.;MOREIRA, A; SOUZA, S. D. E.; GURGEL, S. R. V.; BRAGA, C.. Professor Adjunto. 2018. Universidade Federal do Rio de Janeiro.
MOREIRA, A. M.. Professor Adjunto. 2009. Universidade Federal de Campina Grande.
MOREIRA, A. M.. Professor Adjunto. 2008. Universidade Federal Rural do Semi-Árido.
MOREIRA, A. M.. Professor Substituto em Teoria da Computacao. 2001. Universidade Federal do Rio Grande do Norte.
MOREIRA, A. M.. Professor Assistente em Engenharia de Software. 2000. Universidade Estadual do Sudoeste da Bahia.
MOREIRA, A. M.; ACCIOLY, Benedito; GOTTGTROY, Marcia de Paiva Bastos. Professor Adjunto. 1998. Universidade Federal do Rio Grande do Norte.
MOREIRA, A. M.; BORTOLOZZI, F.. Autorizacao de curso de Sistemas de Informacao. 2002. Ministério da Educação.
MOREIRA, A. M.; FORTES, R. P.. Autorizacao de curso de Sistemas de Informacao. 2001. Ministério da Educação.
MOREIRA, A. M.; SANTANA, R. H. C.. Autorizacao de curso de Sistemas de Informacao. 2001. Ministério da Educação.
Orientou
Um estudo empírico sobre geração de testes com BETA: avaliação e aperfeiçoamento; 2015; Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Anamaria Martins Moreira;
Geração de testes a partir de gramáticas: áreas de aplicação; 2013; Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Anamaria Martins Moreira;
KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B; ; 2012; Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Anamaria Martins Moreira;
BETA: Uma ferramenta para geração de testes de unidade a partir de especificações B; 2012; Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Anamaria Martins Moreira;
Geração de Testes a partir de gramáticas; 2010; Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Anamaria Martins Moreira;
Geração de Casos de Teste a partir de Especificações B; 2009; Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, ; Orientador: Anamaria Martins Moreira;
BSmart: Desenvolvimento Rigoroso de Aplicações Java Card com base no Método Formal B; 2007; Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Anamaria Martins Moreira;
JCML - Java Card Modeling Language: Definição e Implementação; 2007; Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, ; Orientador: Anamaria Martins Moreira;
Agraphs: Definição, Implementação e Ferramentas; 2006; Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Anamaria Martins Moreira;
Uma ferramenta p/ suporte formal à evolução e reutilização de software p/ linguagens de especificação algébrica com semântica inicial; 2004; Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Anamaria Martins Moreira;
Arquitetura e Biblioteca para FERUS - apoio Formal a Especificacao e Re-Utilizacao de componentes de Software; 2002; Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, ; Orientador: Anamaria Martins Moreira;
Ordenação de Variáveis de BDDs Utilizando Algoritmos Genéticos Paralelos; 2000; 120 f; Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Anamaria Martins Moreira;
Geração de Testes a partir de Gramáticas; 2017; Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, ; Orientador: Anamaria Martins Moreira;
BETA: a B Based Testing Approach; 2016; Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Anamaria Martins Moreira;
Relato de experiência em modelagem e verificação de algoritmos concorrentes com TLA+; 2024; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro; Orientador: Anamaria Martins Moreira;
ANÁLISE DE ALGORITMOS GENÉTICOS E APRENDIZADO POR REFORÇO PARA GERAÇÃO DE CASOS DE TESTE DE SOFTWARE; 2024; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro; Orientador: Anamaria Martins Moreira;
Testes Baseados em Particionamento da Entrada para Plataforma de Ensino de Programação; 2024; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro; Orientador: Anamaria Martins Moreira;
Criação Automática de Testes em Python para Plataformas de Aprendizado Com o Uso de Critérios de Cobertura Baseados em Grafos; 2024; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro; Orientador: Anamaria Martins Moreira;
MODELAGEM DE TESTES DE SOFTWARE -- Uma Análise dos Resultados de Testes em Exercícios de Programação; 2023; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro; Orientador: Anamaria Martins Moreira;
MODELAGEM DE TESTES DE SOFTWARE Uma Análise dos Resultados de Testes em Exercícios de Programação; 2023; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro; Orientador: Anamaria Martins Moreira;
MODELAGEM DE TESTES DE SOFTWARE Uma Análise dos Resultados de Testes em Exercícios de Programação; 2023; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro; Orientador: Anamaria Martins Moreira;
Contribuição para Automação de Projeto de Testes de Sistemas Transacionais Utilizando Resolvedores de Restrição; 2023; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro; Orientador: Anamaria Martins Moreira;
Comparação de resolvedores SMT como geradores de exemplos para modelagens B; 2017; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro; Orientador: Anamaria Martins Moreira;
Geração de Testes para o protocolo EMV; 2013; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio Grande do Norte; Orientador: Anamaria Martins Moreira;
Adaptabilidade da ferramenta de geração de testes LGen pela inclusão de novos critérios de cobertura; 2013; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio Grande do Norte; Orientador: Anamaria Martins Moreira;
"Implementing Genetic Algorithms and Clusters for Test Cases Prioritization"; 2009; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio Grande do Norte; Orientador: Anamaria Martins Moreira;
Ferramenta para a geração de dados de teste a partir de especificações B; 2007; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade Federal do Rio Grande do Norte; Orientador: Anamaria Martins Moreira;
Especificação formal de software para implementação de legislação; 2007; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio Grande do Norte; Orientador: Anamaria Martins Moreira;
Estudo de Caso para Agraphs; 2007; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio Grande do Norte; Orientador: Anamaria Martins Moreira;
Reengenharia de FERUS; 2006; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio Grande do Norte; Orientador: Anamaria Martins Moreira;
KitSmart: um kit de tipos e estruturas de dados projetados com o método B para o desenvolvimento rigoroso em Java Card; 2006; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Anamaria Martins Moreira;
Geração de Código Java Card a partir de Especificações Formais em Linguagem B; 2005; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Anamaria Martins Moreira;
Geração de dados de testes a partir de especificações feitas em linguagem B; 2005; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio Grande do Norte; Orientador: Anamaria Martins Moreira;
Geração Automática de Agraphs; 2003; 0 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio Grande do Norte; Orientador: Anamaria Martins Moreira;
Tratamento de excessões em JCML; 2012; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Anamaria Martins Moreira;
Aperfeiçoamento do KitSmart e integração com BSmart; 2008; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Anamaria Martins Moreira;
Geração de APIs para encapsulamento de plataforma Java Card; 2007; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Anamaria Martins Moreira;
Estudo de Caso para Agraphs; 2006; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Anamaria Martins Moreira;
Especificação e Refinamento em B; 2005; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Anamaria Martins Moreira;
especificação em B dos tipos básicos Java Card; 2005; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Anamaria Martins Moreira;
suporte ao desenvolvimento de aplicações Java Card; 2005; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Anamaria Martins Moreira;
Estudo de Caso para FERUS; 2003; 0 f; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Anamaria Martins Moreira;
Produções bibliográficas
-
SOUZA NETO, J. B. ; MOREIRA, A. M. ; VARGAS'SOLAR, GENOVEVA ; MUSICANTE, MARTIN A. . TRANSMUT-Spark: Transformation mutation for Apache Spark. SOFTWARE TESTING, VERIFICATION AND RELIABILITY , v. n/a, p. e1809, 2022.
-
SOUZA NETO, J. B. ; MOREIRA, A. M. ; Vargas-Solar, Genoveva ; MUSICANTE, MARTIN A. . A Two-Level Formal Model for Big Data Processing Programs. SCIENCE OF COMPUTER PROGRAMMING , v. 215, p. 102764, 2021.
-
SOUZA NETO, J. B. ; MOREIRA, A. M. ; MUSICANTE, MARTIN A. . Semantic Web Services testing: A Systematic Mapping study. Computer Science Review , v. 28, p. 140-156, 2018.
-
de Matos, Ernesto C. B. ; MOREIRA, A. M. ; SOUZA NETO, J. B. . An empirical study of test generation with BETA. Journal of The Brazilian Computer Society (Online) , v. 22, p. 8, 2016.
-
COSTA, U. S. ; MOREIRA, A. M. ; MUSICANTE, M. A. ; Souza Neto, P. A. . JCML: A Specification Language for the Runtime Verification of Java Card Programs. Science of Computer Programming (Print) , v. 77, p. 533-550, 2012.
-
COSTA, U. S. ; MOREIRA, A. M. ; MUSICANTE, M. A. ; Souza Neto, P. A. . Specification and Runtime Verification of Java Card Programs. Electronic Notes in Theoretical Computer Science , v. 240, p. 61-78, 2009.
-
ROCHA, B. P. F. D. ; DÉHARBE, D. ; Galvão, S. S. L. ; MOREIRA, A. M. ; Medeiros Jr., V . Verified Compilation and the B Method: A Proposal and a First Appraisal. Electronic Notes in Theoretical Computer Science , v. 240, p. 79-96, 2009.
-
MOREIRA, A. M. ; GOMES, B ; DEHARBE, D . Developing Java Card Applications with B. Electronic Notes in Theoretical Computer Science , v. 184, p. 81-96, 2007.
-
SANTIAGO, R. H. N. ; MOREIRA, A. M. ; LOPES, K. . Implementing Local Intervals in CASL. Electronic Notes in Theoretical Computer Science , v. 184, p. 133-149, 2007.
-
DÉHARBE, D. ; MOREIRA, A. M. ; SENA, D. . Agraphs: Definition, implementation and tools. Electronic Communications of the EASST , v. 1, p. 3, 2006.
-
MOREIRA, A. M. ; RINGEISSEN, Christophe ; DÉHARBE, David Boris Paul ; LIMA, Gleydson . Manipulating algebraic specifications with term-based and graph-based representations. Journal of Logic and Algebraic Programming , Holanda, v. 59, p. 63-87, 2004.
-
MOREIRA, A. M. ; SANTANA, A. . Simulating Algebraic Specification Genericity on Languages with Initial Semantics*1. Electronic Notes in Theoretical Computer Science , Campina Grande, Brazil, v. 95, p. 131-148, 2004.
-
MOREIRA, A. M. ; RINGEISSEN, Christophe ; SANTANA, A. . A Tool Support for Reusing ELAN Rule-Based Components. Electronic Notes in Theoretical Computer Science , Espanha, v. 86, n.2, p. 77-91, 2003.
-
DÉHARBE, David Boris Paul ; MOREIRA, A. M. ; RIBEIRO, L. ; RODRIGUES, V. M. . Introdução a Métodos Formais: Especificação, Semântica e Verificação de Sistemas Concorrentes. Revista de Informática Teórica e Aplicada , Porto Alegre, v. 7, n.1, p. 7-48, 2000.
-
MOREIRA, A. M. ; D'AMORIM, M. (Org.) . Proceedings of the Brazilian Workshop Systematic and Automated Software Testing (SAST 2010). 1. ed. , 2010. v. 1. 130p .
-
RIBEIRO, L. (Org.) ; MOREIRA, A. M. (Org.) . Brazilian Symposium on Formal Methods - SBMF 2006. 1. ed. Porto Alegre: , 2006. v. 1. 256p .
-
MOREIRA, A. M. ; COSTA, U. S. (Org.) . IV Workshop Técnico CIentífico do DIMAp - DIMAp 20 anos, Artigos Selecionados. Natal: Edufrn - Editora da UFRN, 2005. v. 1. 165p .
-
MOREIRA, A. M. ; MELO, A. C. V. (Org.) . Proceedings of the II Workshop on Formal Methods. , 1999. v. 1. 107p .
-
RAMOS, K.D.N. ; RIBEIRO, C. M. F. A. ; MOREIRA, A. M. ; SILVA, I. S. . A formal approach for network-on-chip design. In: Ben A. Abderazek. (Org.). Multicore Systems on Chips. 1ed.: Research Signpost, 2008, v. , p. 141-162.
-
SOUZA NETO, J. B. ; MOREIRA, A. M. ; VARGAS-SOLAR, G. ; MUSICANTE, M. A. . Modeling Big Data Processing Programs. In: Brazilian Symposium on Formal Methods, 2020. SBMF 2020: Formal Methods: Foundations and Applications (LNCS), 2020. v. 12475. p. 101-118.
-
SOUZA NETO, J. B. ; MOREIRA, A. M. ; VARGAS-SOLAR, G. ; MUSICANTE, M. A. . Mutation Operators for Large Scale Data Processing Programs in Spark. In: 32nd International Conference on Advanced Information Systems Engineering, 2020, Grenoble. CAiSE 2020: Advanced Information Systems Engineering - LNCS, 2020. v. 12127. p. 482-497.
-
BRAGA, C. ; DEHARBE, D ; MOREIRA, A. M. ; MARTI-OLIET, N. . A Rewriting Logic Semantics for the Generalized Substitution Language. In: Escola de Informática Teórica e Métodos Formais - ETMF, 2016, Natal. Escola de Informática Teórica e Métodos Formais. Porto Alegre: Sociedade Brasileira de Computação, 2016. p. 93-104.
-
MOREIRA, A. M. ; HENTZ, C. ; DÉHARBE, D. ; MATOS, E. ; Souza Neto, J. ; Medeiros Jr., V . Verifying Code Generation Tools for the B-Method Using Tests: A Case Study. In: 9th International Conference on Tests and Proofs, 2015, L'Aquila. Tests and Proofs, 2015. v. 9154. p. 76-91.
-
Souza Neto, J. ; MATOS, E. ; MOREIRA, A. M. . An empirical study of test generation with BETA. In: th Brazilian Workshop on Systematic and Automated Software Testing ? SAST 2015, 2015, Belo Horizonte. th Brazilian Workshop on Systematic and Automated Software Testing ? SAST 2015, 2015. p. 61-70.
-
HENTZ, C. ; VINJU, J. ; MOREIRA, A. M. . Reducing the Cost of Grammar-Based Testing Using Pattern Coverage. In: International Conference on Testing Software and Systems (ICTSS), 2015, Dubai. International Conference on Testing Software and Systems (ICTSS), 2015. v. 9447. p. 71-85.
-
MOREIRA, A. M. ; MATOS, E. . BETA: a tool for test case generation based on B specifications. In: CBSoft Tools, 2013, Brasilia. Anais do CBSoft 2013, 2013.
-
MOREIRA, A. M. ; HENTZ, C. ; MENEZES, V. . Application of a Syntax-based Testing Method and Tool to Software Product Lines. In: 7th Brazilian Workshop on Systematic and Automated Software Testing, 2013, Brasilia. 7th Brazilian Workshop on Systematic and Automated Software Testing, 2013.
-
ARAUJO, JULIANA ; SOUZA, RAFAEL ; CACHO, NELIO ; MARTINS, ANAMARIA ; NETO, PLACIDO A SOUZA . Handling contract violations in Java Card using explict exception channels. In: 2012 5th International Workshop on Exception Handling (WEH), 2012, Zurich. 2012 5th International Workshop on Exception Handling (WEH). p. 34-40.
-
MATOS, E. ; MOREIRA, A. M. . BETA: A B Based Testing Approach. In: Brazilian Symposium in Formal Methods, 2012, Natal. Formal Methods: Foundations and Applications. Berlin: Springer, 2012. p. 51-66.
-
GOMES, B. E. G. ; DÉHARBE, D. ; MOREIRA, A. M. ; MORAES, K. K. O. . Applying the B Method for the Rigorous Development of Smart Card Applications. In: International Conference on Abstract State Machines, Alloy, B and Z (ABZ 2010), 2010, Orford. Abstract State Machines, Alloy, B and Z. Berlin: Springer, 2010. v. 5977. p. 203-216.
-
HENTZ, C. ; MOREIRA, A. M. . Geração de Sentenças para testes a partir de descrições de linguagens. In: Workshop Brasileiro de Teste de Software Sistemático e Automatizado, 2009, Gramado. SAST 2009 - Workshop Brasileiro de Teste de Software Sistemático e Automatizado, 2009. p. 55-65.
-
DÉHARBE, D. ; Galvão, S. ; MOREIRA, A. M. . Formalizing FreeRTOS: First Steps. In: Brazilian Symposium on Formal Methods, 2009, Gramado. Formal Methods: Foundations and Applications, LNCS, 2009. v. 5902. p. 101-117.
-
ROCHA, B. P. F. D. ; DÉHARBE, D. ; Galvão, S. S. L. ; MOREIRA, A. M. ; Medeiros Jr., V . Proposta e Avaliação de uma Abordagem de Desenvolvimento de Software Fidedigno por Construção com o Método B. In: XXXV Seminário Integrado de Software e Hardware (SEMISH 2008), 2008, Belem. Anais do XXX Congresso da Sociedade Brasileira de Computação. Porto Alegre: Sociedade Brasileira de Computação, 2008. p. 1-15.
-
COSTA, U. S. ; MOREIRA, A. M. ; MUSICANTE, M. A. ; Souza Neto, P. A. . Specification and Runtime Verification of Java Card Programs. In: Brazilian Symposium on Formal Methods, 2008, Salvador, BA. Proceedings of SBMF 2008. Salvador: EDUFBA, 2008. p. 83-98.
-
ROCHA, B. P. F. D. ; DÉHARBE, D. ; Galvão, S. S. L. ; MOREIRA, A. M. ; Medeiros Jr., V . Applying the B method to take on the grand challenge of verified compilation. In: Brazilian Symposium on Formal Methods, 2008, Salvador, BA. Proceedings of SBMF 2008. Salvador: EDUFBA, 2008. p. 35-50.
-
DÉHARBE, D. ; MOREIRA, A. M. ; MUNIZ, P. ; RUSSO, A. . Modelling Control Systems in B: an Industrial Case Study. In: Simpósio Brasileiro de Métodos Formais, 2007, Ouro Preto. Proceedings of the Brazilian Symposium on Formal Methods, 2007. p. 112-127.
-
DÉHARBE, D. ; MOREIRA, A. M. ; SENA, D. . Agraphs: Definition Implementation and Tools. In: Third International Workshop on Graph Based Tools (GraBaTs 2006), 2006, Natal. Third International Workshop on Graph Based Tools (GraBaTs 2006), 2006. p. 106-117.
-
DÉHARBE, D. ; GOMES, B. E. G. ; MOREIRA, A. M. . Automation of Java Card Component Development Using the B Method. In: 11th International Conference on Engineering of Complex Computer Systems, 2006, Stanford. Proceedings Eleventh International Conference on Engineering of Complex Computer Systems. Los Alamitos: IEEE Computer Society, 2006. p. 259-268.
-
RAMOS, K.D.N. ; RIBEIRO, C. M. F. A. ; MOREIRA, A. M. ; SILVA, I. S. . A Formal Approach for Network on Chip Design. In: International Workshop on SoC and MCSoC design, 2006, Yogykarta. Frontiers in Mobile and Web Computing: Proceedings of MoMM2006 & iiWAS2006 Workshops, 2006. v. 1. p. 347-358.
-
SANTIAGO, R. H. N. ; MOREIRA, A. M. ; LOPES, K. . Implementing Local Intervals in CASL. In: Simpósio Brasileiro de Métodos Formais, 2005, Porto Alegre. Brazilian Symposium on Formal Methods, 2005. p. 112-127.
-
MOREIRA, A. M. ; DÉHARBE, David Boris Paul ; GOMES, B. E. G. . Developing Java Card Applications with B. In: Simpósio Brasileiro de Métodos Formais, 2005, Porto Alegre. Brazilian Symposium on Formal Methods, 2005. p. 63-77.
-
MOREIRA, A. M. ; SANTANA, A. . Simulating Algebraic Specification Genericity on Languages with Initial Semantics. In: Workshop de Métodos Formais, 2003, Campina Grande. WMF'2003 - VI Workshop de Métodos Formais - ANAIS, 2003. p. 89-104.
-
MOREIRA, A. M. ; RINGEISSEN, Christophe ; SANTANA, A. . A Tool Support for Reusing ELAN Rule-Based Components. In: International Workshop on Rule-Based Programming, 2003, Valencia. Proceedings of the 4th International Workshop on Rule-Based Programming, RULE'03. Valencia: Universidad Politécnica de Valencia, 2003. p. 67-82.
-
DÉHARBE, David Boris Paul ; MOREIRA, A. M. ; RINGEISSEN, Christophe . Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae. In: Conference on Rewriting Techniques and Applications - RTA, 2002, Copenhagen. Rewriting Techniques and Applications 2002. Berlin: Springer-Verlag, 2002. v. 2378. p. 207-221.
-
SACRAMENTO, W. ; MOREIRA, A. M. ; SOUZA FILHO, G. L. ; BATISTA, T. . Especificação Formal e Implementação de Mecanismos de Seguranca para a Resolução de Nomes no DNS. In: SBRC, 2002, Buzios-RJ. Anais do 20o. Simposio Brasileiro de Redes de Computadores, 2002. v. II. p. 862-877.
-
COSTA, U. S. ; MOREIRA, A. M. ; DÉHARBE, David Boris Paul . Advances in BDD Reduction with Parallel Genetic Algorithms. In: 10th International Workshop on Logic and Synthesis - IWLS, 2001, Gralibakken, 2001. p. 84-90.
-
COSTA, U. S. ; DÉHARBE, D. ; MOREIRA, A. M. . Variable Ordering of BDDs with Parallel Genetic Algorithms. In: PDPTA, 2000, Las Vegas. Proceedings og the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000. v. II. p. 1181-1186.
-
COSTA, U. S. ; MOREIRA, A. M. ; DÉHARBE, David Boris Paul . A cache based parallel genetic algorithm for the BDD ordering problem. In: 12th Symposium on Computer Architecture and High Performance Computing - SABC-PAD'2000, 2000, São Pedro (SP). Pproceedings of the SBAC-PAD'2000, 2000. p. 99-104.
-
DÉHARBE, David Boris Paul ; MOREIRA, A. M. ; RIBEIRO, L. ; RODRIGUES, V. M. . Introdução a Métodos Formais: Especificação, Semântica e Verificação de Sistemas Concorrentes. In: SBES'2000, 2000, João Pessoa, 2000.
-
DÉHARBE, D. ; MOREIRA, A. M. . Symbolic Model Checking With Fewer Fixpoint Computations. In: First World Congress in Formal Methods (FM'99), 1999, Toulouse (França). Berlin: Springer-Verlag, 1999. v. 1708. p. 272-288.
-
MOREIRA, A. M. . Novo Perfil Profissional: Inclusão de Métodos Formais Em Currículos Sobrecarregados. In: VI Workshop sobre Educação em Informática, 1998, Belo Horizonte (MG). Anais do Congresso da SBC'1998, 1998. v. I. p. 465-474.
-
MOREIRA, A. M. . Parametrização de Componentes de Especificação Com Preservação de Semântica. In: XII simpósio Brasileiro de Engenharia de Software, 1998, Maringá (PR). Anais do XII Simpósio Brasileiro de Engenharia de Software, 1998. p. 155-170.
-
DÉHARBE, D. ; MOREIRA, A. M. . Using Induction And Bdds To Model Check Invariants. In: CHARME'97: Advanced Research Working Conference on Correct Hardware Design and Verification Methods, 1997, Montreal (Canadá). Advances in Hardware Design and Verification, 1997. p. 203-213.
-
JACQUET, P. ; MOREIRA, A. M. . Proposals For A Methodical Approach To Generalization Of Specification Components. In: XII SEMISH, 1994, Caxambu, 1994. p. 193-207.
-
JACQUET, P. ; MOREIRA, A. M. . Some Ideas on a Methodic Approach to Generalization. In: ERCIM Workshop on Development and Transformation of Programs, 1993, Nancy, 1993.
-
LOCK, H. ; MOREIRA, A. M. . Issues in the Implementation of Prolog and their Optimization. In: Euromicro 91, 1991, Viena, 1991.
-
CHAME, J. F. ; SOARES, L. F. G. ; VIEIRA, M. F. ; MOREIRA, A. M. . Tranceptores Para Redes Locais Em Barra Comum.. In: V CONGRESSO DA SOCIEDADE BRASILEIRA DE COMPUTACAO / XII SEMISH, 1985, Porto Alegre/RS, 1985. p. 0-0.
-
Souza Neto, J. ; MOREIRA, A. M. . Um estudo sobre geração de testes com BETA: Avaliação e aperfeiçoamento. In: Workshop de Teses e Dissertações do CBSoft, 2014, Maceio. Anais do CBSoft 2014, 2014.
-
SANTOS, S. de O. ; MOREIRA, A. M. . KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B. In: II Congresso Brasileiro de Software - CBSoft, 2011, São Paulo. Anais do WTDSoft, 2011.
-
MOREIRA, A. M. ; MATOS, E. ; SOUZA, F. M. ; COELHO, R. S. . Generating Test Cases From B Specifications: An Industrial Case Study. In: 22nd International Conference on Testing Software and Systems, 2010, Natal. Proceedings of the 22nd IFIP International Conference on Testing Software and Systems: Short Papers. Montréal: Centre de Recherche Informatique de Montréal (CRIM), 2010. p. 55-60.
-
DÉHARBE, D. ; FONTAINE, P. ; MERZ, S. ; MOREIRA, A. M. ; OLIVEIRA, A. S. . Towards automating proofs for model-based software engineering. In: COLIBRI - Colóquio em Informática: Brasil / INRIA, Cooperações, Avanços e Desafios, 2009, Bento Gonçalves. COLIBRI - Colóquio em Informática: Brasil / INRIA, Cooperações, Avanços e Desafios, 2009. p. 1-6.
-
GOMES, B. E. G. ; MOREIRA, A. M. ; DÉHARBE, D. ; MORAES, K. K. O. . A Ferramenta BSmart para o Desenvolvimento Rigoroso de Aplicações Java Card com o Método Formal B. In: Simpósio Brasileiro em Engenharia de Software - Seção de Ferramentas, 2007, João Pessoa. Anais do Simpósio Brasileiro em Engenharia de Software - Seção de Ferramentas, 2007. p. 11-17.
-
GOMES, B. E. G. ; MOREIRA, A. M. . BSmart: a Method and a Tool for Development of Java Card Applications with B. In: XI Workshop de Teses e Dissertações em Engenharia de Software, 2006, Florianópolis. XI Workshop de Teses e Dissertações em Engenharia de Software (WTES), 2006. v. 1. p. 61-66.
-
MOREIRA, A. M. ; HENTZ, C. ; MENEZES, V. . Grammars for Testing. In: Latin Americam Workshop on Formal Methods, 2013, Buenos Aires. Latin Americam Workshop on Formal Methods, 2013.
-
DÉHARBE, D. ; GOMES, B. E. G. ; MOREIRA, A. M. . BSmart: a tool for the development of Java Card applications with the B method. In: First International Conference on Abstract State Machines, B and Z (ABZ), 2008, Londres. Abstract State Machines, B and Z. Berlin: Springer, 2008. p. 351-352.
-
MOREIRA, A. M. . A Generalization Structuring Construct for CASL. In: 16th International Workshop on Algebraic Development Techniques - WADT'2002, 2002, Munique. 16th International Workshop on Algebraic Development Techniques. Munique: Institut fur Informatik, LMU Munchen, 2002. p. 41-42.
-
LIMA, Gleydson ; MOREIRA, A. M. ; DÉHARBE, D. ; PEREIRA, D. ; SENA, D. ; VIDAL, J. . FERUS: um ambiente de desenvolvimento de especificações CASL. In: Simposio Brasileiro de Engenharia de Sofwtare - secao de ferramentas, 2002, Gramado. SBES'02, 2002. p. 1-6.
-
PERAÇA, S. E. ; MOREIRA, A. M. . Proposta de uma Ferramenta de Apoio Formal à Especificação e Re-Utilização de Software. In: III Workshop de Métodos Formais, 2000, João Pessoa. SBES'2000 - Workshops - Anais, 2000. p. 134-138.
-
MOREIRA, A. M. . Proof Preservation In Component Generalization. In: First World Congress on Formal Methods (FM'99), 1999, Toulouse (França). FM99 - Formal Methods. Berlin: Springer-Verlag, 1999. v. II. p. 1866-1866.
-
DÉHARBE, D. ; MOREIRA, A. M. . Model Checking Invariants With Reduced Complexity. In: Logic, Proofs and Algorithms'98, 1998, Campinas (SP). Logic, Proofs and Algorithms'98, 1998. p. 9-10.
-
MOREIRA, A. M. ; MACKIE, I. . Proceedings Tenth International Workshop on Rule-Based Programming. internacional: EPTCS, 2010 (Anais de workshop).
Outras produções
GOMES, B. E. G. ; MOREIRA, A. M. ; DÉHARBE, David Boris Paul ; SANTOS, S. de O. . BSmart. 2012.
MATOS, E. ; MOREIRA, A. M. . BETA. 2012.
HENTZ, C. ; MOREIRA, A. M. . LGen. 2011.
ROCHA, B. P. F. D. ; DÉHARBE, D. ; Galvão, S. S. L. ; Medeiros Jr., V ; MOREIRA, A. M. . Verified compilation based on the B method: an initial appraisal (extended version). 2008.
MOREIRA, A. M. ; RINGEISSEN, Christophe . Generalizing CASL Specification Components and Presenrving Rewrite Proofs. 2003.
MOREIRA, A. M. . SBMF 2014. 2014. (membro de comite de programa).
MOREIRA, A. M. . SAST 2014. 2014. (membro de comite de programa).
MOREIRA, A. M. . CBSoft Tools 2014. 2014. (membro de comite de programa).
MOREIRA, A. M. . CBSoft 2014 - comitê de seleção de workshops. 2014. (membro de comite de programa).
MOREIRA, A. M. . CLEI 2014. 2014. (membro de comite de programa).
MOREIRA, A. M. . CBSoft Tools 2013. 2013. (membro de comite de programa).
MOREIRA, A. M. . CBSoft 2013 - Comitê de seleção de Workshops. 2013. (Co-Chair de comitê de programa).
MOREIRA, A. M. . CSBC 2013 - Concurso de Teses e DIssertações. 2013. (membro de comite de programa).
MOREIRA, A. M. . Brazilian Symposium on Formal Methods - SBMF 2013. 2013. (membro de comite de programa).
MOREIRA, A. M. . Brazilian Workshop on Systematic and Automated Software Testing - SAST 2013. 2013. (membro de comite de programa).
MOREIRA, A. M. . Latin American Workshop on Formal Methods. 2013. (membro de comite de programa).
MOREIRA, A. M. . Brazilian Symposium on Formal Methods - SBMF 2012. 2012. (membro de comite de programa).
MOREIRA, A. M. . Brazilian Workshop on Systematic and Automated Software Testing. 2012. (membro de comite de programa).
MOREIRA, A. M. . CBSoft Tools 2012. 2012. (membro de comite de programa).
MOREIRA, A. M. . B Workshop 2012. 2012. (membro de comite de programa).
MOREIRA, A. M. . CBSoft 2012 - comitê de seleção de workshops. 2012. (membro de comite de programa).
COSTA, U. S. ; LUCENA NETA, N. S. ; MOREIRA, A. M. ; SOUZA, R. C. S. . Matemática Aplicada. 2011. (Desenvolvimento de material didático ou instrucional - Material para Ensino a Distância).
MOREIRA, A. M. . Brazilian Symposium on Formal Methods - SBMF 2011. 2011. (membro de comite de programa).
MOREIRA, A. M. . B Workshop 2011. 2011. (membro de comite de programa).
MOREIRA, A. M. . Brazilian Symposium on Formal Methods - SBMF 2010. 2010. (membro de comite de programa).
MOREIRA, A. M. . Brazilian Workshop on Systematic and Automated Software Testing - SAST 2010. 2010. (Co-Chair de comitê de programa).
MOREIRA, A. M. ; MACKIE, I. . International Workshop on Rule-Based Programming (RULE). 2009. (Co-Chair de comitê de programa).
MOREIRA, A. M. . Brazilian Symposium on Formal Methods - SBMF 2009. 2009. (membro de comite de programa).
MOREIRA, A. M. . Simpósio Brasileiro de Engenharia de Software - SBES 2009. 2009. (membro de comite de programa).
MOREIRA, A. M. . Conferência Latino Americana de Informática - CLEI 2009. 2009. (membro de comite de programa).
MOREIRA, A. M. . International RuleML Symposium on Rule Interchange and Applications. 2009. (membro de comite de programa).
RIBEIRO, L. ; MOREIRA, A. M. . Electronic Notes in Theoretical Computer Science n.195. 2008. (Editoração/Periódico).
MOREIRA, A. M. . Brazilian Symposium on Formal Methods - SBMF 2008. 2008. (membro de comite de programa).
MOREIRA, A. M. . Simpósio Brasileiro de Engenharia de Software - SBES 2008. 2008. (membro de comite de programa).
MOREIRA, A. M. . Brazilian Symposium on Formal Methods - SBMF 2007. 2007. (membro de comite de programa).
MOREIRA, A. M. . Simpósio Brasileiro de Engenharia de Software - SBES 2007. 2007. (membro de comite de programa).
MOREIRA, A. M. . International Conference on Graph Transformations. 2006. (membro de comite de programa).
MOREIRA, A. M. . International Workshop on Software Evolution Through Transformations. 2006. (membro de comite de programa).
MOREIRA, A. M. . Brazilian Workshop on Logical and Semantic Frameworks, with Applications. 2006. (membro de comite de programa).
RIBEIRO, L. ; MOREIRA, A. M. . Brazilian Symposium on Formal Methods - SBMF 2006. 2006. (Co-Chair de comitê de programa).
MOREIRA, A. M. ; DÉHARBE, David Boris Paul . Software Engineering with the B method. 2005. (Curso de curta duração ministrado/Outra).
MOREIRA, A. M. . Simpósio Brasileiro de Métodos Formais - SBMF 2005. 2005. (membro de comite de programa).
MOREIRA, A. M. . Simpósio Brasileiro de Engenharia de Softwrae. 2004. (membro de comite de programa).
MOREIRA, A. M. . Workshop de Teses e Dissertações em Engenharia de Software. 2004. (membro de comite de programa).
MOREIRA, A. M. . Simpósio Brasileiro de Métodos Formais - SBMF 2004. 2004. (membro de comite de programa).
MOREIRA, A. M. . Workshop de Métodos Formais. 2003. (membro de comite de programa).
MOREIRA, A. M. . Simpósio Brasileiro de Engenharia de Software. 2003. (membro de comite de programa).
MOREIRA, A. M. . Workshop de Metodos Formais. 2002. (membro de comite de programa).
MOREIRA, A. M. . ACM SIGPLAN Workshop on Rule Based Programming. 2002. (revisor externo).
MOREIRA, A. M. . 2nd Ibero American Workshop on Software Engineering and Knowledge Enguneering. 2002. (membro de comite de programa).
MOREIRA, A. M. . Simposio Brasileiro de Engenharia de Software. 2002. (membro de comite de programa).
MOREIRA, A. M. . Workshop de Metodos Formais. 2001. (membro de comite de programa).
MOREIRA, A. M. . Simposio Brasileiro de Engenharia de Software. 2001. (membro de comite de programa).
MOREIRA, A. M. . Workshop de Metodos Formais. 2000. (membro de comite de programa).
MOREIRA, A. M. . Simposio Brasileiro de Engenharia de Software. 2000. (membro de comite de programa).
Projetos de pesquisa
-
2020 - Atual
Machine Teaching, Descrição: O Machine Teaching (www.machineteaching.tech) é um sistema web de apoio ao aprendizado de programação que vem sendo desenvolvido na UFRJ e utilizado como ferramenta de apoio aos cursos introdutórios de programação desde 2018. O sistema é uma plataforma para a realização de atividades didáticas em prática de programação que oferece feedback automático. O sistema também tem um caráter inovador, com o uso de mineração de dados educacionais (em inglês, educational data mining) para melhoria do ensino na UFRJ. A correção automática é realizada através da execução de testes, que precisam ser projetaos e inseridos na ferramenta. Um dos aspectos da pesquisa sendo realizada é então a busca de apoio ao docente no momento da definição desses testes de maneira a garantir a sua qualidade.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Anamaria Martins Moreira - Integrante / Carla Delgado - Coordenador / Laura Moraes - Integrante / Eldânae Teixeira - Integrante.
-
2012 - 2016
Unindo Especificações Formais, Gramáticas e Testes para o Desenvolvimento de Software, Descrição: O projeto busca aproximar pesquisas recentes e técnicas já estabelecidas nas áreas de linguagens de programação, métodos formais e testes. As áreas de métodos formais e linguagens possuem diversos fundamentos e interesses em comum. Atuando já há bastante tempo em métodos formais, a área de linguagens representa um recurso adicional para o desenvolvimento de pesquisas de fronteira consistentes. Por outro lado, o interesse na área de testes iniciou-se pela necessidade de testar com qualidade as ferramentas produzidas pelo grupo de pesquisa em métodos formais da UFRN (grupo cadastrado no CNPq sob o nome Formal Methods and Languages Research Laboratory - Forall), e evoluiu com a identificação da área de testes baseados em modelos, uma área de pesquisa relativamente recente, em expansão, e com forte presença na comunidade de métodos formais como um complemento a técnicas de desenvolvimento formal. A pesquisa proposta nesse projeto reúne duas linhas de ação: (1) trazer o embasamento teórico da área de linguagens e dos trabalhos desenvolvidos pelo grupo da PUC-Rio para os trabalhos desenvolvidos pelo grupo Forall-UFRN em torno da geração de testes, procurando ao mesmo tempo contribuir para o desenvolvimento dessa teoria; e (2) aplicar conhecimentos em métodos formais, e em especial o Método B, à formalização de alguns aspectos da linguagem Lua, com especial interesse para os diferentes tipos de co-rotinas, mecanismo chave do trabalho de geração de testes desenvolvido em nossa pesquisa.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Anamaria Martins Moreira - Coordenador / Roberto Ierusalimschy - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
-
2011 - 2016
Confiabilidade e Segurança em Software Crítico Embarcado, Descrição: Sistemas Embarcados têm se tornado cada vez mais comuns no suporte a execução de atividades críticas, tais como controle, monitoração e tomada de decisões, onde falhas podem resultar em perdas ou injúrias a pessoas, ao meio ambiente ou a negócios. Tais sistemas se enquadram no quinto grande desafio da SBC que tem como enfoque o desenvolvimento tecnológico de qualidade de sistemas. O objetivo deste projeto é prover fundamentação teórica e tecnologia para o desenvolvimento de software crítico embarcado correto e seguro, com base na aplicação de técnicas de modelagem formal, transformação, geração automática, verificação de modelos e validação através de teste de software. Serão considerados aspectos e conceitos tais como abstração, tradução de linguagens, independência de plataforma, verificação de propriedades temporais e análise probabilística. As soluções serão aplicadas, prioritariamente, ao domínio aeronáutico, através de cooperação com a empresa Embraer, e de material de transporte metroferroviário, através de uma colaboração com a empresa AeS.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Anamaria Martins Moreira - Integrante / David Déharbe - Integrante / Augusto César Sampaio - Coordenador / Patricia Duarte de Lima Machado - Integrante / Martin Alejandro Musicante - Integrante / Marcel Oliveira - Integrante / Alexandre Cabral Mota - Integrante / Rohit Gheyi - Integrante.
-
2008 - 2016
Instituto Nacional de Ciência e Tecnologia para Engenharia de Software - INES, Descrição: Projeto amplo, contemplando pesquisa, extensão e formação de recursos humanos.O INES (Instituto Nacional de Ciência e Tecnologia para Engenharia de Software), sob a Coordenação do Prof. Silvio Meira, da UFPE, tem como tema global promover desenvolvimento de software com altíssima produtividade, aplicando de forma sistemática o conceito de fábrica. Primordialmente, os sistemas desenvolvidos apresentarão, de forma mensurável e configurável, fidedignidade (ou seja, poderemos depender deles sem receio). Em especial, as iniciativas do INES buscarão diminuir de forma radical as taxas de fracasso de projeto, aumentando o nível de satisfação com a qualidade dos produtos entregues, com custo e benefício controlados. Dentro deste contexto, o Instituto determinará e controlará a execução de atividades com metas de curto, médio e longo prazo, coordenando as contribuições das várias instituições e grupos de pesquisa participantes. A área de atuação dos pesquisadores que irão compor o INES, em termos gerais, engloba atividades de definição, viabilização e implantação de fábricas de software efetivas, com foco em alta produtividade e, ao mesmo tempo, fidedignidade mensurável e controlável. De forma específica, pesquisadores atuarão em diversas linhas de pesquisa conectadas em termos do objetivo em comum: (a) reuso sistemático e linhas de produto de software, (b) verificação e validação automática de sistemas, (c) técnicas de evolução e refatoração automáticas, (d) desenvolvimento dirigido por modelos, (e) linguagens de domínio específico, (f) qualidade de software e (g) engenharia de software experimental.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Anamaria Martins Moreira - Integrante / David Déharbe - Integrante / Umberto Souza da Costa - Integrante / Augusto César Sampaio - Integrante / Paulo Henrique Monteiro Borba - Integrante / Patricia Duarte de Lima Machado - Integrante / Martin Alejandro Musicante - Integrante / Aryldo Russo Jr. - Integrante / Marcel Oliveira - Integrante / Alexandre Cabral Mota - Integrante / Roberta de Souza Coelho - Integrante / Silvio Meira - Coordenador / Sergio Soares - Integrante.
-
2006 - 2008
Um formato de representação e comunicação de informações baseado em grafos - AGRAPHS, Descrição: Aplicações de software, de modo geral, utilizam estruturas de dados, com suas bibliotecas de manipulação, para a representação de informações. Listas, pilhas, árvores e grafos são algumas dessas estruturas. Tradicionalmente, essas estruturas eram definidas de maneira ad-hoc para cada aplicação. Hoje em dia, no entanto, esse tipo de procedimento é considerado pouco eficiente, e a tendência é no sentido de aumentar o grau de reusabilidade e interoperabilidade dessas respresentações, através de sua padronização. Nesse contexto, definimos os Agraphs, uma estrutura de dados para representação de informações com sua biblioteca de manipulação ou API (Application Programming Interface). Agraphs são grafos direcionados tipados que permitem arestas multivaloradas e grafos hierárquicos. Essa estrutura de dados foi até agora objeto de um trabalho de conclusão de curso e de uma dissertação de mestrado. O projeto Agraphs aqui apresentado tem como principal objetivo buscar subsídios para complementar e aperfeiçoar o trabalho iniciado com a proposta do formato, aplicando-o a contextos variados para avaliação da sua generalidade e aplicabilidade, melhorando o formato em si e o suporte oferecido aos seus usuários, tornando-o mais robusto e utilizável.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Anamaria Martins Moreira - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 2
-
2004 - 2012
Engineering of Smart Card Applications, Descrição: A tecnologia de cartões inteligentes é um dos atores mais recentes no mundo das tecnologias da informação. Um cartão inteligente é um dispositivo similar a um cartão de crédito atual, porém comporta um micro-processador e um circuito de memória embutidos. Acoplado a um leitor de cartões, tem poder de processamento para executar diferentes tipos de aplicações, tais como carteira eletrônica, sistema de crédito, sistema de controle de acesso. Os cartões inteligentes são um meio conveniente e seguro de transferência de dados e aplicativos para comunicar e atualizar esses dados em colaboração com outros dispositivos tais como telefones celulares, terminais de acesso de televisão digital (set-top box) e catracas eletrônicas. A segurança é uma preocupação constante dos desenvolvedores de cartões inteligentes. Tipicamente, uma aplicação em cartão inteligente é difundida a milhões de exemplares, frequentemente para aplicações críticas. Atualizar uma aplicação para corrigir uma falha é economicamente inviável e pode ser fatal para a sobrevivência econômica da empresa responsável. Nesse contexto, o uso de métodos rigorosos para o desenvolvimento de aplicações é uma necessidade, que pode ser comprovada pelo interesse demonstrado por líderes do mercado como a empresa GemPlus na aplicação de métodos formais. O projeto SMART enquadra-se no desenvolvimento de ferramentas de suporte à engenharia rigorosa de aplicações para cartões inteligentes com a linguagem JavaCard. Dois bem-sucedidos paradigmas de engenharia rigorosa de software foram instanciados. Atualmente, uma continuação desse projeto encontra-se em execução, com uma tese de doutorado e uma dissertação de mestrado que visam aperfeiçoar os resultados preliminares obtidos na fase inicial do projeto SMART.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (3) . , Integrantes: Anamaria Martins Moreira - Integrante / David Déharbe - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Universidade Federal do Rio Grande do Norte - Bolsa.
-
2001 - 2004
Projeto FERUS - cooperação internacional - UFRN/LORIA(França), Descrição: Aproveitando os conhecimentos complementares dos parceiros franceses e brasileiros nas áreas de sistemas de reescritura e especificaçoes algébricas, o projeto FERUS tem como principal objetivo contribuir para a área de especificação e reutilização de software. Essa contribuição deverá efetuar-se principalmente através das atividades abaixo discriminadas: 1. Aplicação das técnicas formais desenvolvidas pelos parceiros brasileiros, implementando-se um gerenciador de bibliotecas de componentes reutilizáveis, e sendo gerado material e conhecimento práticos que forneçam subsídios para a continuação do desenvolvimento da teoria. 2. Estudo das construções de estruturação oriundas da área de especificações algébricas e sua aplicação à linguagem de especificação e prototipagem ELAN (desenvolvida pelos parceiros franceses no projeto PROTHEO), permitindo torná-la mais modular. 3 Integração dos resultados acima a ELAN e ao ambiente da linguagem de especificação algébrica CASL (linguagem federadora de especificações algébricas promovida pelo grupo de trabalho europeu CoFI - The Common Framework Initiative for Algebraic Specification and Development), provendo suporte para manutenção de bibliotecas de componentes reutilizáveis especificados em CASL, facilitando a verificação de propriedades desses componentes e a integração CASL-ELAN. 4. Definição de uma extensão de CASL que comporte a aritmética intervalar, a fim de oferecer uma ferramenta para a especificação de sistemas que involvam dados contínuos, como é o caso na área de computação científica.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (6) / Especialização: (0) / Mestrado acadêmico: (4) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Anamaria Martins Moreira - Coordenador / David Boris Paul Déharbe - Integrante / Samantha Escobar Peraça - Integrante / Virgínia Carneiro de Paula - Integrante / Regivan Hugo Nunes Santiago - Integrante / Christophe Ringeissen - Integrante / Gleydson Lima - Integrante / Jorgiano Vidal - Integrante / Demostenes Sena - Integrante / David Pereira - Integrante / Patricia Duarte de Lima Machado - Integrante / Anderson Santana - Integrante / Benjamin R C Bedregal - Integrante / Claude Kirchner - Integrante / Helene Kirchner - Integrante., Financiador(es): Universidade Federal do Rio Grande do Norte - Bolsa / Universidade Federal de Campina Grande - Cooperação / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Institut National de Recheche En Informatique Et Automatique - Cooperação / Institut National de Recheche En Informatique Et Automatique - Auxílio financeiro., Número de produções C, T & A: 15
Prêmios
2015
Melhor artigo do workshop SAST 2015, Sociedade Brasileira da Computação.
Histórico profissional
Endereço profissional
-
Universidade Federal do Rio de Janeiro, Instituto de Computação. , Av. Athos da Silveira Ramos, s/n, Cidade Universitária, 21941590 - Rio de Janeiro, RJ - Brasil, Telefone: (21) 39389538
Experiência profissional
2014 - Atual
Universidade Federal do Rio de JaneiroVínculo: Servidor Público, Enquadramento Funcional: Professor titular, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
-
05/2024
Extensão universitária , Instituto de Computação.Atividade de extensão realizada, Museu Virtual do Carnaval de Rua do Rio de Janeiro: o bloco Suvaco do Cristo.
-
01/2024
Outras atividades técnico-científicas , Instituto de Computação, Instituto de Computação.Atividade realizada, Produção e disseminação online de material didático.
-
07/2022
Direção e administração, Instituto de Computação.Cargo ou função, Diretora.
-
08/2014
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Projeto de Teste de Software, Tópicos Especiais em Engenharia de Software, Fundamentos da Computação Digital
-
03/2014
Ensino, Engenharia, Nível: GraduaçãoDisciplinas ministradas, Computação I
-
01/2014
Pesquisa e desenvolvimento, Instituto de Computação.Linhas de pesquisa
-
06/2021 - 07/2022
Direção e administração, Instituto de Computação.Cargo ou função, Diretora Pro Tempore.
-
08/2014 - 05/2022
Conselhos, Comissões e Consultoria, Centro de Ciências Matemáticas e da Natureza (CCMN).Cargo ou função, Membro do Núcelo Docente Estruturante do Bacharelado em Ciência da Computação.
-
10/2017 - 06/2021
Direção e administração, Centro de Ciências Matemáticas e da Natureza (CCMN).Cargo ou função, Substituta eventual da Chefia do Departamento de Ciência da Computação.
-
05/2015 - 06/2021
Conselhos, Comissões e Consultoria, Centro de Ciências Matemáticas e da Natureza (CCMN).Cargo ou função, Membro da Congregação do Instituto de Matemática.
-
07/2016 - 06/2019
Conselhos, Comissões e Consultoria, Centro de Ciências Matemáticas e da Natureza (CCMN).Cargo ou função, Representante dos docentes Titulares no Conselho de Centro.
-
07/2015 - 10/2017
Conselhos, Comissões e Consultoria, Centro de Ciências Matemáticas e da Natureza (CCMN).Cargo ou função, Membro da Comissão de Avaliação de Progressão Docente do DCC (nível Associado).
-
12/2014 - 12/2014
Extensão universitária , Departamento de Ciência da Computação/Instituto de Matemática.Atividade de extensão realizada, Organização de Mini-curso "Segurança de Software e Hardware".
2014 - 2020
Universidade Federal do Rio Grande do NorteVínculo: Colaborador, Enquadramento Funcional: Colaboradora na pós-graduação
1998 - 2014
Universidade Federal do Rio Grande do NorteVínculo: , Enquadramento Funcional: Professor-pesquisador, Carga horária: 40, Regime: Dedicação exclusiva.
1997 - 1997
Universidade Federal do Rio Grande do NorteVínculo: Bolsista recém-doutor, Enquadramento Funcional: professor-pesquisador, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
-
12/1997 - 03/2014
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.Cargo ou função, membro de colegiado de pós-graduação.
-
03/1997 - 03/2014
Pesquisa e desenvolvimento, Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.Linhas de pesquisa
-
02/2011 - 12/2013
Ensino, Engenharia de Software, Nível: GraduaçãoDisciplinas ministradas, Elementos de Matemática para a Computação
-
06/1997 - 12/2013
Ensino, Sistemas e Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, Engenharia de Software, Especificações Formais, Estágio Docência em Computação, Estudo Orientado, Técnicas Fundamentais de Inteligência Artificial, Teoria da Computação
-
03/1997 - 12/2013
Ensino, Ciência da Compuatação e Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Engenharia de Software, Especificação e Verificação de Programas, Introdução à Engenharia da Computação, Introdução à Engenharia de Software, Organização e Arquitetura de Computadores I, Proposta de Relatório de Graduação, Técnicas de Especificação Formal, Tópicos Especiais em Computação - Testes de Software
-
10/2010 - 06/2011
Direção e administração, Secretaria de Relações Internacionais.Cargo ou função, Secretária de Relações Internacionais.
-
02/2008 - 10/2010
Direção e administração, Gabinete do Reitor.Cargo ou função, Assessora para Assuntos Internacionais.
-
09/2003 - 08/2007
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas.Cargo ou função, Membro de comissão permanente - Comissão Permanente de Desenvolvimento Institucional (CPDI).
-
07/2003 - 07/2005
Direção e administração, Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.Cargo ou função, Chefe de Departamento.
-
07/2001 - 03/2002
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas.Cargo ou função, Membro de comissão permanente - CPDI - Comissão Permanente para o Desenvolvimento Institucional.
-
12/2000 - 03/2002
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.Cargo ou função, membro de colegiado de curso de graduação.
-
06/2000 - 03/2002
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas.Cargo ou função, Membro de colegiado superior - CONSEPE.
-
09/1998 - 09/2000
Direção e administração, Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.Cargo ou função, Coordenador de Programa.
1999 - 2002
Ministério da EducaçãoVínculo: Outro, Enquadramento Funcional: consultor Ad-hoc, Carga horária: 0
Outras informações:
Consultor ad-hoc para avaliação de cursos de graduação em computação
Atividades
-
06/1999 - 03/2002
Conselhos, Comissões e Consultoria, Sesu.Cargo ou função, Consultor para avaliação de cursos de graduação.
1995 - 1997
Carnegie Mellon UniversityVínculo: Pesquisador Visitante, Enquadramento Funcional: Coodenadora de Equipe, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
-
09/1995 - 01/1997
Pesquisa e desenvolvimento, Language Technologies Institute, Center For Machine Translation.Linhas de pesquisa
1994 - 1995
Institut Universitaire Technologique de ValenceVínculo: Outro, Enquadramento Funcional: ATER - Attaché Temporaire de Enseignement e R, Carga horária: 20
Atividades
-
10/1994 - 07/1995
Ensino, Informatique, Nível: GraduaçãoDisciplinas ministradas, Algoritmos
1984 - 1984
Pontifícia Universidade Católica do Rio de Janeiro, PUC-RioVínculo: Outro, Enquadramento Funcional: MONITORA
1983 - 1984
Pontifícia Universidade Católica do Rio de Janeiro, PUC-RioVínculo: bolsista, Enquadramento Funcional: ESTAGIARIA
1981 - 1982
Pontifícia Universidade Católica do Rio de Janeiro, PUC-RioVínculo: bolsista, Enquadramento Funcional: ESTAGIARIA
Atividades
-
03/1990 - 07/1990
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, COMPLEMENTOS ELETRONICOS (MINISTRADA A ALUNOS DO CURSO DE ENGENHARIA DA COMPUTACAO)
-
07/1983 - 12/1984
Pesquisa e desenvolvimento, Centro Técnico-Científico, Departamento de Engenharia Elétrica.Linhas de pesquisa
-
03/1981 - 12/1982
Estágios , Pontifícia Universidade Católica do Rio de Janeiro.Estágio realizado, TESTE E MANUTENCAO DE EQUIPAMENTOS ELETRONICOS.
1984 - 1987
MedidataVínculo: Servidor público ou celetista, Enquadramento Funcional: ENGENHARIA PROJETISTA DE HARDWARE, Carga horária: 40
Atividades
-
12/1984 - 03/1987
Pesquisa e desenvolvimento.Linhas de pesquisa
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Anamaria Martins Moreira 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?