Anamaria Martins Moreira

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


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, onde continua o trabalho desenvolvido entre 1997 e 2013 na Universidade Federal do Grande do Norte. 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: especificações formais (algébricas e baseadas em conjuntos), sistemas de reescrita, ferramentas de apoio aos métodos formais e testes. 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. (Texto informado pelo autor)


Identificação


Nome
Anamaria Martins Moreira
Nome em citações bibliográficas
MOREIRA, A. M.;MOREIRA, A;MARTINS, ANAMARIA

Endereço


Endereço Profissional
Universidade Federal do Rio de Janeiro, Departamento de Ciência da Computação/Instituto de Matemática.
DCC/Instituto de Matemática
Cidade Universitário
21941590 - Rio de Janeiro, RJ - Brasil - Caixa-postal: 68530
Telefone: (21) 39389538
Fax: (21) 39389515
URL da Homepage: http://www.dimap.ufrn.br/~anamaria


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


1990 - 1995
Doutorado em Informatique.
Institut National Polytechnique de Grenoble, INPG, França.
Título: La Généralisation: un Outil pour la Réutilisation, Ano de obtenção: 1995.
Orientador: Paul Jacquet.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
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.
1987 - 1990
Mestrado em Informática.
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Título: UM TRADUTOR DE PROLOG PARA PASCAL,Ano de Obtenção: 1990.
Orientador: JOSE LUCAS MOURAO RANGEL NETTO.
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 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: Linguagens de Programação.
Setores de atividade: Informática.
1980 - 1984
Graduação em Engenharia Elétrica.
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.


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.


Atuação Profissional



Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
Vínculo institucional

2014 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor titular, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

10/2017 - Atual
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.
07/2016 - Atual
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.
05/2015 - Atual
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.
08/2014 - Atual
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Projeto de Teste de Software
Tópicos Especiais em Engenharia de Software
Fundamentos da Computação Digital
08/2014 - Atual
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.
03/2014 - Atual
Ensino, Engenharia, Nível: Graduação

Disciplinas ministradas
Computação I
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".

Universidade Federal do Rio Grande do Norte, UFRN, Brasil.
Vínculo institucional

2014 - Atual
Vínculo: Colaborador, Enquadramento Funcional: Colaboradora na pós-graduação

Vínculo institucional

1998 - 2014
Vínculo: , Enquadramento Funcional: Professor-pesquisador, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

1997 - 1997
Vínculo: Bolsista recém-doutor, Enquadramento Funcional: professor-pesquisador, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

02/2011 - Atual
Ensino, Engenharia de Software, Nível: Graduação

Disciplinas ministradas
Elementos de Matemática para a Computação
12/1997 - Atual
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.
6/1997 - Atual
Ensino, Sistemas e Computação, Nível: Pós-Graduação

Disciplinas 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
3/1997 - Atual
Pesquisa e desenvolvimento , Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.

3/1997 - Atual
Ensino, Ciência da Compuatação e Engenharia da Computação, Nível: Graduação

Disciplinas 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.
9/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).
7/2003 - 7/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.
7/2001 - 3/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 - 3/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.
6/2000 - 3/2002
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas, .

Cargo ou função
Membro de colegiado superior - CONSEPE.
9/1998 - 9/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.

Ministério da Educação, MEC, Brasil.
Vínculo institucional

1999 - 2002
Ví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

6/1999 - 3/2002
Conselhos, Comissões e Consultoria, Sesu, .

Cargo ou função
Consultor para avaliação de cursos de graduação.

Carnegie Mellon University, CMU, Estados Unidos.
Vínculo institucional

1995 - 1997
Vínculo: Pesquisador Visitante, Enquadramento Funcional: Coodenadora de Equipe, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

9/1995 - 1/1997
Pesquisa e desenvolvimento , Language Technologies Institute, Center For Machine Translation.


Institut Universitaire Technologique de Valence, IUT-VALENCE, França.
Vínculo institucional

