Engenharia de Linguagens

Análise e Transformação de Software

Programa resumido

• Parsing generalizado e Regras de Desambiguidade:
  • Parsing LL ou LR Generalizado (estudo de sistemas como o SGLR e o HaGLR).
• Aspectos quantitativos de Linguagens de Programação:
  • Métricas para Linguagens de Programação.
  • Métricas para análise de programas (e.g., detecção de código morto, clones, etc).
• Transformação de programas:
  • Programação estratégica.
  • Técnicas de Slicing.
  • Especialização de programas e cálculo parcial.
• Teste de Software.
• Paradigmas para visualização de dados e de conhecimento:
  • visualização vs navegação.
  • visualização/navegação em árvores, grafos, hiper-cubos, petri-nets.
  • visualização/navegação em ontologias.
  • animação de algoritmos.
  • modelos de visualização, visualização com ponto de vista móvel.
  • Exploração de Ambientes de Trabalho usando os paradigmas explicitados nos items acima.

Resultados de Aprendizagem Específicos

• Capacidade de construir front-ends poderosos para a análise de linguagens de programação (ambíguas ou não).
• Capacidade de desenvolver software como uma tarefa de transformar programas e/ou especificações em implementações eficientes.
• Capacidade de utilizar métricas e técnicas de transformação de programas para optimizar programas (e.g. cálculo parcial, detecção de código morto), efectuar debugging de programas (e.g. slicing), melhorar a estrutura dos programas (e.g. refactoring).
• Capacidade para de definir testes para software e testar automaticamente programas em diferentes linguagens de programação.
• Capacidade para criar representações visuais adequadas à compreensão clara do conhecimento complexo detido.