Currículo do Sistema de Currículos Lattes (Ana Cristina Vieira de Melo)

Ana Cristina Vieira de Melo

possui graduação em Bacharelado Em Ciência da Computação pela Universidade Federal de Pernambuco (1986) , mestrado em Ciências da Computação pela Universidade Federal de Pernambuco (1989) , doutorado em Phd In Computer Science pela The University Of Manchester (1995) e pós-doutorado pela University of Oxford (2009) . Atualmente é Professor Doutor da Universidade de São Paulo, consultor do Conselho Nacional de Desenvolvimento Científico e Tecnológico, consultor do Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, Consultor Ad-hoc do Fundação de Amparo à Pesquisa do Estado de São Paulo, Revisor de periódico da Journal of the Brazilian Computer Society (0104-6500), Revisor de periódico da Formal Aspects of Computing, Revisor de periódico da International Journal of Software Engineering and Knowledge Engineering, Membro - Comissão Especial de Métodos Formais da Sociedade Brasileira de Computação, Revisor de periódico da Theoretical Computer Science e Revisor de periódico da Science of Computer Programming. Tem experiência na área de Ciência da Computação , com ênfase em Teoria da Computação. Atuando principalmente nos seguintes temas: reuse, Formal Methods, Process Algebras, Formal Verification, Bisimulation.
(Texto gerado automaticamente pela aplicação CVLattes)

Última atualização do currículo em 04/02/2010
Endereço para acessar este CV:
http://lattes.cnpq.br/1225623517319669

Dados pessoais

Nome	Ana Cristina Vieira de Melo
Nome em citações bibliográficas	MELO, Ana C. V. de;de Melo, Ana C.V.
Sexo	Feminino

Endereço profissional

Universidade de São Paulo, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
Rua do Matão, 1010
Cidade Universitária
05508090 - Sao Paulo, SP - Brasil
Telefone: (11) 30919689 Fax: (11) 30916134

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

2008 - 2009

Pós-Doutorado .
University of Oxford, UO, Inglaterra.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.

1990 - 1995

Doutorado em Phd In Computer Science .
The University Of Manchester.
Título: Formal Reuse of Hardware Design, Ano de Obtenção: 1995.
Orientador: Howard Barringer.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: reuse; Formal Methods; Process Algebras; Formal Verification; Bisimulation.
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.
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.
Setores de atividade: Desenvolvimento de Programas (Software).

1987 - 1989

Mestrado em Ciências da Computação .
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: Especificação Formal de links e nós em um sistema de hipertexto para desenvolvimento de software, Ano de Obtenção: 1989.
Orientador: Silvio Romero de Lemos Meira.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Hipertexto; Métodos formais; Ambientes para Desenvolviemntonto de Software.
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.
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.
Setores de atividade: Desenvolvimento de Programas (Software).

1983 - 1986

Graduação em Bacharelado Em Ciência da Computação .
Universidade Federal de Pernambuco, UFPE, Brasil.

Atuação profissional

Sociedade Brasileira de Computação, SBC, Brasil.

Vínculo institucional

2006 - Atual

Vínculo: Colaborador, Enquadramento Funcional: Membro - Comissão Especial de Métodos Formais

Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil.

Vínculo institucional

2004 - Atual

Vínculo: Colaborador, Enquadramento Funcional: Consultor Ad-hoc

Atividades

1/2004 - Atual	Conselhos, Comissões e Consultoria, .
	Cargo ou função Consultor Ad-hoc.

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

Vínculo institucional

2003 - Atual

Vínculo: consultor, Enquadramento Funcional: , Carga horária: 0

Atividades

7/2003 - Atual	Conselhos, Comissões e Consultoria, Diretoria de Desenvolvimento Científico e Tecnológico, Superintendência das Engenharias Ciências Exatas e da Terra.
	Cargo ou função Consultor Ad-hoc.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.

Vínculo institucional

2001 - Atual

Vínculo: consultor, Enquadramento Funcional: , Carga horária: 0

Atividades

1/2001 - Atual	Conselhos, Comissões e Consultoria, Desenvolvimento Científico, Informática.
	Cargo ou função Consultor Ad-hoc.

Universidade de São Paulo, USP, Brasil.

Vínculo institucional

1996 - Atual

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

Atividades

5/2005 - Atual	Atividades de Participação em Projeto, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
	Projetos de pesquisa Um Método de Desenvolvimento e Testes para Sistemas Baseados em Componentes com Tratamento de Exceções

3/2003 - Atual	Conselhos, Comissões e Consultoria, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
	Cargo ou função Comissão de admissão e bolsas da pós-graduação da unidade - suplente.

1/2002 - Atual	Atividades de Participação em Projeto, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
	Projetos de pesquisa CooPiTools - Cooperation among Pi-calculus Tools

1/1998 - Atual	Atividades de Participação em Projeto, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
	Projetos de pesquisa Ambiente Java baseado em Reutilização

1/1996 - Atual	Pesquisa e desenvolvimento , Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
	Linhas de pesquisa Engenharia de Software Reutilização formal de software e hardware Verificação Formal Agentes móveis

2009 - 2010	Atividades de Participação em Projeto, Instituto de Matemática e Estatística, .
	Projetos de pesquisa Web Services confiáveis - Um estudo sobre os problemas atuais

2008 - 2010	Atividades de Participação em Projeto, Instituto de Matemática e Estatística, .
	Projetos de pesquisa Ambiente Integrado para Verificação e Teste da Coordenação de Componentes Tolerantes a Falhas

08/2009 - 12/2009	Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas MAC0115 - Introdução à Computação para Ciências Exatas (IO) MAC0340 - Laboratório de Engenharia de Software

08/2009 - 12/2009	Ensino, Ciencia da Computacao, Nível: Pós-Graduação.
	Disciplinas ministradas MAC5785 - Software Confiável: Desenvolvimento Formal

2009 - 2009	Atividades de Participação em Projeto, Instituto de Matemática e Estatística, .
	Projetos de pesquisa A methodology and related technology for multi-agent simulation

2007 - 2009	Atividades de Participação em Projeto, Instituto de Matemática e Estatística, .
	Projetos de pesquisa Formalização da Orquestração de Componentes Tolerantes a Falhas

02/2008 - 07/2008	Ensino, Engenharia - Poli, Nível: Graduação.
	Disciplinas ministradas MAC0435 - Métodos Formais para Especificação e Construção de Programas MAC0444 - Sistemas Baseados em Conhecimento MAC2166 - Introdução à Computação para Engenharias

02/2008 - 07/2008	Ensino, Ciencia da Computacao, Nível: Pós-Graduação.
	Disciplinas ministradas MAC5732 - Introdução à Verificação de Programas MAC5737 - Tópicos em Inteligência Artificial

01/2007 - 04/2007	Ensino, Engenharia - Poli, Nível: Graduação.
	Disciplinas ministradas MAC2014 - Laboratório de Programação (2 turmas)

08/2006 - 12/2006	Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas MAC0340 - Laboratório de Engenharia de Software MAC0332 - Engenharia de Software

08/2006 - 12/2006	Ensino, Ciencia da Computacao, Nível: Pós-Graduação.
	Disciplinas ministradas MAC5766 - Reutilização de Software e Hardware MAC5764 - Tópicos em Engenharia de Software

2/2005 - 7/2005	Ensino, Ciências da Computação, Nível: Pós-Graduação.
	Disciplinas ministradas MAc 5785 - Software Confiável: Desenvolvimento Formal

2/2005 - 7/2005	Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas MAC 435 - Métodos Formais para Especificação e Construção de Programas

7/2003 - 6/2005	Atividades de Participação em Projeto, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
	Projetos de pesquisa CCC-AHIA Cooperação e Compartilhamento de Conhecimento entre Agentes Heterogêneos Inteligentes e Autônomos

8/2004 - 12/2004	Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas Laboratório de Engenharia de Software

8/2004 - 12/2004	Ensino, Geociências, Nível: Graduação.
	Disciplinas ministradas Mac115 - Introdução à Computação para Ciências Exatas

8/2003 - 12/2003	Ensino, Ciências da Computação, Nível: Pós-Graduação.
	Disciplinas ministradas MAC 5764 - Tópicos em Engenharia de Software

8/2003 - 12/2003	Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas MAC 332 - Engenharia de Software MAC 239 - Métodos Formais em Programação

2/2003 - 7/2003	Ensino, Ciências da Computação, Nível: Pós-Graduação.
	Disciplinas ministradas MAC 5732 - Verificação Formal de Programas

2/2003 - 7/2003	Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas MAC 316 - Conceitos Fundamentais de Linguagens de Programação

4/2001 - 4/2003	Conselhos, Comissões e Consultoria, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
	Cargo ou função Membro de conselho de unidade.

8/2002 - 12/2002	Ensino, Ciências da Computação, Nível: Pós-Graduação.
	Disciplinas ministradas MAC 5764 - Tópicos em Engenharia de Software

8/2002 - 12/2002	Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas MAC 332 - Engenharia de Software

2/2002 - 7/2002	Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas MAC 316 - Conceitos Fundamentais de Linguagens de Programação

2/2002 - 7/2002	Ensino, Geociências, Nível: Graduação.
	Disciplinas ministradas MAC 115 - Introdução à Computação para Ciências Exatas e Tecnologias

1/1998 - 2002	Atividades de Participação em Projeto, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
	Projetos de pesquisa DECaFf-KB - Distributed Environment for Cooperation among Formalisms for Knowledge Bases

8/2001 - 12/2001	Ensino, Ciências da Computação, Nível: Pós-Graduação.
	Disciplinas ministradas MAC 5764 - Tópicos em Engenharia de Software MAC 5766 - Reutilização de Software e Hardware

8/2001 - 12/2001	Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas MAC 332 - Engenharia de Software

2/2001 - 7/2001	Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas MAC 316 - Conceitos Fundamentais de Linguagens de Programação (truma 45) MAC 316 - Conceitos Fundamentais de Linguagens de Programação (turma 50)

10/2000 - 4/2001	Conselhos, Comissões e Consultoria, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
	Cargo ou função Membro de conselho de unidade.

1/1998 - 2001	Atividades de Participação em Projeto, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
	Projetos de pesquisa SIDAM - Sistema de Informações Distribuídas de Agentes Móveis

8/2000 - 12/2000	Ensino, Ciências da Computação, Nível: Pós-Graduação.
	Disciplinas ministradas MAC 5764 - Tópicos em Engenharia de Software

8/2000 - 12/2000	Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas MAC 332 - Engenharia de Software

4/1999 - 9/2000	Conselhos, Comissões e Consultoria, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
	Cargo ou função Membro de conselho de unidade - suplente.

2/2000 - 7/2000	Ensino, Ciências da Computação, Nível: Pós-Graduação.
	Disciplinas ministradas MAC 5785 - Software Confiável: Desenvolviemnto Formal