1994 - 1995
Vínculo: Outro, Enquadramento Funcional: ATER - Attaché Temporaire de Enseignement e R, Carga horária: 20

Atividades

10/1994 - 7/1995
Ensino, Informatique, Nível: Graduação

Disciplinas ministradas
Algoritmos

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Vínculo institucional

1984 - 1984
Vínculo: Outro, Enquadramento Funcional: MONITORA

Vínculo institucional

1983 - 1984
Vínculo: bolsista, Enquadramento Funcional: ESTAGIARIA

Vínculo institucional

1981 - 1982
Vínculo: bolsista, Enquadramento Funcional: ESTAGIARIA

Atividades

3/1990 - 7/1990
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas 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.

03/1981 - 12/1982
Estágios , Pontifícia Universidade Católica do Rio de Janeiro, .

Estágio realizado
TESTE E MANUTENCAO DE EQUIPAMENTOS ELETRONICOS.

Medidata, MEDIDATA, Brasil.
Vínculo institucional

1984 - 1987
Ví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
DESENVOLVIMENTO EXPERIMENTAL


Linhas de pesquisa


1.
DESENVOLVIMENTO EXPERIMENTAL
2.
DESENVOLVIMENTO EXPERIMENTAL
3.
Redes de Computadores
4.
Engenharia de Software
5.
Concepção de Sistemas Digitais
6.
Teoria e Inteligência Computacional
7.
Processamento de Linguagem Natural


Projetos de pesquisa


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.
2011 - Atual
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: Em andamento; Natureza: Pesquisa.
2008 - Atual
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: Em andamento; Natureza: Pesquisa.
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 orientações: 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): Universidade Federal do Rio Grande do Norte - Bolsa / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
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: 11 / Número de orientações: 4


Outros Projetos


2011 - Atual
MobiComp
Descrição: Projeto de Mobilidade de estudantes de graduação em cooperação com a Radboud University, Nijmegen, Holanda..
Situação: Em andamento; Natureza: Outra.
Alunos envolvidos: Graduação: (4) .
Integrantes: Anamaria Martins Moreira - Coordenador / Erik Poll - Integrante.


Membro de corpo editorial


2014 - Atual
Periódico: Revista de Informática Teórica e Aplicada: RITA


Revisor de periódico


2005 - 2005
Periódico: Journal of the Brazilian Computer Society (0104-6500)
2006 - 2006
Periódico: Information and Software Technology (0950-5849)
2009 - Atual
Periódico: Science of Computer Programming
2014 - 2014
Periódico: Journal od Software Engineering and Development


Revisor de projeto de fomento


2011 - 2011
Agência de fomento: Coordenação de Aperfeiçoamento de Pessoal de Nível Superior


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação.
3.
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.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.


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.


Prêmios e títulos


2015
Melhor artigo do workshop SAST 2015, Sociedade Brasileira da Computação.


Produções



Produção bibliográfica
Citações

SCOPUS

Artigos completos publicados em periódicos

1.
SOUZA NETO, J. B.2018SOUZA 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.

2.
de Matos, Ernesto C. B.2016de 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.

3.
COSTA, U. S.2012 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.

4.
COSTA, U. S.2009COSTA, 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.

5.
ROCHA, B. P. F. D.2009ROCHA, 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.

6.
GOMES, B2007MOREIRA, A. M.; GOMES, B ; DEHARBE, D . Developing Java Card Applications with B. Electronic Notes in Theoretical Computer Science, v. 184, p. 81-96, 2007.

7.
SANTIAGO, R. H. N.2007SANTIAGO, 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.

8.
DÉHARBE, D.2006DÉHARBE, D. ; MOREIRA, A. M. ; SENA, D. . Agraphs: Definition, implementation and tools. Electronic Communications of the EASST, v. 1, p. 3, 2006.

9.
MOREIRA, A. M.;MOREIRA, A;MARTINS, ANAMARIA2004 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.

10.
MOREIRA, A. M.;MOREIRA, A;MARTINS, ANAMARIA2004MOREIRA, 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.

