List of Figures

• Um Modelo GOMS
• Gramáticas Formais
• Dialogue Cell
• Modelo RED-PIE
• Modelo RED-PIE com efeitos observáveis
• Modelo de Seeheim
• Modelo MVC
• Arquitectura UMA
• Exemplo de Gramáticas Multiparty
• Diagramas de Transições de Estado USE
• Exemplo de uma Especificação CAMILA
• Rede de um Guião
• Rede para gi(var)
• Rede para o Operador de Sequenciação
• Rede para o Operador de Concorrência Síncrona
• Rede para o Operador de Concorrência Assíncrona
• Rede para o Operador de Alternativa
• Rede para o Operador de Repetição
• Rede para o Operador de Repetição (versão 2)
• Rede para os operadores de Soma e Concorrência
• Rede para os Comandos OK e CANCEL
• Arquitectura do MIU
• Arquitectura do GAMA-X
• Composição do Controlador de Diálogo
• Composição do Modelo da Apresentação
• Composição do Modelo da Aplicação
• Menu Inicial
• Inserção
• Menu Inicial depois da Inserção
• View "Portugues"
• View "Ingles"