English

CIn - Centro de Informática UFPE




Eventos Relacionados

Defesa de Tese de Doutorado Nº 324 "Análises Estrutural e Comportamental Orientadas a Conformidade para o Desenvolvimento de Aplicações Multimídia"

O aluno Thiago Monteiro Prota irá defender sua pesquisa no dia 7, às 8h, no Auditório do CIn-UFPE Início: 07/10/2016 às 08:00 Término: 07/10/2016 às 00:00 Local: Auditório do CIn

Pós-Graduação em Ciência da Computação – UFPE
Defesa de Tese de Doutorado Nº 324

Aluno: Thiago Monteiro Prota
Orientador: Prof.  Carlos André Guimarães Ferraz
Título: Análises Estrutural e Comportamental Orientadas a Conformidade para o Desenvolvimento de Aplicações Multimídia
Data: 07/10/2016
Hora/Local:  8h – Centro de Informática - Auditório
Banca Examinadora:

Prof. Fernando da Fonseca de Souza  (UFPE / Centro de Informática)
Prof. Vinicius Cardoso Garcia (UFPE / Centro de Informática)
Prof. Alexandre Marcos Lins de Vasconcelos (UFPE / Centro de Informática)
Prof. Carlos de Salles Soares Neto  (UFMA / Departamento de Informática)
Prof. Gibeon Soares de Aquino Junior (UFRN / Dep. de Informática e Matemática Aplicada)


RESUMO:

As linguagens declarativas normalmente atuam no desenvolvimento de aplicações multimídias, pois suas características permitem suportar adequadamente a natureza assíncrona e descritiva dessas aplicações. Neste cenário, a robustez surge como um fator determinante para a qualidade dessas aplicações, dada a vasta quantidade de plataformas e dispositivos usuais, que, ocasionalmente, apresentam problemas de execução. Neste contexto, as especificações dessas linguagens são de grande importância para o processo de desenvolvimento, pois além de direcionar a codificação, definindo as restrições léxicas, sintáticas e semânticas, também formalizam como os conteúdos devem ser executados pelos interpretadores. Este trabalho tem por objetivo investigar a viabilidade de se aplicar análises estruturais e comportamentais orientadas à conformidade para o desenvolvimento de aplicações multimídia, a fim de eliminar a dependência de interpretadores para atestar sua corretude. Para tal, a linguagem NCL foi utilizada como alvo do estudo, devido à sua representatividade para o problema.

Palavras-chave: Análise Estrutural;Análise Comportamental;Análise Orientada a Conformidade;Aplicações Multimídia

  • © Centro de Informática UFPE - Todos os direitos reservados
    Tel +55 81 2126.8430 - Cidade Universitária - 50740-560 - Recife/PE
Plano4 Consultoria Web