11.
MOREIRA, A. M.;MOREIRA, A;MARTINS, ANAMARIA2003MOREIRA, 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.

12.
DÉHARBE, David Boris Paul2000DÉ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.

Livros publicados/organizados ou edições
1.
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 .

2.
RIBEIRO, L. (Org.) ; MOREIRA, A. M. (Org.) . Brazilian Symposium on Formal Methods - SBMF 2006. 1. ed. Porto Alegre: , 2006. v. 1. 256p .

3.
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 .

4.
MOREIRA, A. M.; MELO, A. C. V. (Org.) . Proceedings of the II Workshop on Formal Methods. , 1999. v. 1. 107p .

Capítulos de livros publicados
1.
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.

Trabalhos completos publicados em anais de congressos
1.
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.

2.
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.

3.
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.

4.
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.

5.
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.

6.
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.

7.
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.

8.
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.

9.
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.

10.
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.

11.
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.

12.
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.

13.
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.

14.
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.

15.
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.

16.
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.

17.
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.

18.
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.

19.
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.

20.
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.

21.
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.

22.
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.

23.
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.

24.
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.

25.
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.

26.
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.

27.
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.

28.
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.

29.
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.

30.
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.

31.
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.

32.
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.

33.
JACQUET, P. ; MOREIRA, A. M. . Proposals For A Methodical Approach To Generalization Of Specification Components. In: XII SEMISH, 1994, Caxambu, 1994. p. 193-207.

34.
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.

35.
LOCK, H. ; MOREIRA, A. M. . Issues in the Implementation of Prolog and their Optimization. In: Euromicro 91, 1991, Viena, 1991.

36.
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.

Resumos expandidos publicados em anais de congressos
1.
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.

2.
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.

3.
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.

4.
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.

5.
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.

6.
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.

Resumos publicados em anais de congressos
1.
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.

2.
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.

3.
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.

4.
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.

5.
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.

6.
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.

7.
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.

Outras produções bibliográficas
1.
MOREIRA, A. M.; MACKIE, I. . Proceedings Tenth International Workshop on Rule-Based Programming. internacional: EPTCS, 2010 (Anais de workshop).


Produção técnica
Programas de computador sem registro
1.
GOMES, B. E. G. ; MOREIRA, A. M. ; DÉHARBE, David Boris Paul ; SANTOS, S. de O. . BSmart. 2012.

2.
MATOS, E. ; MOREIRA, A. M. . BETA. 2012.

3.
HENTZ, C. ; MOREIRA, A. M. . LGen. 2011.

Trabalhos técnicos
1.
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.

2.
MOREIRA, A. M.; RINGEISSEN, Christophe . Generalizing CASL Specification Components and Presenrving Rewrite Proofs. 2003.


Demais tipos de produção técnica
1.
MOREIRA, A. M.. SBMF 2014. 2014. (membro de comite de programa).

2.
MOREIRA, A. M.. SAST 2014. 2014. (membro de comite de programa).

3.
MOREIRA, A. M.. CBSoft Tools 2014. 2014. (membro de comite de programa).

4.
MOREIRA, A. M.. CBSoft 2014 - comitê de seleção de workshops. 2014. (membro de comite de programa).

5.
MOREIRA, A. M.. CLEI 2014. 2014. (membro de comite de programa).

6.
MOREIRA, A. M.. CBSoft Tools 2013. 2013. (membro de comite de programa).

7.
MOREIRA, A. M.. CBSoft 2013 - Comitê de seleção de Workshops. 2013. (Co-Chair de comitê de programa).

8.
MOREIRA, A. M.. CSBC 2013 - Concurso de Teses e DIssertações. 2013. (membro de comite de programa).

9.
MOREIRA, A. M.. Brazilian Symposium on Formal Methods - SBMF 2013. 2013. (membro de comite de programa).

10.
MOREIRA, A. M.. Brazilian Workshop on Systematic and Automated Software Testing - SAST 2013. 2013. (membro de comite de programa).

