XPTALab_C5-LingFormais_Eliana

Este projeto tem por objetivo analisar algumas das principais linguagens gráficas de interação do ponto de vista de linguagens formais. Essa análise irá redundar em uma melhor compreensão da expressividade dessas linguagens levando, eventualmente, a provas formais novas a seu respeito. Essa análise será realizada do ponto de vista das linguagens formais e do ponto de vista da teoria da informação. Envolvendo música, dança, ambientes virtuais, e colaboração, a interação nesses sistemas é algo primordial. O sucesso ou o fracasso pode ser determinado simplesmente pela nível usabilidade. Por isso o presente projeto entra com um grande papel de estudar as linguagens gráficas de interação existentes dentro desse sistema multimídia.

• Subproject of: XPTALab-ProjetoDeExcelência