Alvaro Heiji Miyazawa

possui graduação em Bacharelado Em Ciência da Computação pela Universidade de São Paulo (2006) e mestrado em Ciências da Computação pela Universidade de São Paulo (2008) . Tem experiência na área de Ciência da Computação , com ênfase em Metodologia e Técnicas da Computação. Atuando principalmente nos seguintes temas: especificação formal, desenvolvimento de software, desenvolvimento baseado de modelo, Java, notação Z e geração de código.
(Texto gerado automaticamente pela aplicação CVLattes)

Última atualização do currículo em 03/10/2008
Endereço para acessar este CV:
http://lattes.cnpq.br/7882558130198142
Dados pessoais
NomeAlvaro Heiji Miyazawa
Nome em citações bibliográficasMIYAZAWA, A.
SexoMasculino
Endereço profissionalUniversidade 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
05508-090 - Sao Paulo, SP - Brasil

Formação acadêmica/Titulação
2007 - 2008Mestrado em Ciências da Computação .
Universidade de São Paulo, USP, Brasil.
Título: Geração parcial de código Java a partir de especificações formais Z, Ano de Obtenção: 2008.
Orientador: Ana Cristina Vieira de Melo.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior ,CAPES ,Brasil .
Palavras-chave: especificação formal; desenvolvimento de software; desenvolvimento baseado de modelo; Java; notação Z; geração de código.
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: Metodologia e Técnicas da Computação / Especialidade: Métodos Formais.
2002 - 2006Graduação em Bacharelado Em Ciência da Computação .
Universidade de São Paulo, USP, Brasil.
Título: Modelo Formal de Sistemas Multiagentes com Mobilidade.
Orientador: Ana Cristina Vieira de Melo.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico ,CNPq ,Brasil .

Atuação profissional

Á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 / Especialidade: Métodos Formais.
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: Lingüística, Letras e Artes / Área: Lingüística.

Idiomas
Inglês Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Japonês Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco.
Espanhol Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.
Hebraico Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco.


Produção em C,T & A
Produção bibliográfica
Trabalhos completos publicados em anais de congressos
1.   MIYAZAWA, A. ; SALEM, P. ; MELO, Ana C. V. de . JZed-Gen: Towards Pragmatical Generation of Software from Z Specifications. In: Simpósio Brasileiro de Métodos Formais, 2008, Salvador. Brazilian Symposium on Formal Methods - Special Tracks, 2008. p. 25-32.

Eventos
Participação em eventos
1. Simpósio Brasileiro de Métodos Formais. 2007. (Simpósio).
2. Workshop on Logical and Semantic Frameworks, with Applications. 2007. (Oficina).
Página gerada pelo Sistema Currículo Lattes em 12/02/2012 às 1:40:57