11.
MOREIRA, A. M.. Latin American Workshop on Formal Methods. 2013. (membro de comite de programa).

12.
MOREIRA, A. M.. Brazilian Symposium on Formal Methods - SBMF 2012. 2012. (membro de comite de programa).

13.
MOREIRA, A. M.. Brazilian Workshop on Systematic and Automated Software Testing. 2012. (membro de comite de programa).

14.
MOREIRA, A. M.. CBSoft Tools 2012. 2012. (membro de comite de programa).

15.
MOREIRA, A. M.. B Workshop 2012. 2012. (membro de comite de programa).

16.
MOREIRA, A. M.. CBSoft 2012 - comitê de seleção de workshops. 2012. (membro de comite de programa).

17.
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).

18.
MOREIRA, A. M.. Brazilian Symposium on Formal Methods - SBMF 2011. 2011. (membro de comite de programa).

19.
MOREIRA, A. M.. B Workshop 2011. 2011. (membro de comite de programa).

20.
MOREIRA, A. M.. Brazilian Symposium on Formal Methods - SBMF 2010. 2010. (membro de comite de programa).

21.
MOREIRA, A. M.. Brazilian Workshop on Systematic and Automated Software Testing - SAST 2010. 2010. (Co-Chair de comitê de programa).

22.
MOREIRA, A. M.; MACKIE, I. . International Workshop on Rule-Based Programming (RULE). 2009. (Co-Chair de comitê de programa).

23.
MOREIRA, A. M.. Brazilian Symposium on Formal Methods - SBMF 2009. 2009. (membro de comite de programa).

24.
MOREIRA, A. M.. Simpósio Brasileiro de Engenharia de Software - SBES 2009. 2009. (membro de comite de programa).

25.
MOREIRA, A. M.. Conferência Latino Americana de Informática - CLEI 2009. 2009. (membro de comite de programa).

26.
MOREIRA, A. M.. International RuleML Symposium on Rule Interchange and Applications. 2009. (membro de comite de programa).

27.
RIBEIRO, L. ; MOREIRA, A. M. . Electronic Notes in Theoretical Computer Science n.195. 2008. (Editoração/Periódico).

28.
MOREIRA, A. M.. Brazilian Symposium on Formal Methods - SBMF 2008. 2008. (membro de comite de programa).

29.
MOREIRA, A. M.. Simpósio Brasileiro de Engenharia de Software - SBES 2008. 2008. (membro de comite de programa).

30.
MOREIRA, A. M.. Brazilian Symposium on Formal Methods - SBMF 2007. 2007. (membro de comite de programa).

31.
MOREIRA, A. M.. Simpósio Brasileiro de Engenharia de Software - SBES 2007. 2007. (membro de comite de programa).

32.
MOREIRA, A. M.. International Conference on Graph Transformations. 2006. (membro de comite de programa).

33.
MOREIRA, A. M.. International Workshop on Software Evolution Through Transformations. 2006. (membro de comite de programa).

34.
MOREIRA, A. M.. Brazilian Workshop on Logical and Semantic Frameworks, with Applications. 2006. (membro de comite de programa).

35.
RIBEIRO, L. ; MOREIRA, A. M. . Brazilian Symposium on Formal Methods - SBMF 2006. 2006. (Co-Chair de comitê de programa).

36.
MOREIRA, A. M.; DÉHARBE, David Boris Paul . Software Engineering with the B method. 2005. (Curso de curta duração ministrado/Outra).

37.
MOREIRA, A. M.. Simpósio Brasileiro de Métodos Formais - SBMF 2005. 2005. (membro de comite de programa).

38.
MOREIRA, A. M.. Simpósio Brasileiro de Engenharia de Softwrae. 2004. (membro de comite de programa).

39.
MOREIRA, A. M.. Workshop de Teses e Dissertações em Engenharia de Software. 2004. (membro de comite de programa).

40.
MOREIRA, A. M.. Simpósio Brasileiro de Métodos Formais - SBMF 2004. 2004. (membro de comite de programa).