2/2000 - 7/2000	Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas MAC 435 - Métodos Formais para Especificação e Construção de Programas

2/2000 - 7/2000	Ensino, Engenharia Elétrica - Poli, Nível: Graduação.
	Disciplinas ministradas MAC 2166 - Introdução à Computação para Engenharias

1/1999 - 2000	Atividades de Participação em Projeto, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
	Projetos de pesquisa MAC Multimídia - Material Didático para Dsiciplinas de Introdução à Computação

8/1999 - 12/1999	Ensino, Ciências da Computação, Nível: Pós-Graduação.
	Disciplinas ministradas MAC 5732 - Verificação Formal de Programas

10/1997 - 10/1999	Conselhos, Comissões e Consultoria, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
	Cargo ou função Comissão de admissão e Bolsas da Pós-graduação da unidade.

2/1999 - 7/1999	Ensino, Ciências da Computação, Nível: Pós-Graduação.
	Disciplinas ministradas MAC 5766 - Reutilização de Software e Hardware

2/1999 - 7/1999	Ensino, Licenciatura Em Matemática, Nível: Graduação.
	Disciplinas ministradas MAC 110 - Introduçã à computação para Licenciatura em Matemática

8/1998 - 12/1998	Ensino, Ciências da Computação, Nível: Pós-Graduação.
	Disciplinas ministradas MAC 5764 - Tópicos em Engenharia de Software

8/1998 - 12/1998	Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas MAC 332 - Engenharia de Software

2/1998 - 7/1998	Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas MAC 239 - Métodos Formais em Programação

2/1998 - 7/1998	Ensino, Engenharia Elétrica - Poli, Nível: Graduação.
	Disciplinas ministradas MAC 115 - Introdução à Computação para Engenharias

8/1997 - 12/1997	Ensino, Ciências da Computação, Nível: Pós-Graduação.
	Disciplinas ministradas MAC 5732 - Verificação Formal de Programas

2/1997 - 7/1997	Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas MAC 329 - Álgebra de Boole e Aplicações

2/1997 - 7/1997	Ensino, Engenharia Elétrica - Poli, Nível: Graduação.
	Disciplinas ministradas MAC 115 - Introdução à Computação para Engenharias

1/1997 - 2/1997	Treinamentos ministrados , Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
	Treinamentos ministrados Noções de Computação II - Curso de Verão - 98 horas aula

University of Oxford, UO, Inglaterra.

Vínculo institucional

2008 - 2009

Vínculo: Professor Visitante, Enquadramento Funcional: Bolsista

Atividades

2008 - 2009	Atividades de Participação em Projeto, Oxford University Computing Laboratory, .
	Projetos de pesquisa Construção de Componentes Concorrentes na Abordagem de Desenvolvimento Baseado em Modelos Formais

Ministério da Educação, MEC, Brasil.

Vínculo institucional

1999 - 2002

Vínculo: Colaborador, Enquadramento Funcional: , Carga horária: 0

Atividades

1999 - 2002	Conselhos, Comissões e Consultoria, Sesu, Ceeinf.
	Cargo ou função Consultor.

Universidade Estadual de Campinas, UNICAMP, Brasil.

Vínculo institucional

1996 - 1999

Vínculo: Colaborador, Enquadramento Funcional: Pesquisador - Pós-Graduação, Carga horária: 0

Vínculo institucional

1995 - 1996

Vínculo: Bolsista recém-doutor, Enquadramento Funcional: Bolsista/Pesquisador, Carga horária: 40

Atividades

11/1996 - 1999	Pesquisa e desenvolvimento , Faculdade de Engenharia Elétrica e de Computação, Departamento de Engenharia da Computação e Automação Industrial.
	Linhas de pesquisa Reutilização de Software

8/1996 - 11/1996	Ensino, Engenharia Elétrica, Nível: Pós-Graduação.
	Disciplinas ministradas Introdução a Métodos Formais

Universidade Federal de Pernambuco, UFPE, Brasil.

Vínculo institucional

1990 - 1990

Vínculo: Bolsista de Projeto, Enquadramento Funcional: Pesquisador Associado, Carga horária: 40

Atividades

1/1990 - 9/1990	Pesquisa e desenvolvimento , Centro de Ciências Exatas e da Natureza, Departamento de Informática.
	Linhas de pesquisa Engenharia de Software Métodos Formais Programação Orientada por Objetos

Grupo Industrial João Santos, GIJS, Brasil.

Vínculo institucional

1986 - 1986

Vínculo: Estagiário, Enquadramento Funcional: , Carga horária: 20

Outras informações

Estágio no Centro de Computação do Grupo Industrial

Linhas de Pesquisa

1.	Engenharia de Software

2.	Reutilização formal de software e hardware

3.	Verificação Formal

4.	Agentes móveis

5.	Reutilização de Software

6.	Engenharia de Software

7.	Métodos Formais

8.	Programação Orientada por Objetos

Projetos de Pesquisa

2009 - 2010

Web Services confiáveis - Um estudo sobre os problemas atuais

Descrição: Aplicativos Web Services oferecem serviços através de uma rede e são cada vez mais utilizados para integrarem sistemas e soluções das mais variadas complexidades. Os Web Services estão sendo cada vez mais usados em sistemas altamente complexos, principalmente com a chegada da web 2.0. Em alguns cenários com maior criticidade, a confiança no Web Service passa a ser um fator de fundamental importância. Atualmente, uma das suas principais características é o fato de que sua comunicação é feita em um ambiente com baixa confiabilidade, como a Internet, cujos protocolos de comunicação nem sempre provêm as garantias necessárias de funcionamento correto. De fato, isso é uma barreira que impede que empresas invistam em aplicativos críticos que dependam de integração com Web services. Com o objetivo de garantir um serviço de qualidade, a comunidade acadêmica e até mesmo a indústria têm despendido um grande esforço para definir modelos de Qualidade de Serviço especificamente para Web Services, e estudar alternativas para o problema de forma a aumentar a confiabilidade nos serviços oferecidos por eles. Estudar a fundo uma possível solução requer conhecimento sobre as diversas alternativas já pesquisadas e sobre as tendências tecnológicas que prometem ajudar a suprir as atuais necessidades. Assim, a proposta do presente estudo é analisar os principais problemas relacionados à confiabilidade de Web Services, com o objetivo de obter as informações necessárias para prover subsídios de como implementar soluções adequadas a situações específicas. Além disso, o estudo pode servir como referência para que sejam pesquisadas novas soluções. .
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico ( 1) .
Integrantes: Paulo Roberto de Araújo França Nunes - Integrante / Ana Cristina Vieira de Melo - Coordenador.
Financiador(es): Serasa-Experian Fundação de Apoio à Pesquisa - Bolsa.Número de orientações: 1.

2009 - 2009

A methodology and related technology for multi-agent simulation

Descrição: Multi-agent systems are useful to model complex systems in which the entities to be studied can be decomposed into several interacting pieces called agents. Human societies, computer networks, neural tissue and cell biology are examples of systems that can be seen from this perspective. There are a number of ways that such modelling can be done, ranging from purely formal approaches to entirely experimental ones. Our work, which is situated between these two extremes, focuses on employing simulation in order to study such multi-agent models. That is, we specify the agents as computer programs and run interesting scenarios in a simulator, hoping to learn something about the model after several simulations. As one would expect, simple simulation approaches of this kind are already in use nowadays. However, they are also rather naive with respect to automated analysis of simulation results. Typically, one merely runs the simulation several times and collect statistics about some variables. Clearly, though, as the simulation runs in a computer and is specified as a program, it must be possible to perform many kinds of automated analyses beyond such simple statistics compilation. Our work, thus, focuses on this issue: what kind of algorithms, theories and software infrastructure are required in order to have a simulator capable of helping an experimenter discover useful information about a simulation model. We believe that many ideas and techniques from the Formal Methods and Software Testing communities can be successfully adapted to this context. The crucial insight here is that simulations can be seen as incomplete explorations of state-spaces, and as such we can hope, for example, to apply approximate versions of Model Checking and other techniques of automated reasoning. To fulfill this vision, we intend to develop both the necessary theory and its implementation as a simulator. We expect, thus, to create a technology that can signific.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Doutorado ( 1) .
Integrantes: Paulo Salem da Silva - Integrante / Marie-Claude Gaudel - Integrante / Ana Cristina Vieira de Melo - Coordenador.
Número de orientações: 1.

2008 - 2010

Ambiente Integrado para Verificação e Teste da Coordenação de Componentes Tolerantes a Falhas

Descrição: Com o crescimento e popularização do mercado de componentes, muitos fornecedores de software têm se especializado no desenvolvimento e comercialização de componentes que atendam às necessidades específicas dos desenvolvedores de sistemas. Estes componentes são mais conhecidos como Commercial-Off-The-Shelf . Entretanto, a montagem de sistemas corporativos que sejam confiáveis e tolerantes a falhas, a partir da integração de componentes comerciais, tem-se mostrado uma atividade relativamente complexa. Garantir que esta integração não falhe passou a ser algo imprescindível. Com o objetivo de definir quais requisitos são necessários para estabelecer um bom teste do software, definem-se os critérios de teste. Mesmo considerando o direcionamento da escolha de conjuntos de testes a serem realizados a partir dos critérios, tais conjuntos são, na sua maioria, ainda muito complexos. Uma outra abordagem para garantir o funcionamento do software como inicialmente especificado, são as técnicas de verificação formal de programas, as quais garantem que os programas funcionam de acordo com a especificação ou atendem a um conjunto de propriedades relevantes. A viabilidade prática de testes de software depende de mecanismos e ferramentas que auxiliem esta atividade, de forma a automatizar a geração de casos e dados de testes a serem aplicados. Por outro lado, a aplicação prática de verificadores formais em linguagens de programação depende da predefinição de propriedades, já que os "desenvolvedores" de software, em geral, não possuem treinamento adequado para definir novas propriedades. Além disso, faz-se necessário o uso conjunto de ferramentas de ambas as atividades para que sejam exploradas suas complementariedades. Este projeto de Mestrado se propõe a desenvolver um ambiente integrado para a verificação e teste de protocolos para a coordenação do comportamento execepcional de componentes..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico ( 1) .
Integrantes: Simone Hanazumi - Integrante / Ana Cristina Vieira de Melo - Coordenador.
Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa.Número de orientações: 1.

2008 - 2009

Construção de Componentes Concorrentes na Abordagem de Desenvolvimento Baseado em Modelos Formais

