Trabalho do grupo: O Grupo de Pesquisa em Linguagens e Ambientes de Programação desenvolve ambientes de implementação de métodos formais executáveis e pesquisa novas abstrações para ambientes de programação. O trabalho dos últimos anos está focado no projeto e desenvolvimento de um ambiente de especificação formal baseado no modelo formal ASM, e no estudo e aplicação do conceito de mônadas e de técnicas da programação orientada por aspectos para se atingir alto grau de modularização e escalabilidade de definições semânticas denotacionais de grande porte.
Equipe:
Mariza Andrade da Silva Bigonha - Líder (mariza@dcc.ufmg.br)
Profs. Roberto da Silva Bigonha - Líder (bigonha@dcc.ufmg.br)
Linhas de pesquisa:
Métodos e Ferramentas de Documentação de Programas;
Especificação Formal Executável;
Novas Abstrações para Ambientes de Programação
URL: http://www2.dcc.ufmg.br/laboratorios/llp/
Mais detalhes pesquise no http://dgp.cnpq.br/buscaoperacional/ pelo nome do grupo ou dos integrantes da equipe |