41.
MOREIRA, A. M.. Workshop de Métodos Formais. 2003. (membro de comite de programa).

42.
MOREIRA, A. M.. Simpósio Brasileiro de Engenharia de Software. 2003. (membro de comite de programa).

43.
MOREIRA, A. M.. Workshop de Metodos Formais. 2002. (membro de comite de programa).

44.
MOREIRA, A. M.. ACM SIGPLAN Workshop on Rule Based Programming. 2002. (revisor externo).

45.
MOREIRA, A. M.. 2nd Ibero American Workshop on Software Engineering and Knowledge Enguneering. 2002. (membro de comite de programa).

46.
MOREIRA, A. M.. Simposio Brasileiro de Engenharia de Software. 2002. (membro de comite de programa).

47.
MOREIRA, A. M.. Workshop de Metodos Formais. 2001. (membro de comite de programa).

48.
MOREIRA, A. M.. Simposio Brasileiro de Engenharia de Software. 2001. (membro de comite de programa).

49.
MOREIRA, A. M.. Workshop de Metodos Formais. 2000. (membro de comite de programa).

50.
MOREIRA, A. M.. Simposio Brasileiro de Engenharia de Software. 2000. (membro de comite de programa).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
OLIVEIRA, M.; MOREIRA, A. M.; Mota, A.. Participação em banca de Sarah Raquel da Rocha SIlva. 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.

2.
MOREIRA, A. M.; MACHADO, P. D. L.; AQUINO JUNIOR, G. S.. Participação em banca de Viviane de Menezes Ramalho. 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.

3.
MOREIRA, A. M.; Gheyi, R.; DÉHARBE, D.. Participação em banca de Simone de Oliveira Santos. KitSmart: uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B. 2012.

4.
MOREIRA, A. M.; MACHADO, P. D. L.; COELHO, R. S.. Participação em banca de Ernesto Cid Brasil de Matos. 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.

5.
OLIVEIRA, M.; SAMPAIO, A. C.; MOREIRA, A. M.. Participação em banca de Madiel de Souza Conserva Filho. 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.

6.
MOREIRA, A. M.; IERUSALIMSCHY, R.; COELHO, R. S.. Participação em banca de Cleverton Henz Antunes. 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.

7.
MOREIRA, A; DÉHARBE, D.; Cavalcanti, A.; Maitelli, A.. Participação em banca de Valerio Gutemberg de Medeiros Junior. 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.

8.
MOREIRA, A. M.; SAMPAIO, A. C.; Mota, A.. Participação em banca de Lucas Albertins de Lima. 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.

9.
MOREIRA, A. M.; COELHO, R. S.; OLIVEIRA, M.; Mota, A.. Participação em banca de Fernanda Monteiro de Souza. 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.

10.
LEITE, J. C.; Saibel C.; MOREIRA, A. M.. Participação em banca de Lirisnei Gomes de Souza. 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.

11.
MOREIRA, A. M.; MUSICANTE, M. A.; COSTA, U. S.; BORBA, P. H. M.. Participação em banca de Plácido Antonio de Souza Neto. 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.

12.
MOREIRA, A. M.; SAMPAIO, A. C.; DÉHARBE, D.; OLIVEIRA, M.. Participação em banca de Bruno Emerson Gurgel Gomes. 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.

13.
LEITE, J. C.; BARANAUSKAS, M. C. C.; MOREIRA, A. M.. Participação em banca de Thaís Lima Machado. 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.

14.
NUNES, D.; LAMB, L. C.; MOREIRA, A. M.; RIBEIRO, L.. Participação em banca de Antonio Soares de Azevedo Terceiro. Semantics for an Algebraic Specification Language. 2006. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

15.
MOREIRA, A. M.; IERUSALIMSCHY, R.; DÉHARBE, D.; MUSICANTE, M. A.. Participação em banca de Demóstenes Santos de Sena. Agraphs: Definição, Implementação e Ferramentas. 2006. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