Descrição: Component-based software is one of the reuse approaches successfully used. The task of developing software components can be seen from two different perspectives. One that would take care of building components useful in many different situations, and another that would develop the final software using these reusable components. Naturally, technology alone does not guarantee the creation of reusable components. Truly component-oriented approaches require methods that can define what kind of entities the components must represent, how they are composed and how such compositions are to be employed. Having all this together to end up with a set of components easily built and that can be reused in an appropriate way is not very straightforward. To make components construction more cost-effective and of a better quality, the model-driven development can be adopted. In this case, a design model language is required for components design, together with a code generation mechanism. Booster is a design language developed at the University of Oxford (UK) for components construction via code generation. It is an object-oriented language based on formal methods, namely B and Z, that is actually able to generate components under the contexts of sequential composition. In practice, however, component-based software naturally encompass contexts in which components are concurrently composed instead of purely sequential. This project is about a study on how to improve the model-driven components development with concurrent composition. From a theoretical point-of-view, a study on the abstraction level for specifying, through formal means, the required and provided interfaces of components must be carried on to end up with a model from which programs code can be generated. Also, mechanisms for components orchestration in the context of concurrent composition must be developed in order to provide an architecture and a corresponding protocol to coordi.
Situação: Concluído; Natureza: Pesquisa.
Integrantes: Jim Davies - Integrante / Ana Cristina Vieira de Melo - Coordenador.
Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa..

2007 - 2009

Formalização da Orquestração de Componentes Tolerantes a Falhas

Descrição: Com a popularização das redes de computadores e dos gerenciadores de banco de dados, os sistemas de informação tornaram-se elementos essenciais de suporte a processos de negócio de empresas fornecedoras de serviços indispensáveis à sociedade, tais como automação bancária e telefonia. Esses sistemas modernos são também considerados de missão crítica pois qualquer falha pode provocar, além de prejuízos financeiros, desgastes na imagem e reputação da empresa envolvida. A utilização de \emph{componentes} na estruturação desses sistemas promove maior qualidade, confiabilidade e flexibilidade ao produto e agiliza o processo de desenvolvimento. Entretanto, para que estes benefícios sejam totalmente observados, é fundamental que os provedores de componentes projetem-nos com especificações precisas, completas e consistentes. Além de imprecisas e inconsistentes, as especificações, na maioria das vezes, omitem ou negligenciam o comportamento dos componentes nas situações de falha. Desta forma, a utilização de componentes não confiáveis, cujos comportamentos não podem ser inteiramente previstos, compromete seriamente o projeto de sistemas. Uma estratégia para a especificação de componentes tolerantes a falhas é informar a ocorrência de erros através de exceções e realizar a recuperação dos mesmos por rotinas de tratamento correspondentes. Contudo, o uso de notações precisas para representar os componentes tolerantes a falhas contribuem mas não são o suficiente para obtermos sistemas confiáveis. A falta de mecanismos adequados para a integração de componentes pode gerar comportamentos inesperados em sistemas construídos a partir da composição de componentes. Da mesma forma, a integração dos comportamentos referentes ao tratamento de falhas dos componentes também podem proporcionar comportamentos inesperados se não forem coordenados adequadamente. Este projeto tem como objetivo principal aprofundar os estudos e desenvolver mecanismos para a in.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico ( 3) Doutorado ( 3) .
Integrantes: Ana Cristina Vieira de Melo - Coordenador.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro..

2005 - 2007

Um Método de Desenvolvimento e Testes para Sistemas Baseados em Componentes com Tratamento de Exceções

Descrição: A disseminação de sistemas computacionais em atividades críticas tornou a confiabilidade uma característica indispensável a esses sistemas. Essa confiabilidade é obtida através de técnicas de tolerância a falhas, que aumentam a complexidade do desenvolvimento. Para auxiliar a construção de sistemas tolerantes a falhas, esse projeto de pesquisa propõe um método de desenvolvimento baseado em componentes que guiará tanto as fases de desenvolvimento quanto os testes, paralelizando essas atividades. Número FAPESP: 04/10663-8.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Eliane Martins - Integrante / Cecília M F Rubira - Coordenador / Ana Cristina Vieira de Melo - Integrante.
Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro..

2003 - 2005

CCC-AHIA Cooperação e Compartilhamento de Conhecimento entre Agentes Heterogêneos Inteligentes e Autônomos

Descrição: Estudo sobre cooperação entre agentes autônomos híbridos. .
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Flávio Soares Correa da Silva - Coordenador / Leliane Barros - Integrante / Renata Wasserman - Integrante / Marcelo Finger - Integrante / Ana Cristina Vieira de Melo - Integrante.
Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro..

2002 - 2006

CooPiTools - Cooperation among Pi-calculus Tools

Descrição: Pi-calculus é uma das teorias pioneiras sobre agentes móveis. Além do esforço na construção das teorias, foram desenvolvidas também ferramentas de suporte ao uso das mesmas. Existem atualmente algumas ferramentas para verificação formal de processos concorrentes e agentes móveis, tanto para pi-calculus quanto para algumas outras teorias. Cada uma dessas ferramentas fornece serviços específicos para os quais elas foram concebidas. Algumas verificam se um dado modelo concorrente preserva algumas propriedades, enquanto outras verificam a equivalência entre modelos distintos. Apesar de todos os esforços, vários desafios ainda persistem na construção de ferramentas: o desenvolvimento de técnicas eficientes para a verificação de agentes móveis, construir ferramentas de suporte à especificação e verificação que sejam de fácil uso por usuários comuns, diminuição do esforço na construção de ferramentas e desenvolvimento de novas técnicas que abranjam classes de problemas não tratados atualmente. Considerando a diminuição do esforço de construção de novas ferramentas, um dos objetivos atuais na área de verificação formal é o compartilhamento de serviços entre ferramentas distintas através da sua integração. Este projeto de pesquisa tem como objetivo a integração das ferramentas de verificação para agentes móveis descritos em pi-calculus. Dessa forma, não há a necessidade de reimplementar todos os serviços requisitados em um único verificador, mas estabelecer comunicação entre verificadores capazes de fornecer os requisitos desejados..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 1) / Especialização ( 0) / Mestrado acadêmico ( 3) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Ana Cristina Vieira de Melo - Coordenador.
Número de orientações: 3.

1999 - 2000

MAC Multimídia - Material Didático para Dsiciplinas de Introdução à Computação

Descrição: CAPES - Proin Produção de material didático para ensino à distância da disciplina introdutória de computação. O objetivo principal do projeto é a produção de um software básico de auxílio ao estudo de exercícios introdutórios de programação. Este auxilia o entendimento e direciona a soluções de problemas propostos..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Alan M Durham - Integrante / Dilma M da Silva - Integrante / Fávio Soares Corrêa da Silva - Integrante / Carlos Eduardo Ferreira - Integrante / Cristina G Fernandes - Integrante / José Augusto Soares - Integrante / José Coelho P Júnior - Integrante / Routo Terada - Coordenador / Ana Cristina Vieira de Melo - Integrante.
Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro..

1998 - 2002

DECaFf-KB - Distributed Environment for Cooperation among Formalisms for Knowledge Bases

Descrição: Vários sistemas baseados em conhecimento foram desenvolvidos até o presente momento. Cada um deles é especializado para responder a um conjunto de questões dados a informação e mecanismos de construção de conhecimento inerentes aos mesmos. Contudo, para responder a questões mais elaboradas, precisams muitas vezes da ação conjunta de vários desses sistemas especialistas. Este projeto é um estudo de como integrar sistemas baseados em conhecimento para que questões que envolvam conhecimentos provenientes de mais de um sistema sejam respondidas. Este estudo é de caráter teórico e prático..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: JAUME AGUSTI - Integrante / DAVID ROBERTSON - Integrante / Flávio Soares Corrêa da Silva - Integrante / Marcelo Finger - Integrante / Wamberto W Vasconcelos - Integrante / Ana Cristina Vieira de Melo - Coordenador.
Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro / British Council Uk - Auxílio financeiro..

1998 - 2001

SIDAM - Sistema de Informações Distribuídas de Agentes Móveis

Descrição: Os sistemas de agentes móveis têm-se expandido no mercado, dado o uso extensivo de dispositivos móveis, tais como: telefones celulares, PDAs e Notebooks. Os sistemas computacionais para a troca de informações entre tais dispositivos é aind um objeto de estudo. O projeto SIDAM (Sistema de Informações Distribuídas de Agentes Móveis) está centrado no desenvolvimento de técnicas e ferramentas de suporte a sistemas de informação com agentes móveis. Uma das preocupações principais é o fornecimento de serviços aos dispositivos móveis de forma segura e que atendam às necessidades da nova tecnologia. Com o objetivo de fornecer serviços confiáveis aos agentes móveis, este projeto estuda técnicas formais para agentes móveis. Estes estudos vão desde o estudo de teorias e linguagens que dêem suporte à especificação, quanto ao desenvolvimento de novas técnicas de verificação formal de agentes móveis..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 2) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Flávio Soares Corrêa da Silva - Integrante / Marcelo Finger - Integrante / Siang Song - Coordenador / Markus Endler - Integrante / Alan M Durham - Integrante / Alfredo G vel Lejbman - Integrante / Francisco R Reverbel - Integrante / Dilma M da Silva - Integrante / Hernan E Astudillo - Integrante / Kunio Okuda - Integrante / Marco Dimas Gubitoso - Integrante / Ana Cristina Vieira de Melo - Integrante.
Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro..

1998 - Atual

Ambiente Java baseado em Reutilização

Descrição: A abordagem de desenvolvimento de sistemas computacionais orientado a objetos tem reutilização como princípio, desde projeto à codificação. Este projeto de pesquisa tem como objetivo principal dar suporte à reutilização de projetos e código de sistemas desenvolvidos na linguagem Java. Na reutilização de projeto, a pesquisa está centrada no desenvolvimento de técnicas de suporte à reutilização de "frameworks" Java. Estas técnicas vão desde classificação de busca de framewors, até a composição de frameworks existentes para a construção de novos frameworks. Como os frameworks são componentes que embutem tanto design quanto código, a reutilização dos mesmos proporciona também a reutilização de código. Contudo, aém das técnicas de para a reutilização de frameworks, este projeto também desenvolve técnicas de classificação e busca de classes Java. Outro problema fundamental no desenvolvimento e reutilização de sistemas orientados a objetos diz respeito ao teste, dada a dificuldade de sua execução. Este projeto propõe ainda um estudo da viabilidade do uso de verificação formal de alguma propriedades de sistemas desenvolvidos na linguagem Java para diminuir o esforço de teste do sistema..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 1) / Especialização ( 0) / Mestrado acadêmico ( 4) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Ana Cristina Vieira de Melo - Coordenador.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.Número de orientações: 2.

Revisor de periódico

2000 - Atual	Periódico: Journal of the Brazilian Computer Society (0104-6500)
2006 - Atual	Periódico: Formal Aspects of Computing
2006 - Atual	Periódico: International Journal of Software Engineering and Knowledge Engineering
2009 - Atual	Periódico: Theoretical Computer Science
2008 - Atual	Periódico: Science of Computer Programming

