O paradigma da Programação baseada em Gramáticas (PG).
Conceitos sobre Gramáticas de Atributos (GA); definição formal; desenvolvimento de GAs (aproximação monolítica versus modular, incremental).
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; Notações gramaticais.
Qualidade de Linguagens; dimensões de avaliação e definição; critérios.
Qualidade de Gramáticas; dimensões de avaliação e definição; critérios.
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.
Ambientes para Manipulação de Gramáticas.
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 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 discutir a qualidade de Linguagens e Gramáticas,
Capacidade para medir Gramáticas e avaliar a sua qualidade.
Capacidade para desenvolver ambientes para Manipulação de Gramáticas.