Éderson Frozi

Formação complementar

Idiomas

Áreas de atuação

Projetos de pesquisa

• 2002 - 2003

  Ambiente de Apoio ao Teste Cooperativo de Software: Testflow Manager, Situação: Concluído; Natureza: Pesquisa. , Integrantes: Ederson Frozi - Integrante / Juliana Silva Herbert - Coordenador.

• 2001 - 2002

  Nautilus Como Uma Linguagem de Programação Concorrente Antecipativa, Descrição: Nautilus é uma das primeiras linguagens de programação inspirada em Teoria das Categorias, que pode ser vista como uma generalização da álgebra de funções. Trata-se de uma versão simplificada e revisada da linguagem orientada a objetos Gnome, onde são introduzidas algumas facilidades adicionais, inspiradas no seu domínio semântico, como a reificação e agregação. A reificação é um mecanismo de abstração baseado em transações que consiste em implementar uma ação de alto nível em composições de ações de baixo nível. A agregação permite trabalhar com conjuntos de objetos relacionados, simplificando a programação. O projeto aqui descrito possui como finalidades, (i) explorar a facilidade de reificação da linguagem Nautilus como um mecanismo antecipativo; (ii) esboçar problemas antecipativos e propor soluções da linguagem; A metodologia a ser adotada será a caracterização, o estudo e a análise da linguagem Nautilus, explorando seu domínio semântico, para permitir uma comparação com diferentes sistemas antecipativos e possibilitar a proposta de soluções da linguagem, para que de fato Nautilus seja um mecanismo antecipativo.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Ederson Frozi - Integrante / Simone André da Costa Cavaleiro - Coordenador.