Áreas de atuação

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

Idiomas

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

Prêmios e títulos

2007	Jabuti 2007 - 1o. Lugar: Melhor Livro de Ciências Exatas, Tecnologia e Informática (Livro: Lógica para computação), CBL - Câmara Brasileira do Livro.
2004	Jabuti 2004 - Indicado entre os 10 Melhores Livros de Ciências Exatas, Tecnologia e Informática (Livro: Princípios de Linguagens de Programação), CBL - Câmara Brasileira do Livro.

Produção em C,T & A

Produção bibliográfica

Artigos completos publicados em periódicos

1.	Pereira, David P. ; MELO, Ana C. V. de . Formalization of an architectural model for exception handling coordination based on CA action concepts. Science of Computer Programming (Print), p. 1, 2009.

2.	MELO, Ana C. V. de ; SANCHEZ, Adilson de Jesus . Software Maintenance Project Delays Prediction using Bayesian Networks. Expert Systems with Applications, v. 34, p. 908-919, 2008.

3.	MELO, Ana C. V. de . From Active Names to pi-calculus Rewriting Rules. Electronic Notes in Theoretical Computer Science, Amsterdam, v. 130, p. 169-185, 2005.

4.	MELO, Ana C. V. de ; MOUTINHO, Bruno M . On the Composition of Java Frameworks Control-flows. Information and Software Technology, v. 46, n. 5, p. 301-307, 2004.

5.	MELO, Ana C. V. de . A study on the potential active names of pi-calculus. Electronic Notes in Theoretical Computer Science, v. 95, n. C, p. 269-286, 2004.

6.	SILVA, Fávio Soares Corrêa da ; MELO, Ana C. V. de ; AGUSTI, J. ; VASCONCELOS, Wamberto W ; ROBERTSON, D. ; FINGER, Marcelo ; BRILHANTE, Virgínia . On the Insufficiency of Ontologies: Probelms on Knowledge Sharing and Alternative Solutions. Knowledge-Based Systems, v. 15, n. 3, p. 147-167, 2002.

7.	MELO, Ana C. V. de ; ROBERTSON, D. ; SILVA, Flávio Soares Corrêa da ; AGUSTI, J. ; VASCONCELOS, Wamberto W . A Lightweight Capability Communication Mechanism. Lecture Notes in Computer Science, v. 1821, p. 660-670, 2000.

8.	SILVA, Fávio Soares Corrêa da ; MELO, Ana C. V. de ; VASCONCELOS, Wamberto W ; AGUSTI, J. ; ROBERTSON, D. . Why Ontologies are not Enough for Knowledge Sharing. Lecture Notes in Computer Science, v. 1611, 1999.

9.	MELO, Ana C. V. de ; Barringer, H. . A foundation for Formal Reuse of Hardware. Lecture Notes in Computer Science, v. 987, p. 124-145, 1995.

Livros publicados/organizados ou edições

1.	MELO, Ana C. V. de (Org.) ; Moreira, Alvaro (Org.) ; Lucília Camarão (Org.) ; Eliane Pimentel (Org.) . SBMF 2007 - Brazilian Symposium on Formal Methods. Porto Alegre: SBC, 2007. v. 1. 184 p.

2.	SILVA, F. S. C. ; FINGER, Marcelo ; MELO, Ana C. V. de . Lógica para Computação. São Paulo: Thomson Learning, 2006. 244 p.

3.	SILVA, F. S. C. ; MELO, Ana C. V. de . Modelos Clássicos de Computação. São Paulo: Thomson Learning, 2006. 82 p.

4.	MELO, Ana C. V. de ; SILVA, Flávio Soares Corrêa da . Princípios de Linguagens de Programação. 1. ed. São Paulo: Edgard Blücher, 2003. v. 1. 211 p.

5.	MELO, Ana C. V. de (Org.) ; HAEUSLER, e H (Org.) . Proceedings of IV Workshop on Formal Methods. Rio de Janeiro: , 2001. 150 p.

6.	MELO, Ana C. V. de (Org.) ; MOREIRA, Anamaria M (Org.) . Proceedings of the Workshop on Formal Methods. , 1999. v. 1. 107 p.

Capítulos de livros publicados

1.	SILVA, Paulo Salem da ; MELO, Ana C. V. de . Towards the Use of Planning Techniques to assemble Component-based Systems. In: Ari D. Klein. (Org.). Computer Software Engineering Research. NY: Nova Science Publishers, 2007, v. , p. 111-141.

Trabalhos completos publicados em anais de congressos

MIYAZAWA, Alvaro Heiji ; SILVA, Paulo Salem da ; MELO, Ana C. V. de . From Z Specifications to Java Implementation and Back. In: Fifth European Conference on Model-Driven Architecture - Traceability Workshop (EMCDA-TW), 2009, Enschede. Fifth European Conference on Model-Driven Architecture - Traceability Workshop (EMCDA-TW). Enschede : ICTI, 2008. p. 49-58.

2.	SILVEIRA, Paulo ; MELO, Ana C. V. de . Exploring XML Perturbation Techniques for Web Services Testing. In: 9th International Conference on Web Engineering, 2009, San Sebastian. Proceedings of 9th International Conference on Web Engineering. Berlin : LNCS - Springer, 2009. v. 5648. p. 355-369.

NUNES, Paulo Roberto de Araújo França ; HANAZUMI, S. ; MELO, Ana C. V. de . OConGraX - automatically generating data-flow test cases for fault-tolerant systems. In: FMWeek - 21st IFIP Int. Conference on Testing of Communicating Systems, 2009, Eindhoven. Proceedings of 21st IFIP Int. Conference on Testing of Communicating Systems. Berlin : LNCS - Springer Verlag, 2009. v. 5826. p. 1-12.

4.	PEREIRA, David Paulo ; MELO, Ana C. V. de . A Formal Architectural Model for Exception Handling Coordination. In: Annual ACM Symposium on Applied Computing, 2008, Fortaleza. Proceedings of the 23rd Annual ACM Symposium on Applied Computing, 2008. v. 1.

MELO, Ana C. V. de ; NUNES, Paulo Roberto de Araújo França ; XAVIER, K. DA S. . Towards Verification and Testing of Java Programs. In: 23rd Annual ACM Symposium on Applied Computing, 2008, Fortaleza. Proceedings of the 23rd Annual ACM Symposium on Applied Computing. NY : ACM, 2008. v. 1. p. 730-734.

6.	PEREIRA, David Paulo ; MELO, Ana C. V. de . A formal architectural model for exception handling coordination. In: 23rd Annual ACM Symposium on Applied Computing, 2008, Fortaleza. Proceedings of the 23rd Annual ACM Symposium on Applied Computing. NY : ACM, 2008. v. 1. p. 114-118.

SILVA, Paulo Salem da ; MELO, Ana C. V. de . Reusing models in multi-agent simulation with software components. In: 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008, Estoril. Proceedings of 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008). Richland : International Foundation for Autonomous Agents and Multiagent Systems, 2008. v. 2. p. 1137-1144.

XAVIER, K. DA S. ; HANAZUMI, S. ; MELO, Ana C. V. de . Using Formal Verification to Reduce Test Space of Fault-Tolerant Programs. In: SEFM 2008, 2008, Cape Town. SEFM '08: Proceedings of the 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods. Washington : IEEE Computer Society, 2008. p. 181-190.

9.	SILVA, Paulo Salem da ; MELO, Ana C. V. de . Model Checking Merged Program Traces. In: 11th Brazilian Symposium on Formal Methods, 2008, Salvador. SBMF2008: 11th Brazilian Symposium on Formal Methods. Porto Alegre : SBC, 2008. p. 1-16.

10.	SILVA, Paulo Salem da ; MELO, Ana C. V. de . A Simulation-Oriented Formalization for a Psychological Theory. In: Fundamental Approaches to Software Engineering (FASE07), 2007, Braga. Lecture Notes in Computer Science, 2007. v. 4422.

11.	PEREIRA, David Paulo ; MELO, Ana C. V. de . A CSP architectural model for fault-tolerant systems. In: Formal Aspects of Component Software (FACS'07), 2007, Sophia-Antipolis. ENTCS, 2007.

12.	SILVA, Paulo Salem da ; MELO, Ana C. V. de . Multi-Agent Simulation in Social Computing: Toward Analysis-Oriented Simulators (accepted). In: Engineering Societies in the Agent World (ESAW 2006), 2006, Dublin. Engineering Societies in the Agent World (ESAW 2006), 2006.

13.

MELO, Ana C. V. de ; SANCHEZ, Adilson de Jesus . Bayesian Networks to Software Maintenance Management. In: SOFSEM 2005: 31st Annual Conference on Current Trends in Theory and Practice of Informatics, 2005, Liptovsk Ján. SOFSEM 2005: Theory and Practice of Computer Science: 31st Conference on Current Trends in Theory and Practice of Computer Science, 2005. v. 3381.

14.

MESQUITA, Walter ; Augusto Sampaio ; MELO, Ana C. V. de . A Strategy for the Formal Composition of Frameworks. In: IEEE International Conference on SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM2005), 2005, Koblenz. Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005. p. 404-413.

15.

SILVA, Paulo Salem da ; MELO, Ana C. V. de . An ontology for mobile agents in the context of formal verification. In: 4th International Conference on ONTOLOGIES, DATABASES, AND APPLICATIONS OF SEMANTICS (ODBASE), 2005, Agia Napa. On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE, 2005. v. 3761. p. 1500-1516.

16.

NUNES, Paulo Roberto de Araújo França ; MELO, Ana C. V. de . OConGra - Uma Ferramenta para Geração de Grafos de Controle de Fluxo de Objetos. In: 18 Simpósio Brasileiro de Engenharia de Software - Sessão de Ferramentas, 2004, Brasília. Anais do 18 Simpósio Brasileiro de Engenharia de Software, 2004.

17.	ANDRADE, André Gustavo de ; MELO, Ana C. V. de ; AMORIM, Marcelo M . Um ambiente para especificação e verificação de agentes móveis. In: CLEI - 30TH CONFERENCIA LATINOAMERICANA DE INFORMÁTICA, 2004, Arequipa. Anales da 30TH CONFERENCIA LATINOAMERICANA DE INFORMÁTICA, 2004.

18.	MELO, Ana C. V. de . Pi-Calculus Rewriting Rules Based on Active Names. In: SBMF2004: 7th Brazilian Symposium on Formal Methods, 2004, Recife. SBMF2004: 7th Brazilian Symposium on Formal Methods, 2004.

19.	MELO, Ana C. V. de ; MOUTINHO, Bruno M . On the Composition of Java Frameworks Control-flows. In: 18th Annual ACM Symposium on Applied Computing (SAC 2003)- Software Engineering Track, 2003, Melbourne. Proceedings of the 18th Annual ACM Symposium on Applied Computing - SAC 2003, 2003.

