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!

“Bee Movie – A história de uma Abelha”: Em cena a educação ambiental e a agroecologia

Monografia

Autor(a): Maria Benigna Santos de Jesus
Instituição: UFS - Universidade Federal de Sergipe
Curso: Licenciatura em Ciências Biológicas
Orientador: Aline Lima de Oliveira Nepomuceno
Ano: 2021
País: Brasil

Resumo
O cinema, especialmente as animações, traz questões sociais e ambientais passíveis de reflexão. Por conta disso, encontramos nestes artefatos ambientes profícuos para discussões sobre Educação Ambiental contribuindo para o desenvolvimento do pensamento crítico pautado no respeito ao ambiente. O objetivo dessa pesquisa é compreender as possíveis contribuições e limitações da animação “Bee Movie: a história de uma abelha” como recurso para a divulgação da Educação Ambiental, a partir do viés agroecológico. A pesquisa é de cunho qualitativo e de caráter exploratório, caracterizando-se pelas interpretações e análises do filme de animação a partir da seleção de cenas escolhidas à medida que o discurso dos personagens se alinhava às concepções da Educação Ambiental e dos princípios agroecológicos. A partir das análises, percebemos que o filme evidencia a relação homemnatureza, mas não uma visão crítica sobre ela. A partir disso, foram encontrados elementos para classificar as ações dos personagens de acordo com as concepções de Educação Ambiental subversiva e subserviente. Por meio das cenas, são discutidas também as questões de coletividade que envolvem não só a Educação Ambiental como também a agroecologia. Trazemos, também, a discussão de duas visões da agroecologia: prática e sociopolítica; e fazemos um contraste das cenas com a literatura usada no referencial teórico desse trabalho. Com isso, evidenciamos neste artefato cultural uma visão da agricultura limitada ao agronegócio, ou seja, o filme não traz aspectos agroecológicos em suas cenas que evidenciem práticas alternativas sustentáveis na produção das abelhas.

Palavras-chave: Biologia, Ensino de biologia, Educação ambiental, Filme de animação, Agroecologia

Para o texto completo, clique aqui!

O Uso de Animações como Recurso Didático na Educação Ambiental: Uma análise de “O Lorax - em busca da trúfula perdida''

Monografia

Autor(a): Anne Caroline Soares Mendonça
Instituição: UFS - Universidade Federal de Sergipe
Curso: Licenciatura em Ciências Biológicas
Orientador: Aline Lima de Oliveira Nepomuceno
Ano: 2023
País: Brasil

Resumo
O cinema, especialmente as animações, trazem questões socioambientais passíveis de reflexões. Por conta disso, encontramos nestes artefatos ambientes profícuos para discussões sobre Educação Ambiental (EA) contribuindo para o desenvolvimento do pensamento crítico pautado no respeito ao ambiente. O objetivo dessa pesquisa foi compreender como a EA está presente na animação “O Lorax: em busca da trúfula perdida”. A pesquisa é de cunho qualitativo e de caráter exploratório, caracterizando-se pelas interpretações e análises do filme de animação a partir da seleção de cenas escolhidas à medida que o discurso dos personagens se alinhava às concepções da EA. A partir das análises, percebemos que o filme evidencia a relação ser humano-natureza, e uma visão crítica sobre ela. Por meio das cenas analisadas, são discutidas também questões de coletividade e consumo, que envolvem a EA. Com isso, evidenciamos neste artefato cultural uma possibilidade de recurso didático para a implementação da EA em sala de aula, especialmente no Ensino de Ciências. Assim, concluímos que é possível utilizar o filme analisado como recurso didático para a EA.

Palavras-chave: Ciências biológicas, Ensino superior (UFS), Educação ambiental, Filme de animação, Didática

Para o texto completo, clique aqui!