O objetivo deste trabalho de pesquisa se origina na necessidade de ferramentas eficientes de suporte à execução e análise de sisteas complexos de modelagem baseadas em métodos formais. Tais ferramentas apresentam difícies problemas de otimização e de bom uso dos recursos do ambiente de computãção, Assim, utilizar ASM para especificar a semântica de linguagens de programação de forma eficiente na execução das especificações é um desafio para pesquisadores na área de otimização de código.

Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (3) / Doutorado: (1) .

Integrantes: Mariza Andrade da Silva Bigonha – Integrante / Wendell F. Taveira – Integrante / Fernando Magno Quintao Pereira – Integrante / BIGONHA, Roberto S. – Coordenador / Luciana Leal Ambrosio – Integrante / Fabíola Fonseca de Oliveira – Integrante / Marco Túlio Oliveira Valente – Integrante / Eliseu Cesar Miguel – Integrante.