16.
SANTIAGO, R. H. N.; HAEUSLER, E. H.; MOREIRA, A. M.; BEDREGAL, Benjamin R C. Participação em banca de Adriano Xavier Carvalho. 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.

17.
MOREIRA, A. M.; SANTIAGO, R. H. N.; HAEUSLER, E. H.. Participação em banca de Anderson Santana de Oliveira. 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.

18.
MOREIRA, A. M.. Participação em banca de Katiane Ribeiro Lopes. 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.

19.
MOREIRA, A. M.; BEDREGAL, Benjamin R C; CAMPOS, Marcília Andrade. Participação em banca de Samara Pereira da Costa Melo. Especificação do Tipo Intervalar Parametrizado em CASL. 2003. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

20.
MOREIRA, A. M.; DÉHARBE, D.; REIS, A. I.. Participação em banca de Jorgiano Marcio Bruno Vidal. 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.

21.
MOREIRA, A. M.; FERNANDES, J. H. C.; PAULA, V. C.; MACHADO, P. D. L.. Participação em banca de Samantha Escobar Peraca. 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.

22.
MOREIRA, A. M.. Participação em banca de Aline Maria Malachini Miotto. 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.

23.
ROCHA, B. P. F. D.; MOREIRA, A. M.; DÉHARBE, David Boris Paul; SAMPAIO, A. C.; PAULA, V. C.. Participação em banca de Bartira Paraguaçu Falcão Dantas da Rocha. 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.

24.
MOREIRA, A. M.; DÉHARBE, David Boris Paul; MARTINS, Simone de Lima. Participação em banca de Umberto da Souza Costa. 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.

25.
RIBEIRO, C. M. F. A.; MOREIRA, A. M.; SOUZA FILHO, G. L.; MAGALHÃES, M. F.; LOPES, A. B.. Participação em banca de Claudia Maria Fernandes de Araújo Ribeiro. 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.

Teses de doutorado
1.
MUNIZ, P.; MOREIRA, A. M.; MELO, A. C. V.; BECERRA, J. L. R.; ROCHA, R. L. A.. Participação em banca de Thiago Carvalho de Souza. 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.

2.
DÉHARBE, D.; MOREIRA, A. M.; SAMPAIO, A. C.; Gheyi, R.; OLIVEIRA, M.. Participação em banca de Bruno Emerson Gurgel Gomes. Desenvolvimento Formal de Aplicações para Smart Cards. 2012. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

3.
KIRCHNER, Claude; MOREIRA, A. M.. Participação em banca de Claudia Fernanda Oliveira Kiermes Tavares. 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é.

4.
MOREIRA, A. M.. Participação em banca de Simone André da Costa Cavalheiro. 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.

5.
IERUSALIMSCHY, R.; HAEUSLER, E. H.; MOREIRA, A. M.. Participação em banca de Sergio Queiroz de Medeiros. 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.

6.
SILVA, I. S.; RIBEIRO, C. M. F. A.; LIMA. J.A.G.; MOREIRA, A. M.; BEDREGAL, Benjamin R C; OLIVEIRA, L. A.. Participação em banca de Karla Darlene N. 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.

7.
MOREIRA, A. M.. Participação em banca de Rohit Gheyi. A Refinement Theory for Alloy. 2007. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

8.
MOREIRA, A. M.; DÉHARBE, D.; CAMPOS, S.; COELHO JUNIOR, C.; MOURA, A.; CHI, W. H.; VIEIRA, N. J.. Participação em banca de Umberto Souza da Costa. Um verificador de modelos explícito-simbólico. 2005. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

9.
MOREIRA, A. M.; NUNES, D.; MOREIRA, A.; RIBEIRO, L.; MARTINI, A.. Participação em banca de Ana Paula Ludke Ferreira. Object Oriented Grammars. 2005. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul.

10.
MOREIRA, A. M.; HAEUSLER, E. H.; LUCENA, C. P.; BRAGA, C.; LEITE, J.; SOARES, L. F. G.. Participação em banca de Marcelo Fagundes Felix. 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.

