Engenharia Gramatical 2008/09
Programa Resumido
- O paradigma da Programação baseada em Gramáticas (PG).
- Conceitos sobre Gramáticas de Atributos (GA); definição formal.
- Desenvolvimento modular/incremental de GAs (aproximação OO e AO).
- Processamento de Linguagens baseado em GAs (tradução dirigida pela semântica).
- Geração de Programas (processadores de Linguagens, protótipos rápidos) a partir de GAs.
- Métricas para Avaliar a Qualidade das Gramáticas, quer enquanto formalismo de especificação e geração de linguagens, quer enquanto suporte à geração de programas.
Resultados de Aprendizagem Específicos
- Capacidade para desenvolver especificações da sintaxe/semântica de linguagens e problemas em geral com gramáticas de atributos.
- Capacidade para gerar programas (protótipos) usando ferramentas automáticas baseadas em gramáticas de atributos.
- Capacidade para gerar ou utilizar ambientes de desenvolvimento estruturais e orientados à semântica.
- Capacidade para representar, armazenar e manipular eficientemente o Conhecimento com base em árvores de sintaxe ou grafos.
- Capacidade para medir gramáticas e avaliar a sua qualidade.