Joker: um realizador de desenhos animados para linguagens formais

Dissertação de Mestrado

Nome: Diego Henrique Oliveira de Souza
Instituição: UFRN - Universidade Federal do Rio Grande do Norte
Programa: Programa de Pós-Graduação em Sistemas e Computação
Orientador: Marcel Vinicius Medeiros Oliveira
Ano: 2011
País: Brasil

Resumo
Usando métodos formais, o desenvolvedor pode aumentar a confiabilidade e corretude do software. Além disso, o desenvolvedor pode concentrar-se mais nos requisitos funcionais. Porém há muita resistência em se adotar essa abordagem de desenvolvimento de software. A razão principal e a escassez de suporte ferramental adequado, útil e de fácil utilização. Os desenvolvedores normalmente escrevem o código e o testam. Estes testes geralmente consistem em checar se as saídas estão de acordo com os requisitos. Isto, contudo, nem sempre e possível de maneira exaustiva. Por outro lado, usando Métodos Formais um desenvolvedor e capaz de investigar profundamente as propriedades do sistema. Infelizmente, linguagens de especificação formal nem sempre possuem ferramentas como animador ou simulador e às vezes não há interfaces gráficas amigáveis. Porém, algumas dessas ferramentas possuem um compilador, que gera um Sistema de Transições Rotuladas (LTS). A proposta deste trabalho é desenvolver um aplicativo que fornece animação gráfica para especificações formais usando o LTS como entrada. O aplicativo inicialmente suporta as as linguagens B, CSP e Z. Usando o LTS em um formato XML especificado é possível animar outras linguagens formais. Adicionalmente a ferramenta disponibiliza visualização de traces, escolhas feitas pelo usuário, em um formato de árvore gráfica. A intenção é melhorar a compreensão de uma especificação, fornecendo informações sobre erros e animando-a, como os desenvolvedores fazem com linguagens de programação como Java e C++.

Palavras-chave: Interface Gráfica, Animação, Java, Especificação formal, Métodos formais

Para o texto completo, clique aqui!

O futuro do presente: a mídia audiovisual e a sociedade contemporânea na ficção científica do cinema de animação

Dissertação de Mestrado

Nome: Theresa Chistina Barbosa de Medeiros
Instituição: UFRN - Universidade Federal do Rio Grande do Norte
Programa: Programa de Pós-Graduação em Estudos de Mídia
Orientador: Josimey Costa da Silva
Ano: 2011
País: Brasil

Resumo
Essa pesquisa apresenta um estudo que objetiva analisar as imagens do futuro em obras de ficção científica do cinema de animação explorando a temática específica da representação das mídias de comunicação audiovisuais em seu diálogo com as sociedades retratadas nos filmes escolhidos para análise. A discussão proposta busca aproximações para responder à pergunta que deu início a esta pesquisa: como, nos dias de hoje, estamos pensando o futuro? Pretende também, pautada nas discussões propostas por Morin (1997), compreender aspectos da sociedade contemporânea com a ajuda do cinema e, ao mesmo tempo, compreender o cinema, auxiliada por uma análise social

Palavras-chave: Ficção científica, Cinema, Filmes de ficção científica, Comunicação de massa e cultura

Para o texto completo, clique aqui!

Bricolagem e magia das imagens em movimento: o cinema de Moustapha Alassane

Tese de Doutorado

Nome: Cristina dos Santos Ferreira
Instituição: UFRN - Universidade Federal do Rio Grande do Norte
Programa: Programa de Pós-graduação em Ciências Sociais
Orientadora: Lisabete Coradini
Ano: 2014
País: Brasil

Resumo

No contexto de pós-independência dos países da região norte ocidental do continente africano e do posicionamento crítico e discursivo dos sujeitos frente às imagens eurocêntricas que culminou com a constituição das cinematografias africanas, destaca-se a obra do realizador Moustapha Alassane. Com uma prática voltada para uma concepção particular das imagens em movimento, o autor nigerino reconstrói o trajeto do encanto pela imagem à magia do movimento, criando sua lanterna mágica, animando figuras e impressões de seu cotidiano, a partir do simples traço do desenho à modelagem e criação de marionetes tridimensionais. Um discurso que se faz gesto pela bricolagem de elementos que estão a seu alcance. E o gesto irônico do realizador transforma o cenário de um vilarejo no interior do Níger em um filme de faroeste, uma oportunidade para se apropriar do mito que é associado ao da criação do cinema no Ocidente. Este trabalho toma como referência os estudos de autores da diáspora, da crítica pós-colonial e de teóricos africanos. Dessa forma analiso a obra cinematográfica e a trajetória fílmica do realizador nigerino pela via de acesso da chegada das cinematografias africanas ao Brasil, levando em conta o caráter transnacional dos processos sociais contemporâneos, (re)aproximando-nos do continente africano e da reflexão de combate ao racismo como um sistema-mundo

Palavras-chave: Bricolagem, Cinema africano, Cinema de animação

Para o texto completo, clique aqui!