11.
MOREIRA, A. M.. Participação em banca de Ana Lucia Moura. Revisitando Co-rotinas. 2004. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

12.
SANTIAGO, R. H. N.; MOREIRA, A. M.; QUEIROZ, R. G. B.; CLAUDIO, D. M.; COSTA, A. C. R.. Participação em banca de Regivan Hugo Nunes Santiago. Teoria das Equações Intervalares Locais. 1999. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

Qualificações de Doutorado
1.
MOREIRA, A. M.; HAEUSLER, E. H.; IERUSALIMSCHY, R.; MASCARENHAS, F.. Participação em banca de André Murbach Maidl. 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.

2.
MOREIRA, A. M.; MACHADO, P. D. L.. Participação em banca de João Felipe Silva Ouriques. 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.

3.
MOREIRA, A. M.; MACHADO, P. D. L.; FIGUEIREDO, J.; ANDRADE, W.. Participação em banca de Ana Emilia Victor Barbosa Coutinho. 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.

4.
SAMPAIO, A. C.; MOREIRA, A. M.; DÉHARBE, D.. Participação em banca de Bruno Emerson Gurgel Gomes. 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.

5.
MUSICANTE, M. A.; MOREIRA, A. M.. Participação em banca de Placido Antonio de Souza Neto. 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.

6.
MOREIRA, A. M.; RIBEIRO, C. M. F. A.; SILVA, I. S.. Participação em banca de Karla Darlene N. 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.

7.
MOREIRA, A. M.; RIBEIRO, L.; NUNES, D.. Participação em banca de Ana Paula Ludtke Ferreira. Object-Oriented Graph-Grammars. 2004. Exame de qualificação (Doutorando em Computação) - Universidade Federal do Rio Grande do Sul.

8.
FERNANDES, J. H. C.; MOREIRA, A. M.; ORGAMBIDE, A. C. F.; BORBA, P. H. M.. Participação em banca de Jorge Henrique Cabral Fernandes. 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.

Qualificações de Mestrado
1.
MOREIRA, A. M.; RIBEIRO, C. M. F. A.; RAMOS, K.D.N.. Participação em banca de IGOR AUGUSTO DE CARVALHO ALVES. 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.

2.
MOREIRA, A. M.; DÉHARBE, D.; MUSICANTE, M. A.. Participação em banca de João Batista de Souza Neto. 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.



Participação em bancas de comissões julgadoras
Concurso público
1.
MOREIRA, A. M.. Professor Adjunto. 2009. Universidade Federal de Campina Grande.

2.
MOREIRA, A. M.. Professor Adjunto. 2008. Universidade Federal Rural do Semi-Árido.

3.
MOREIRA, A. M.. Professor Substituto em Teoria da Computacao. 2001. Universidade Federal do Rio Grande do Norte.

4.
MOREIRA, A. M.. Professor Assistente em Engenharia de Software. 2000. Universidade Estadual do Sudoeste da Bahia.

5.
MOREIRA, A. M.; ACCIOLY, Benedito; GOTTGTROY, Marcia de Paiva Bastos. Professor Adjunto. 1998. Universidade Federal do Rio Grande do Norte.

Avaliação de cursos
1.
MOREIRA, A. M.; BORTOLOZZI, F.. Autorizacao de curso de Sistemas de Informacao. 2002. Ministério da Educação.

2.
MOREIRA, A. M.; FORTES, R. P.. Autorizacao de curso de Sistemas de Informacao. 2001. Ministério da Educação.

3.
MOREIRA, A. M.; SANTANA, R. H. C.. Autorizacao de curso de Sistemas de Informacao. 2001. Ministério da Educação.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
V Congresso Brasileiro de Software - CBSoft. comitê de programa, reunião de comissão especial e chair de seção. 2015. (Congresso).

2.
IV Congresso Brasileiro de Software. coordenadora de workshops. 2014. (Congresso).