20.

MELO, Ana C. V. de ; SANCHEZ, Adilson de Jesus . Uso de Redes Bayesianas em um Processo de Manutenção de software (aceito). In: III Jornadas Iberoamericanas de Ingenieria de Software e Ingenieria de Conocimento, 2003, Valdivia. Anales de III Jornadas Iberoamericanas de Ingenieria de Software e Ingenieria de Conocimento, 2003.

21.	MELO, Ana C. V. de . A study on the Potential Active Names and Verification Techniques. In: VI Workshop de Métodos Formais, 2003, Campina Grande. Proceedings of the VI Workshop of Formal Methods, 2003.

22.

SILVA, Flávio Soares Corrêa da ; MENESES, Eudênia X ; MELO, Ana C. V. de . Capabilities in Formal Knowledge Coordination for Business Integration. In: 17th Annual ACM Conference on Object-oriented Programming, Systems, Languages and Applications (OOPSLA 2002)- Workshop Semantics of Entreprise II, 2002, Seatle. Proceedings of OOPSLA 2002 - Workshops, 2002.

23.	MELO, Ana C. V. de ; AMORIM, Marcelo M . Utilizando Técnicas up-to bisimulation para veirifcação em pi-calculus. In: Workshop de métodos formais, 2001, Rio de Janeiro. Workshop de Métodos Formais (WMF'2001), 2001.

24.	MELO, Ana C. V. de ; TABUTI, Lucy Mari . Um Estudo de um Protocolo de Comunicação para Dispositivos Móveis usando Distributed Join-Calculus. In: Workshop de Métodos Formais, 2001, Rio de Janeiro, 2001.

25.	MELO, Ana C. V. de ; MENEZES, Paulo Blauth ; WEBER, R F ; HAEUSLER, e H ; CAMARGO, Murilo . Plano Pedagógico para Ciência da Computação (CC1). In: Curso de Qualidade - SBC, 2001, Fortaleza. Curso de Qualidade -SBC, 2001.

26.

SILVA, F. S. C. ; MELO, Ana C. V. de ; VASCONCELOS, W. W. ; AGUSTI, J. ; ROBERTSON, D. . A lightwight capability communication mechanism. In: International Conference on Industrial and Engineering Applications of Artificial Intelligence, 2000, New Orleans. Intelligent Problem Solving -LNAI, 2000. v. 1821. p. 660-670.

27.	MELO, Ana C. V. de ; MOUTINHO, Bruno M . Composição de Fluxos de Controle em Fameworks Java. In: Simpósio Brasileiro de Engenharia de Software - Workshop de Teses, 2000, João Pessoa. Simpósio Brasileiro de Engenharia de Software - Workshops, 2000.

28.	MELO, Ana C. V. de ; TABUTI, Lucy Mari . Especificação de um protocolo de comunicação comercial em Join-Calculus. In: Simpósio Brasileiro de Engenharia de Software - Workshop de Teses, 2000, João Pessoa. Simpósio Brasileiro de Engenharia de Software - Workshops, 2000.

29.

SILVA, Fávio Soares Corrêa da ; MELO, Ana C. V. de ; ARAÚJO, Roberto C de ; AGUSTI, J. . Knowledge sharing between a probabilistic logic and bayesian network. In: Eighth International Conference on Information Processing and Management of Uncertainty in Knowledge-based Systems (IPMU 2000), 2000, Madrid. Proceedings of Eighth International Conference IPMU, 2000. v. 3.

30.

SILVA, F. S. C. ; VASCONCELOS, W. W. ; MELO, Ana C. V. de ; AGUSTI, J. ; ROBERTSON, D. . Why Ontologies are not Enough for Knowledge Sharing. In: 12th Int. Conference on Industrial and Engineering Applications on Artificial Intelligence and Expert Systems, 1999, Cairo. LNCS. Cairo - Egito : Springer-Verlag, 1999. v. 1611.

31.	MELO, Ana C. V. de . Minimising Communications of Synchronous Hardware. In: 6th IEEE International Conference on Electronics, Circuits and Systems, 1999, Paphos. Proceedings os ICECS'99. Paphos - Cyprus : IEEE Computer Press, 1999.

32.	MELO, Ana C. V. de ; Barringer, H. . Reusing Hardware Components with Single-State Processes. In: XII Brazilian Symposium on Integrated Circuit Design, 1999, Natal. Proceedings of SBCCI'99, 1999.

33.	MELO, Ana C. V. de . On the algebraic reuse of hardware design. In: 1998 IEEE International Symposium on Circuits and Systems, 1998, Monterey. On the algebraic reuse of hardware design, 1998. v. 6. p. 306-310.

34.	MELO, Ana C. V. de . Process Algebras and Logic; a perspective on formal methods. In: I Workshop de Métodos Formais, 1998, Porto Alegre. Anais do I Wokshop de Métodos Formais. Porto Alegre - RS - Brasil : UFRGS, 1998.

35.	MELO, Ana C. V. de . Towards Formal Reuse of Hardware Components. In: International Conference on Modelling and Simulation, 1997, Pittsburgh. IASTED/ISMM - Int. Conf. Modeling and Simulation, 1997. p. 447-451.

36.	MELO, Ana C. V. de ; Barringer, H. . Minimization of Synchronous Processes preserving Bisimulation. In: X Brazilian Symposium on Integrated Circuit Design, 1997, Gramado. X Brazilian Symposium on Integrated Circuit Design. Gramado - RS - Brasil, 1997. p. 125-138.

37.	MELO, Ana C. V. de ; VASCONCELOS, A M L ; ALBUQUERQUE, e S ; MARTINS, J F ; KELNER, J ; MEIRA, Silvio . Hipertexto: O projeto do sistema H. In: III Simpósio Brasileiro de Engenharia de Software, 1989, Recife. Anais do III Simpósio Brasileiro de Engenharia de Software. Recife - PE, 1989.

38.	MELO, Ana C. V. de ; VASCONCELOS, A M L ; MEIRA, Silvio . Links em um sistema de Hipertexto. In: II Simpósio Brasileiro de Engenharia de Software, 1988, Gramado. Anais do II Simpósio Brasileiro de Engenharia de Software, 1988.

Resumos expandidos publicados em anais de congressos

1.	MIYZAWA, Alvaro Heiji ; SILVA, Paulo Salem da ; MELO, Ana C. V. de . Towards Pragmatical Generation of Software from Z Specifications. In: 11th Brazilian Symposium on Formal Methods, 2008, Salvador. SBMF2008: 11th Brazilian Symposium on Formal Methods. Porto Alegre : SBC, 2008. p. 1-8.

Resumos publicados em anais de congressos

1.	MELO, Ana C. V. de . Specification and Verification of Mobile Agents usign pi-calculus (tutorial). In: VI Workshop on Formal Methods, 2003, Campina Grande. Proceedings of the VI Workshop on Formal Methods, 2003.

Artigos aceitos para publicação

1.	MELO, Ana C. V. de . A Syntactic Characterisation of pi-calculus Active Names and its Application to Verification. Formal Aspects of Computing, 2010.

Apresentações de Trabalho

1.	MELO, Ana C. V. de . FM Education and Research. 2008. (Apresentação de Trabalho/Simpósio).

2.	MELO, Ana C. V. de ; SILVA, Paulo Salem da . A Simulation-Oriented Formalization for a Psychological Theory. 2007. (Apresentação de Trabalho/Conferência ou palestra).

3.	MELO, Ana C. V. de . Brazilian Research on Computer Science. 2007. (Apresentação de Trabalho/Conferência ou palestra).

4.	MELO, Ana C. V. de . Mobile Agents: Formal Development. 2005. (Apresentação de Trabalho/Seminário).

5.	MELO, Ana C. V. de . Comitê de Programa do IXX Simpósio Brasileiro de Engenharia de Software. 2005. (Apresentação de Trabalho/Congresso).

6.	MELO, Ana C. V. de ; SILVA, Paulo Salem da . An Ontology for Mobile Agents in the Context of Formal Verification. 2005. (Apresentação de Trabalho/Conferência ou palestra).

7.	MELO, Ana C. V. de . Pi-Calculus Rewriting Rules Based on Active Names. 2004. (Apresentação de Trabalho/Congresso).

8.	MELO, Ana C. V. de . Reutilização de sofware. 2003. (Apresentação de Trabalho/Congresso).

9.	MELO, Ana C. V. de . Pesquisa em Engenharia de Software. 2003. (Apresentação de Trabalho/Seminário).

10.	MELO, Ana C. V. de . Projetos de Pesquisa em Desenvolviemnto Formal de Software. 2003. (Apresentação de Trabalho/Seminário).

11.	MELO, Ana C. V. de . A study on the potential active names of pi-calculus. 2003. (Apresentação de Trabalho/Congresso).

12.	MELO, Ana C. V. de ; ANDRADE, André Gustavo de ; AMORIM, Marcelo M . Um ambiente para especificação e verificação de agentes móveis (Poster). 2003. (Apresentação de Trabalho/Congresso).

13.	MELO, Ana C. V. de . On the formal specification and verification of mobile agents. 2000. (Apresentação de Trabalho/Conferência ou palestra).

14.	MELO, Ana C. V. de . Álgebra de processos e lógica: desenvolvimento formal de sistemas reativos. 1999. (Apresentação de Trabalho/Conferência ou palestra).

15.	MELO, Ana C. V. de . On the algebraic reuse of hardware design. 1998. (Apresentação de Trabalho/Congresso).

16.	MELO, Ana C. V. de . Process algebras and logic; a perspective on formal methods. 1998. (Apresentação de Trabalho/Congresso).

17.	MELO, Ana C. V. de . Minimisation of Synchronous Processes Preserving Bisimulation. 1997. (Apresentação de Trabalho/Congresso).

18.	MELO, Ana C. V. de . Towards Formal reuse of hardware components. 1997. (Apresentação de Trabalho/Congresso).

19.	MELO, Ana C. V. de . A foundation for formal reuse of hardware. 1995. (Apresentação de Trabalho/Congresso).

20.	MELO, Ana C. V. de . Reutilização formal de procesos concorrentes. 1995. (Apresentação de Trabalho/Conferência ou palestra).

21.	MELO, Ana C. V. de . Reutilização formal de processos concorrentes. 1995. (Apresentação de Trabalho/Conferência ou palestra).

22.	MELO, Ana C. V. de . Reutilização formal de processos. 1995. (Apresentação de Trabalho/Conferência ou palestra).

23.	MELO, Ana C. V. de . Reutilização formal de processos. 1995. (Apresentação de Trabalho/Conferência ou palestra).

Demais tipos de produção bibliográfica

1.	SILVA, Flávio Soares Corrêa da ; MELO, Ana C. V. de ; CARNEIRO, M. R. F. . Comunicação entre Computadores e Tecnologias de Redes. São Paulo: Thomson Pioneira, 2002 (tradução).

2.	SILVA, Flávio Soares Corrêa da ; MELO, Ana C. V. de ; CARNEIRO, M. R. F. . Comunicação entre Computadores e Tecnologias de Redes. São Paulo: Thomson, 2002. (Tradução/Livro).

3.	SILVA, Fávio Soares Corrêa da ; MELO, Ana C. V. de ; AGUSTI, J. ; ARAÚJO, Roberto C de . Knowledge Sharing between a Probabilistic Logic and Bayesian Network. Sã Paulo: Unversidade de São Paulo - IME, 1999 (relatório técnico - universidade).

4.	MELO, Ana C. V. de ; SILVA, Fávio Soares Corrêa da ; VASCONCELOS, Wamberto W ; AGUSTI, J. ; ROBERTSON, D. . Why Ontologies are not enough for Knowledge Sharing. São Paulo: Universidade de São Paulo - IME, 1998 (relatório técnico - universidade).

5.	MELO, Ana C. V. de . Formal Reuse of Hardware Design. Manchester - UK: University of Manchester, 1995 (relatório técnico - universidade).

Produção técnica

Softwares sem registro de patente

1.	MELO, Ana C. V. de ; NUNES, Paulo Roberto de Araújo França ; HANAZUMI, S. . OConGraX - Object Control-Flow Graphs with Exceptions. 2008.

2.	MELO, Ana C. V. de ; SILVEIRA, Paulo . GenAutoWS - Automatic Generation of Web Services Test Data. 2008.

3.	MELO, Ana C. V. de ; XAVIER, Kleber da Silva . JPFex - Java PathFinder with Exceptions. 2007.

4.	MELO, Ana C. V. de ; GAKIYA, Luciana Setsuko ; MELLO, Cláudia de Oliveira . Reuse ++ : Automatic Classification and Searching of Components with Exception Handling Mechanisms. 2007.

5.	MELO, Ana C. V. de ; ANDRADE, André Gustavo de . Hydra - Cooperation among formal verification tools for pi-calculus. 2007.

6.	MELO, Ana C. V. de ; AMORIM, Marcelo M . VTUBAINA - A Tool for Up-to Bisimulation and Automata Integration Automatization. 2006.

7.	MELO, Ana C. V. de ; NUNES, Paulo Roberto de Araújo França . OConGra - Objects Control-Flow Graphs. 2006.

8.	MELO, Ana C. V. de ; MELLO, Cláudia de Oliveira . Reuse + : Automatic Classification and Searching of Java Classes. 2006.

Trabalhos técnicos

1.	MELO, Ana C. V. de . Comissão Especial de Métodos Formais - SBC. 2006.

Demais tipos de produção técnica

1.	MELO, Ana C. V. de . Comitê de Programa - XXIII SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE. 2009. (Comitê de Programa de Congresso).

2.	MELO, Ana C. V. de . Comitê de Programa - XII Brazilian Simposium on Formal Methods. 2009. (Comitê de Programa de Congresso).

3.	MELO, Ana C. V. de . Comitê de Programa - SBCARS 2009 - Brazilian Symposium on Software Components, Architectures and Reuse. 2009. (Comitê de Programa de Congresso).

4.	MELO, Ana C. V. de . Comitê de Programa - International Conference on Formal Engineering Methods. 2009. (Comitê de Programa de Congresso).

5.	MELO, Ana C. V. de . Comitê de Programa - XXII SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE. 2008. (Comitê de Programa de Congresso).

6.	MELO, Ana C. V. de . Comitê de Programa - XI Brazilian Simposium on Formal Methods. 2008. (Comitê de Programa de Congresso).

7.	MELO, Ana C. V. de ; Moreira, Alvaro . Chair Comitê de Programa - X Brazilian Simposium on Formal Methods. 2007. (Coordenação de Comitê de Programa de Congresso).

8.	MELO, Ana C. V. de . Comitê de Programa - 11th Brazilian Symposium on Programming Languages. 2007. (Comitê de Programa de Congresso).

9.	MELO, Ana C. V. de . Comitê de Programa - International Workshop on Ontology, Conceptualization and Epistemology for Software and Systems Engineering. 2007. (Comitê de Programa de Congresso).

10.	MELO, Ana C. V. de . Comitê de Programa - XXI SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE. 2007. (Comitê de Programa de Congresso).

11.	MELO, Ana C. V. de . Comitê de Programa - SBCARS 2007 - Brazilian Symposium on Software Components, Architectures and Reuse. 2007. (Comitê de Programa de Congresso).

12.	MELO, Ana C. V. de . Comitê de Programa - Latin American Autonomic Computing Symposium. 2007. (Comitê de Programa de Congresso).

13.	MELO, Ana C. V. de . Comitê de Programa - 2007 SIWN International Conference on Complex Open Distributed Systems (CODS2007). 2007. (Comitê de Programa de Congresso).

14.	MELO, Ana C. V. de . Steering Committee - X Brazilian Simposium on Formal Methods. 2007. (Comitê de Programa de Congresso).

15.	MELO, Ana C. V. de . Steering Committee - Latin American Autonomic Computing Symposium. 2007. (Comitê de Programa de Congresso).

16.	MELO, Ana C. V. de . Comitê de Programa - IX Brazilian Symposium on Formal Methods. 2006. (Comitê de Programa de Congresso).

17.	MELO, Ana C. V. de . Chair Comitê de Programa - Latin American Autonomic Computing Symposium. 2006. (Coordenação de Comitê de Programa de Congresso).

18.	MELO, Ana C. V. de . Steering Committee - Latin American Autonomic Computing Symposium. 2006. (Coordenação de Comitê de Programa de Congresso).

19.	MELO, Ana C. V. de . Steering Committee - IX Brazilian Symposium on Formal Methods. 2006. (Comitê de Programa de Congresso).

20.	MELO, Ana C. V. de . Comitê de Programa - XX Simpósio Brasileiro de Engenharia de Software. 2006. (Comitê de Programa de Congresso).

21.	MELO, Ana C. V. de . Minicurso: Specification and Verification of Mobile Agents using pi-calculus. 2005. (Curso de curta duração ministrado/Outra).

22.	MELO, Ana C. V. de . Comitê de Programa do VIII Brazilian Symposium on Formal Methods. 2005. (Comitê de Programa de Congresso).

23.	MELO, Ana C. V. de . Comitê de Programa do IXX Simpósio Brasileiro de Engenharia de Software. 2005. (Comitê de Programa de Congresso).

24.	MELO, Ana C. V. de . Comitê de Programa do XVIII Simpósio Brasileiro de Engenharia de Software. 2004. (Comitê de Programa de Congresso).

25.	MELO, Ana C. V. de . Comitê de Programa do VII Brazilian Symposium on Formal Methods. 2004. (Comitê de Programa de Congresso).

26.	MELO, Ana C. V. de . Tutorial Convidado - Formal Specifcation and Verification of Mobile Agents using Pi-Calculus. 2003. (Curso de curta duração ministrado/Outra).

27.	MELO, Ana C. V. de . Comitê de Programa do XVII Simpósio Brasileiro de Engenharia de Software. 2003. (Comitê de Programa de Congresso).

28.	MELO, Ana C. V. de . Comitê de Programa do VI Workshop de Métodos Formais . 2003. (Comitê de Programa de Congresso).

29.	MELO, Ana C. V. de . Comitê de Programa do XVI Simpósio Brasileiro de Engenharia de Software. 2002. (Comitê de Programa de Congresso).

30.	MELO, Ana C. V. de . Comitê de Programa do XV Simpósio Brasileiro de Engenharia de Software. 2001. (Comitê de Programa de Congresso).

31.	MELO, Ana C. V. de . Chair - Comitê de Programa do IV Workshop de Métodos Formais. 2001. (Coordenação de Comitê de Programa de Congresso).

32.	MELO, Ana C. V. de . Comitê de Programa do XIV Simpósio Brasileiro de Engenharia de Software. 2000. (Comitê de Programa de Congresso).

33.	MELO, Ana C. V. de . Comitê de Programa do III Workshop de Métodos Formais. 2000. (Comitê de Programa de Congresso).

34.	MELO, Ana C. V. de . Comitê de Programa do XII Simpósio Brasileiro de Engenharia de Software. 1999. (Comitê de Programa de Congresso).

35.	MELO, Ana C. V. de . Chair - Comitê de Programa do II Workshop de Métodos Formais. 1999. (Coordenação de Comitê de Programa de Congresso).

36.	MELO, Ana C. V. de . Comitê de Programa do XII Simpósio Brasileiro de Engenharia de Software. 1998. (Comitê de Programa de Congresso).

37.	MELO, Ana C. V. de . Comitê de Programa do I Workshop de Métodos Formais. 1998. (Comitê de Programa de Congresso).

38.	MELO, Ana C. V. de . Introdução a álgebras de processos e suas aplicações. 1995. (Curso de curta duração ministrado/Outra).

Bancas

Participação em bancas examinadoras

Dissertações

1.	Celso Hirata; MELO, Ana C. V. de. Participação em banca de Mauro Massano. METHODS FOR CCS TO UML-RT AND UML-RT TO CCS TRANSFORMATIONS. 2009. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.

2.	REVERBEL, Francisco R; Patrícia Machado; MELO, Ana C. V. de. Participação em banca de Kleber da Silva Xavier. Ambiente de Testes utilizando verificação de componentes java com tratamento de exceções. 2008. Dissertação (Mestrado em Ciências da Comunicação) - Universidade de São Paulo.

3.	Silvia Vergílio; SILVA, Flávio Soares Correa da; MELO, Ana C. V. de. Participação em banca de Paulo Silveira. Geração automática de casos de teste para web services. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

4.	REVERBEL, Francisco R; RUBIRA, Cecília M F; MELO, Ana C. V. de. Participação em banca de Luciana Setsuko Gakiya. Classificação e busca de componentes com tratamento de exceções. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

5.	SILVA, Flávio Soares Correa da; Marco Túlio Carvalho de Andrade; MELO, Ana C. V. de. Participação em banca de Gustavo Enrique Salazar Torres. Desenvolvimento de sistemas baseados em artefatos de conhecimento. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

6.	MELO, Ana C. V. de. Participação em banca de André Gustavo Andrade. Integração de Verificadores Formais para Agentes Móveis. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

7.	MELO, Ana C. V. de. Participação em banca de David Paulo Pereira. Um Framework para Coordenação do Tratamento de Exceções em Sistemas Tolerantes a Falhas. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

8.	MELO, Ana C. V. de. Participação em banca de Tiago César Moronte. Uma infra-estrutura de software para apoiar a construção de arquiteturas de software baseadas em componentes. 2007. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

9.	MELO, Ana C. V. de. Participação em banca de Juliana de Melo Bezerra. Mapeamento de UML-RT para pi-calculus. 2006. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.

10.	MELO, Ana C. V. de. Participação em banca de Claudia de Oliveira Melo. Classificação semi-automática de componentes java. 2006. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

11.	MELO, Ana C. V. de. Participação em banca de Raquel de Albuquerque Maranhão Ferreira. Modularização de tratamento de exceções usando programação orientada a aspectos. 2006. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

12.	MELO, Ana C. V. de. Participação em banca de Mathias Juan Perazzo. Derivadas em redes bayesianas usando eliminação de variáveis. 2005. Dissertação (Mestrado em Engenharia Mecânica) - Universidade de São Paulo.

13.	MELO, Ana C. V. de. Participação em banca de Claudia de Oliveira Melo. Uma proposta de classificação semi-automática para componentes Java. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

14.	MELO, Ana C. V. de. Participação em banca de Ivan Jeukens. Uma metodologia para projeto de software embarcado baseada em múltiplos modelos computacionais. 2005. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

15.	MELO, Ana C. V. de. Participação em banca de Wilson Leite da Silva Filho. Monitor de Dinâmica de Sistemas orientados a objetos. 2005 - Instituto de Pesquisas Tecnológicas do Estado de São Paulo.

16.	REVERBEL, Francisco C da Rocha; MARTINS, Eliane; MELO, Ana C. V. de. Participação em banca de Leandro César Prudente. Um Estudo sobre Teste versus Verificação Formal de Programas Java. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

17.	MARTINS, Eliane; RUBIRA, C. M. F.; MELO, Ana C. V. de. Participação em banca de Vinícius Asta Pagano. Uma abordagem arquitetural com tratamento de exceções para sistemas de software baseados em componentes. 2004. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

18.	SILVA, Flávio Soares Corrêa da; MELO, Ana C. V. de. Participação em banca de Robson Moron. Uma ontologia artificial para o controle cambial brasileiro. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

19.	MELO, Ana C. V. de. Participação em banca de Marcelo M Amorim. Uma técnica de verificação para pi-calculus baseada em bi-simulação up-to e algoritmos de particionamento. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

20.	MELO, Ana C. V. de. Participação em banca de Adilson de Jesus Sanchez. Uso de Redes Bayesianas no Gerenciamento de manutenção de software. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

21.	MELO, Ana C. V. de. Participação em banca de Lucy Mari Tabuti. Um estudo de um protocolo de comunicação para agentes móveis usando Distributed Join-calculus. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

22.	MELO, Ana C. V. de. Participação em banca de Luciano Vieira de Araújo. CCICLO: coomponente para cruzamento e integração de objetos classificados. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

23.	MELO, Ana C. V. de. Participação em banca de João Carlos Neto. Criptografia - Uma implementação do protocolo de micropagamento PayWord. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

24.	MELO, Ana C. V. de. Participação em banca de Marcelo Fantinato. Critérios de teste funcional baseados em máquinas de estados finitos estendidas. 2002. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas.

25.	MELO, Ana C. V. de. Participação em banca de Bruno de O. Lira. Automação de regras para a programação orientada a objetos. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

26.	MELO, Ana C. V. de. Participação em banca de Marcel Vinícius M. Oliveira. ArcAngel: a tactic language for refinement and its tool support. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

27.	MELO, Ana C. V. de. Participação em banca de Marcelo Tilli. Simulação distribuída para o auxílio ao projeto de sistemas embutidos. 2001. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas.

28.	MELO, Ana C. V. de. Participação em banca de Bruno M Moutinho. Composição de fluxos de controle de frameworks Java. 2001. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

29.	MELO, Ana C. V. de. Participação em banca de Maurício Pereira de Oliveira. Um estudo axiomático comaprativo entre modelos de bancos de dados. 2000. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

30.	MELO, Ana C. V. de. Participação em banca de Ivan Jeukens. Um estudo sobre a utilização de modelos computacionais para a representação de sistemas digitais. 2000. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

31.	MELO, Ana C. V. de. Participação em banca de Erika C. Medeiros. Um ambiente de desenvolvimento formal de programas em OBJ3. 1999. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Teses de doutorado

Arnaldo Moura; MARTINS, Eliane; José M P de Oliveira; BUZATO, L. E.; MELO, Ana C. V. de. Participação em banca de Adilson Luiz Bonifácio. Geração de conjuntos de teste para sistemas reativos, de tempo real, e com transformações de contexto. 2009. Tese (Doutorado em Doutorado em Ciência da Computação - UNICAMP) - Universidade Estadual de Campinas.

2.	Rafael Mendes; MELO, Ana C. V. de. Participação em banca de Mábia Daniel Cavalcante. Modelagem e determinação de parâmetros de desempenho de redes de comunicação através da álgebra de dióides. 2008. Tese (Doutorado em Doutorado em Engenharia Elétrica - UNICAMP) - Universidade Estadual de Campinas.

3.	Augusto Sampaio; Paulo Borba; Marcel de Oliveira; Alexandre Mota; MELO, Ana C. V. de. Participação em banca de Tiago Lima Massoni. A model-driven approach to Formal Refactoring. 2008. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal de Pernambuco.

4.	MELO, Ana C. V. de. Participação em banca de Marcelo Figueiredo Polido. Um Método de refinamento para desenvolvimento de software embarcado: uma abordagem baseada em UML-RT e especificações formais. 2007. Tese (Doutorado em Engenharia Mecânica) - Universidade de São Paulo.

5.	MELO, Ana C. V. de. 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.

6.	Mario Jino; MELO, Ana C. V. de. Participação em banca de Maria Claudia Figueiredo Pereira Emer. Abordagem de teste baseada em defeitos para esquemas de dados. 2007. Tese (Doutorado em Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas.

7.	MELO, Ana C. V. de. Participação em banca de Anarosa Alves Franco Brandão. Um método para estruturação e análise de modelos de sistemas multi-agentes baseado em ontologias. 2005. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

8.	SILVA, Fávio Soares Corrêa da; SICHMAN, Jaime; SILVA, José Reinaldo; MELO, Ana C. V. de. Participação em banca de Lourival Paulino da Silva. Um Modelo Formal para a Quinta Disciplina. 2004. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.

9.	MELO, Ana C. V. de. Participação em banca de Luciana Foss. Uma tradução de gramáticas de hipergrafos baseadas em objetos para Cálculo-pi. 2003. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul.

10.	MELO, Ana C. V. de. Participação em banca de Marcos Lordello Chaim. Depuração de programas baseada em informação de teste estrutural. 2001. Tese (Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas.

11.	MELO, Ana C. V. de. Participação em banca de Roberto C. de Araújo. Compartilhamento de Conhecimento em Sistemas baseados em conhecimento: um estudo de caso. 2000. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.

12.	MELO, Ana C. V. de. Participação em banca de Leila Maciel de Almeida e Silva. An algebraic approach to hardware/software partitioning. 2000. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

13.	MELO, Ana C. V. de. Participação em banca de Vanderlei Moraes Rodrigues. Transições síncronas, lógica temporal e VHDL. 1998. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul.

Qualificações de doutorado

1.	Augusto Sampaio; Paulo Borba; Juliano Yoda; MELO, Ana C. V. de. Participação em banca de Rodrigo Teixeira Ramos. Coordination Patterns for Formal Component Composition. 2009. Exame de qualificação (Doutorando em Doutorado em Ciência da Computação) - Universidade Federal de Pernambuco.

2.	MELO, Ana C. V. de. Participação em banca de Marcelo de Moura Amorim. Modelando Compensação de Transações em CSP. 2008. Exame de qualificação (Doutorando em Ciencia da Computacao) - Universidade de São Paulo.

3.	MELO, Ana C. V. de. Participação em banca de Patrick Henrique da Silva Brito. Uma infra-estrutura para desenvolviemnto rigoroso de arquiteturas de software confiáveis baseadas em componentes. 2007. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Estadual de Campinas.

4.	MELO, Ana C. V. de. Participação em banca de Silvio do Lago Pereira. Técnicas Formais para Planejamento. 2006. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade de São Paulo.

5.	MELO, Ana C. V. de. Participação em banca de Rohit Gheyi. A Refinement Theory for Alloy. 2006. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

6.	MELO, Ana C. V. de. Participação em banca de Ivan Jeukens. Modelos. 2003. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade de São Paulo.

7.	MELO, Ana C. V. de. Participação em banca de Lourival Paulino da Silva. Validação empírica da aprendizagem organizacional e gerência do conhecimento em organizações artificiais. 2001. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade de São Paulo.

8.	MELO, Ana C. V. de. Participação em banca de Roberto C de Araújo. Cooperação entre sistemas baseados em conhecimento: um estudo de caso. 1999. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade de São Paulo.

9.	MELO, Ana C. V. de. Participação em banca de Leila Maciel Almeida e Silva. An algebraic approach to hardware/software partitioning. 1998. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

10.	MELO, Ana C. V. de. Participação em banca de Vanderlei Moraes Rodrigues. Transições síncronas, lógica temporal e sua aplicação na verificação formal de VHDL. 1997. Exame de qualificação (Doutorando em Computação) - Universidade Federal do Rio Grande do Sul.

Participação em bancas de comissões julgadoras

Concurso público

1.	MELO, Ana C. V. de. Concurso Público - Edital EACH/ATAc 331/2007 - Curso de Sistemas de Informação, Área Sistemas de Informação.. 2007. Universidade de São Paulo.

2.	MELO, Ana C. V. de. Concurso para professor não-titular do Departamento de Informática. 2005. Universidade Federal do Rio Grande do Sul.

3.	MELO, Ana C. V. de. Concurso para professor não-titular do Departamento de Informática. 2002. Universidade Federal do Rio Grande do Sul.

4.	MELO, Ana C. V. de. Concurso para professor não-titular do Departamento de Informática. 1997. Universidade Estadual de Maringá.

5.	MELO, Ana C. V. de. Concurso para professor não titular do Departamento de Informática. 1997. Universidade Estadual de Maringá.

Eventos

Participação em eventos

1.	FMWeek - 21st IFIP Int. Conference on Testing of Communicating Systems.OConGraX - automatically generating data-flow test cases for fault-tolerant systems. 2009. (Congresso).

2.	SEFM 2008.Using Formal Verification to Reduce Test Space of Fault-Tolerant Programs. 2008. (Congresso).

3.	23rd Annual ACM Symposium on Applied Computing.A formal architectural model for exception handling coordination. 2008. (Congresso).

4.	SBMF 2008 - Brazilian Symposium on Formal Methods.SBMF 2008 - Brazilian Symposium on Formal Methods. 2008. (Simpósio).

5.	Microsoft Faculty Summit. 2007. (Encontro).

6.	Latin American Faculty Summit.Latin American Faculty Summit. 2007. (Encontro).

7.	ICGT 2006 International Conference on Graph Transformation. 2006. (Congresso).

8.	Brazilian Symposium on Formal Methods.Ensino de Métodos Formais. 2006. (Simpósio).

9.	Brazilian Symposium on Formal Methods.A Simulation-Oriented Formalization for the Psychological Theory of B. F. Skinner. 2006. (Simpósio).

10.	Microsoft Research Academic Summit. 2005. (Congresso).

11.	Brazilian Symposium on Formal Methods. 2005. (Simpósio).

12.	4th annual Computing Curriculum Workshop 2004.4th annual Computing Curriculum Workshop 2004. 2004. (Congresso).

13.	Microsoft TechEd 2004.Microsoft TechEd 2004. 2004. (Congresso).

14.	Brazilian Symposium on Formal Methods.Brazilian Symposium on Formal Methods. 2004. (Simpósio).

15.	School on Software Engineering.School on Software Engineering. 2004. (Outra).

16.	VI Workshop on Formal Methods.VI Workshop on Formal Methods. 2003. (Simpósio).

17.	IDS 2003 - Jornadas Latinoamericanas de Ingeniería y Desarrollo de Software.IDS 2003 - Primeras Jornadas Latinoamericanas de Ingeniería y Desarrollo de Software: Teoría y Aplicaciones. 2003. (Simpósio).

18.	XV SBES.XV SBES - Simpósio Brasileiro de Engenharia de Software. 2001. (Simpósio).

19.	IV Workshop de Métodos Formais.IV Workshop de Métodos Formais. 2001. (Simpósio).

20.	Workshop of DECAF-KB.Encontro de projeto - DECaFf-KB. 2001. (Encontro).

21.	XIV SBES.XIV SBES - Simpósio Brasileiro de Engenharia de Software. 2000. (Simpósio).

22.	III Workshop de Métodos Formais.III Workshop de Métodos Formais. 2000. (Simpósio).

23.	WorkSidam- Workkshop de Sistemas de Informação Distribuída de Agentes Móveis.WorkSidam- Workkshop de Sistemas de Informação Distribuída de Agentes Móveis. 2000. (Encontro).

24.	XIII SBES - Simpósio Brasileiro de Engenharia de Software.XIII SBES - Simpósio Brasileiro de Engenharia de Software. 1999. (Simpósio).

25.	II Workshop de Métodos Formais.II Workshop de Métodos Formais. 1999. (Simpósio).

26.	IEEE International Conference on Circuits ana systems.IEEE International Conference on Circuits ana systems. 1998. (Congresso).

27.	XII SBES - Simpósio Brasileiro de Engenharia de Software.XII SBES - Simpósio Brasileiro de Engenharia de Software. 1998. (Simpósio).

28.	I Workshop de Métodos Formais.I Workshop de Métodos Formais. 1998. (Simpósio).

29.	Wollic 98- Workshop of Logic, Language, Information and Computation.Wollic - Workshop of Logic, Language, Information and Computation. 1998. (Simpósio).

30.	VLSI´97 - IX IFIP International Conference on Very Large Scale Integration.VLSI´97 - IX IFIP International Conference on Very Large Scale Integration. 1997. (Congresso).

31.	IASTED/ISMM - Intenational Conf. on Modeling and Simulation.IASTED/ISMM - Intenational Conf. on Modeling and Simulation. 1997. (Congresso).

32.	X SBCCI - Brazilian Symposium on Integrated Circuit Design.X SBCCI - Brazilian Symposium on Integrated Circuit Design. 1997. (Simpósio).

33.	CHARME95 - Correct Hardware Design and Verification Methods.CHARME95 - Correct Hardware Design and Verification Methods. 1995. (Congresso).

Organização de eventos

1.	MELO, Ana C. V. de ; Moreira, Alvaro ; Lucília Camarão ; Eliane Pimentel . SBMF 2007 - Brazilian Symposium on Formal Methods. 2007. (Congresso).

2.	MELO, Ana C. V. de ; HAEUSLER, e H . IV Workshop de Métodos Formais. 2001. (Congresso).

3.	MELO, Ana C. V. de ; OKUDA, Kunio ; ENDLER, Markus ; FINGER, Marcelo ; SONG, Siang . WorkSIDAM - I Workshop de Sistemas de Informação Distribuída de Agentes Móveis. 2000. (Congresso).

4.	MELO, Ana C. V. de ; MOREIRA, Anamaria M . II Workshop de Métodos Formais. 1999. (Congresso).

5.	FINGER, Marcelo ; MELO, Ana C. V. de ; SILVA, Flávio Soares Corrêa da ; QUEIROZ, Ruy ; HAEUSLER, e H . 5th Workshop of Logic, Language, Information and Computation. 1998. (Congresso).

Orientações

Orientações em andamento

Dissertação de mestrado

1.	Jaqueline Rodrigues. Teste e Verificação de Sistemas Web (Título Provisório). Início: 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo. (Orientador).

2.	Simone Hanazumi. Ambiente Integrado para Verificação e Teste da Coordenação de Componentes Tolerantes a Falhas. Início: 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. (Orientador).

3.	Paulo Roberto de Araújo França Nunes. Grafo de Análise de fluxo de Objetos. Início: 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo. (Orientador).

Tese de doutorado

1.	David Paulo Pereira. Coordenação de componentes tolerantes a falhas correta por construção. Início: 2007. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo. (Orientador).

2.	Paulo Salem da Silva. Métodos Formais, Simulações e Metodologia Científica em Sistemas Multi-agentes. Início: 2006. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).

3.	Marcelo de Moura Amorim. Modelando Compensação de Transações em CSP (qualificação em 08/abril/2008). Início: 2004. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo. (Orientador).

Supervisões e orientações concluídas

Dissertação de mestrado

1.	Luciana Setsuko Gakiya. Classificação e Busca de Componentes de Software com Tratamento de Exceções. 2008. 0 f. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Ana Cristina Vieira de Melo.

2.	Kleber da Silva Xavier. Estudo sobre Redução do Custo de Testes através da Utilização de Verificação de Componentes Java com Tratamento de Exceções. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Ana Cristina Vieira de Melo.

3.	Paulo Silveira. Geração automática de casos de teste para Web Services. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Ana Cristina Vieira de Melo.

4.	Alvaro Heiji Miyazawa. Geração parcial de código Java a partir de especifi cações formais Z. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Ana Cristina Vieira de Melo.

5.	André Gustavo de Andrade. Integração de Verificadores Formais para Agentes Móveis. 2007. 0 f. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Ana Cristina Vieira de Melo.

6.	David Paulo Pereira. Um framework para coordenação do tratamento de exceções em sistemas tolerantes a falhas. 2007. 0 f. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Ana Cristina Vieira de Melo.

7.	Cláudia de Oliveira Melo. Classificação semi-automática para componentes java. 2006. 0 f. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Ana Cristina Vieira de Melo.

8.	Leandro César Prudente. Um Estudo sobre Teste versus Verificação Formal de Programas Java. 2004. 0 f. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Ana Cristina Vieira de Melo.

9.	Walter Mesquita. Uma Estratégia para Composiçaõ Formal de Frameworks. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Co-Orientador: Ana Cristina Vieira de Melo.

10.	Marcelo M Amorim. Uma técnica de verificação formal para pi-calculus baseada em bi-simulação up-to e algoritmos de particionamento. 2003. 112 f. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Ana Cristina Vieira de Melo.

11.	Adilson de Jesus Sanchez. Uso de Redes Bayesianas no Gerenciamento de Manutenção de Software. 2003. 111 f. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Ana Cristina Vieira de Melo.

12.	Lucy Mari Tabuti. Um Estudo de um Protocolo de Comunicação para Dispositivos Móveis usando Distributed Join-Calculus. 2002. 130 f. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Ana Cristina Vieira de Melo.

13.	Bruno M Moutinho. Composição de fluxos de Controle de framworks Java. 2001. 115 f. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Ana Cristina Vieira de Melo.

14.	ROGÉRIO DE CARLO. Classificação e Seleção de Componentes Concorrentes. 1999. 101 f. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Ana Cristina Vieira de Melo.

Trabalho de conclusão de curso de graduação

1.	Fábio Murilo Ikeda. Estágio Supervisionado. 2003. 0 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade de São Paulo. Orientador: Ana Cristina Vieira de Melo.

2.	Daniela Akizuki. Estágio Supervisionado. 2003. 0 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade de São Paulo. Orientador: Ana Cristina Vieira de Melo.

3.	Christian Rivolta Bernauer. Estágio Supervisionado. 2002. 0 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade de São Paulo. Orientador: Ana Cristina Vieira de Melo.

4.	Rodrigo Vieira Couto. Estágio Supervisionado. 2002. 0 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade de São Paulo. Orientador: Ana Cristina Vieira de Melo.

Iniciação Científica

1.	Simone Hanazumi. Projeto de Iniciação Científica Ferramenta para Análise do Tratamento Excepcional de Objetos. 2007. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo. Orientador: Ana Cristina Vieira de Melo.

2.	Rodrigo Della Vittoria Duarte. Estudo e desenvolvimento de novas funcionalidades do Java Pathfinder. 2007. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo. Orientador: Ana Cristina Vieira de Melo.

3.	Paulo Roberto de Araújo França Nunes. Grafo de Controle de fluxo de objetos. 2004. 0 f. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Ana Cristina Vieira de Melo.

4.	Paulo Salem da Silva. Framework para cooperação entre ferramentas de verificação. 2004. 0 f. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo. Orientador: Ana Cristina Vieira de Melo.

5.	Alvaro Heiji Miyazawa. Uma Modelo Formal de Agentes Móveis. 2004. 0 f. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo. Orientador: Ana Cristina Vieira de Melo.

6.	Paulo Roberto de Araújo França Nunes. Fluxo de Objetos. 2004. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Ana Cristina Vieira de Melo.

7.	André Gustavo de Andrade. Integração de Verificadores de agentes móveis. 2003. 0 f. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Ana Cristina Vieira de Melo.

André Gustavo de Andrade. Ambiente amigável para especificação e verificação de agentes móveis. 2002. 0 f. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Ana Cristina Vieira de Melo.

Orientações de outra natureza

1.	Bruno Klava. Tutoria. 2003. 0 f. Orientação de outra natureza - Universidade de São Paulo. Orientador: Ana Cristina Vieira de Melo.

2.	Christian Fornos Klein. Tutoria. 2003. 0 f. Orientação de outra natureza - Universidade de São Paulo. Orientador: Ana Cristina Vieira de Melo.

3.	Antônio Carlos dos Santos. Tutoria. 2002. 0 f. Orientação de outra natureza - Universidade de São Paulo. Orientador: Ana Cristina Vieira de Melo.

Página gerada pelo Sistema Currículo Lattes em 09/02/2010 às 21:27:47