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 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.