3.
III Congresso Brasileiro de Software - CBSoft.BETA: A B Based Testing Approach. 2012. (Simpósio).

4.
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).

5.
Reunião anual do Forum de Assessorias Internacionais das IES.Repreentação da UFRN. 2011. (Outra).

6.
22nd International Conference on Testing Software and Systems.Generating Test Cases From B Specifications: An Industrial Case Study. 2010. (Simpósio).

7.
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).

8.
Reunião anual do Forum de Assessorias Internacionais das IES.Repreentação da UFRN. 2010. (Outra).

9.
Reunião anual do Forum de Assessorias Internacionais das IES.Apresentação da AAI-UFRN. 2009. (Encontro).

10.
Semana Franco-Brasileira de Educação Superior. 2009. (Outra).

11.
Encontro de Cooperação Internacional.Apresentação da AAI-UFRN. 2008. (Encontro).

12.
Forum de reitores Brasil-Japão. 2008. (Encontro).

13.
III Seminário Nacional do REUNI " Inovações Acadêmicas: Reestruturação e Impactos Administrativos". 2008. (Seminário).


Organização de eventos, congressos, exposições e feiras
1.
MOREIRA, A. M.. Simpósio Brasileiro de Métodos Formais. 2006. (Congresso).

2.
MOREIRA, A. M.; RIBEIRO, L. . International Conference on Graph Transformations. 2006. (Congresso).



Orientações



Orientações e supervisões em andamento
Tese de doutorado
1.
Cleverton Hentz Antunes. Geração de Testes a partir de Gramáticas. Início: 2013. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
João Batista de Souza Neto. 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.

2.
Viviane de Menezes Ramalho. 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.

3.
Simone de Oliveira Santos. 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.

4.
Ernesto Cid Brasil de Matos. 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.

5.
Cleverton Hentz. 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.

6.
Fernanda Monteiro de Souza. 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.

7.
Plácido Antonio de Souza Neto. 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.

8.
Bruno Emerson Gurgel Gomes. 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.

9.
Demostenes Santos de Sena. 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.

10.
Anderson Santana de Oliveira. 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.

11.
Samantha Escobar Peraca. 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.

12.
Umberto Souza da Costa. 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.

Tese de doutorado
1.
Ernesto Cid Brasil de Matos. 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.

Trabalho de conclusão de curso de graduação
1.
Roberto Alves de Almeida Junior. 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.

2.
Victor Pereira Ferreira. 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.

3.
Ricardo José Sales Junior. "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.

4.
Itamir de Morais Barroca Filho. 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.

5.
Rafael Chacon. 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.

6.
Joaz Santana Praxedes Junior. 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.

7.
Dhalmo Krause de Oliveira. 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.

8.
Thiago Fernandes Silva Dutra. 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.

9.
Bruno Emerson Gurgel Gomes. 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.

10.
Fernanda Monteiro de SOuza. 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.

11.
Demostenes Sena. 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.

Iniciação científica
1.
Juliana Araújo de Oliveira. 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.

2.
Giuliano Vilela Cid. 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.

3.
Katia Karine de Oliveira Moraes. 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.

4.
Joaz Santana Praxedes Junior. 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.

5.
Itamir de Morais Barroca Filho. 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.

6.
Katia Karine de Oliveira Moraes. 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.

7.
Thiago Fernandes SIlva Dutra. 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.

8.
Ibanez Cavalcanti Ferreira. 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.



Inovação



Programa de computador sem registro
1.
HENTZ, C. ; MOREIRA, A. M. . LGen. 2011.

2.
GOMES, B. E. G. ; MOREIRA, A. M. ; DÉHARBE, David Boris Paul ; SANTOS, S. de O. . BSmart. 2012.

3.
MATOS, E. ; MOREIRA, A. M. . BETA. 2012.


Projetos de pesquisa

Outros projetos


Educação e Popularização de C & T



Desenvolvimento de material didático ou instrucional
1.
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).




Página gerada pelo Sistema Currículo Lattes em 23/10/2018 às 12:56:54