• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 10
  • Tagged with
  • 10
  • 10
  • 8
  • 8
  • 5
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

Entre apar?ncias e contrastes : imagin?rio do masculino nas anima??es Disney

Nascimento, Fagner Deport Ferreira do 20 March 2018 (has links)
Submitted by PPG Comunica??o Social (famecos-pg@pucrs.br) on 2018-06-06T11:42:41Z No. of bitstreams: 1 FAGNER_DEPORT_FERREIRA_DO_NASCIMENTO_DIS.pdf: 2016850 bytes, checksum: 32d26f3c489d519c064041eb8399c141 (MD5) / Rejected by Sheila Dias (sheila.dias@pucrs.br), reason: Devolvido devido ? falta da capa institucional no arquivo em PDF. on 2018-06-13T14:27:08Z (GMT) / Submitted by PPG Comunica??o Social (famecos-pg@pucrs.br) on 2018-06-20T10:39:02Z No. of bitstreams: 1 FAGNER_DEPORT_FERREIRA_DO_NASCIMENTO_DIS.pdf: 2070538 bytes, checksum: 14ded620d3ae87d8966126cbb3067f14 (MD5) / Approved for entry into archive by Sheila Dias (sheila.dias@pucrs.br) on 2018-06-28T11:53:58Z (GMT) No. of bitstreams: 1 FAGNER_DEPORT_FERREIRA_DO_NASCIMENTO_DIS.pdf: 2070538 bytes, checksum: 14ded620d3ae87d8966126cbb3067f14 (MD5) / Made available in DSpace on 2018-06-28T12:01:30Z (GMT). No. of bitstreams: 1 FAGNER_DEPORT_FERREIRA_DO_NASCIMENTO_DIS.pdf: 2070538 bytes, checksum: 14ded620d3ae87d8966126cbb3067f14 (MD5) Previous issue date: 2018-03-20 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior - CAPES / The feature animations are an extremely fertile field of cinema, powerful imaginary technology, allowing the understanding of diverse representations arising from an equally rich and complex sociological imaginary. From a symbolic perspective, in which the image is the link between men that makes possible the reading of social types in the imaginary, this work proposes to analyze and understand different manifestations of masculine in the animations of the Walt Disney Studios. To that end, understanding sociology will be allied with bibliographical research, in which encompasses multiple perspectives on the masculine gender, enabling the elaboration of instruments capable of assisting the recognition of the formative form (stylistic research). Allied to this methodology is the technique of contrasted pictures of the imaginary, which allows the reading of social forms and types, through a binary field of opposition, which, in this work, will be realized by the comparison between protagonist and antagonist characters, the animations Peter Pan (1953) and Wrecking Ralph (2012). / As anima??es de longa-metragem s?o um campo extremamente f?rtil do cinema, poderosa tecnologia do imagin?rio, e permitem a compreens?o de diversas representa??es advindas de um imagin?rio sociol?gico igualmente rico e complexo. A partir de uma perspectiva simb?lica, na qual a imagem ? o elo entre os homens, o que possibilita a leitura de tipos sociais no imagin?rio, este trabalho prop?e-se a analisar e compreender diferentes manifesta??es do masculino nas anima??es dos est?dios Walt Disney. Para tal entende-se que a sociologia compreensiva ser? aliada da pesquisa bibliogr?fica, que abarca m?ltiplas perspectivas sobre o g?nero masculino, possibilitando a elabora??o de instrumentos capazes de auxiliar no reconhecimento da forma formadora (pesquisa estil?stica). Aliadas a essa metodologia est? a t?cnica dos retratos contrastados do imagin?rio, que permite a leitura das formas e tipos sociais, atrav?s de um campo bin?rio de oposi??o, que ser? realizado por meio da compara??o entre personagens protagonistas e antagonistas, das anima??es Peter Pan (1953) e Detona Ralph (2012).
2

Modelagem procedural de grupos em ambientes internos

Flach, Laura Mattos 15 March 2013 (has links)
Submitted by PPG Ci?ncia da Computa??o (ppgcc@pucrs.br) on 2018-12-13T11:02:57Z No. of bitstreams: 1 Laura Mattos Flach_DIS.pdf: 7411445 bytes, checksum: 79da01d37fd4c16d4a855011a79c3773 (MD5) / Approved for entry into archive by Sheila Dias (sheila.dias@pucrs.br) on 2018-12-17T16:10:07Z (GMT) No. of bitstreams: 1 Laura Mattos Flach_DIS.pdf: 7411445 bytes, checksum: 79da01d37fd4c16d4a855011a79c3773 (MD5) / Made available in DSpace on 2018-12-17T16:16:06Z (GMT). No. of bitstreams: 1 Laura Mattos Flach_DIS.pdf: 7411445 bytes, checksum: 79da01d37fd4c16d4a855011a79c3773 (MD5) Previous issue date: 2013-03-15 / This work presents the utilization of procedural modelling to populate environments with virtual agents. It uses previously procedurally generated environments together with a crowd simulator to generate the agents locomotion. This work creates groups based on semantic informations of the environment to be populated and on data retrieved from IBGE for the population of Porto Alegre. It also generates behaviour for each member of the group created. These behaviours are coherent to the environment, to the group?s and member?s characteristics and also to time. All of these characteristics and specifications are transformed into seeds, wich makes the persistence of the data possible (the possibility of the regeneration of the context at any moment without the use of data structures) and the execution more simple (the model is fully automatic). / Este trabalho apresenta a utiliza??o de modelagem procedural para povoar ambientes com agentes virtuais. S?o utilizados ambientes previamente gerados tamb?m de forma procedural, juntamente com um simulador de multid?es para realizar a locomo??o dos agentes. O trabalho, al?m de criar grupos que se baseiam em informa??es sem?nticas do ambiente a ser povoado e em dados retirados do IBGE em rela??o ? popula??o de Porto Alegre, gera comportamentos para cada membro do grupo. Estes comportamentos gerados s?o coerentes com o ambiente, ?s caracter?sticas do grupo e do pr?prio membro, e ao tempo. Todas estas caracter?sticas e especifica??es s?o transformadas em seeds, o que permite a persist?ncia dos dados (possibilita que o contexto seja gerado novamente a qualquer momento sem a utiliza??o de estruturas de dados) e facilita a execu??o (o modelo ? totalmente autom?tico).
3

Detec??o de componentes faciais baseado em modelos de cor e antropometria

Moreira, Juliano Lucas 17 March 2010 (has links)
Made available in DSpace on 2015-04-14T14:49:23Z (GMT). No. of bitstreams: 1 424522.pdf: 9826800 bytes, checksum: 42f795577052c12e0f48e70cdec692d8 (MD5) Previous issue date: 2010-03-17 / Existem diferentes situa??es em que a detec??o de componentes faciais desempenha um papel importante, como por exemplo: no reconhecimento facial, intera??o humano computador, teleconfer?ncias, an?lise de express?es faciais e anima??o. Esta disserta??o apresenta, primeiramente, uma revis?o bibliogr?fica dos trabalhos referentes ? detec??o dos componentes faciais. Ap?s, ? exposto o modelo desenvolvido para a detec??o de componentes faciais, sendo este baseado em modelos de cor e antropometria. Ao final, s?o mostrados resultados referentes a detec??o dos componentes em bases de dados p?blicas e experimentos realizados na anima??o de avatares 3D.
4

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

Ferreira, Cristina dos Santos 05 May 2014 (has links)
Made available in DSpace on 2014-12-17T14:20:32Z (GMT). No. of bitstreams: 1 CristinaSF_TESE.pdf: 2605520 bytes, checksum: d9ce69b5b8d10f4d603e310b65d8a8c8 (MD5) Previous issue date: 2014-05-05 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / 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
5

Teatro de anima??o em sala de aula: experi?ncias no ensino superior e fundamental 1 / Animation theatre in the classroom: experiences in Higher Education and Elementary 1

Viana, Joana Vieira 31 August 2016 (has links)
Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2018-03-12T20:00:44Z No. of bitstreams: 1 JoanaVieiraViana_DISSERT.pdf: 5476101 bytes, checksum: 49c78720e218dc3dcc01a5f43e59b371 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2018-03-16T18:09:10Z (GMT) No. of bitstreams: 1 JoanaVieiraViana_DISSERT.pdf: 5476101 bytes, checksum: 49c78720e218dc3dcc01a5f43e59b371 (MD5) / Made available in DSpace on 2018-03-16T18:09:10Z (GMT). No. of bitstreams: 1 JoanaVieiraViana_DISSERT.pdf: 5476101 bytes, checksum: 49c78720e218dc3dcc01a5f43e59b371 (MD5) Previous issue date: 2016-08-31 / A presente pesquisa tem como objetivo investigar a utiliza??o das t?cnicas de anima??o como linguagem na forma??o do professor de teatro e nas atividades em sala de aula do Ensino Fundamental 1. Tem como refer?ncia as experi?ncias vivenciadas na disciplina Teatro de Formas Animadas, na UFRN, no semestre de 2014.1, ministrada pelo Professor Dr. S?vio Ara?jo, na qual a pesquisadora realizou doc?ncia assistida e o relato e analise, a partir da sua pr?tica docente junto ?s turmas do Ensino Fundamental 1, da Escola Municipal Jos? Peregrino de Carvalho, em Jo?o Pessoa, PB, nos anos de 2015 e 2016. Observa-se nos dois espa?os, seja para alunos de gradua??o como para crian?as, que s?o enfrentados desafios referentes ao planejamento e sele??o de conte?dos, estrat?gias de motiva??o das turmas e melhor forma de fazer com que os alunos tenham autonomia e discernimento para desenvolverem seus potenciais art?sticos e pessoais. Com rela??o ? forma??o dos professores, ao definir conceitualmente e ao se estabelecer escolhas terminol?gicas e metodol?gicas, relacionadas ao que se entende por teatro de anima??o, ator animador, objeto, animar, e, principalmente, a partir da rela??o do di?logo estabelecida entre o ator, o animador e o objeto, delineia-se qual caminho percorrer no vasto universo do teatro de anima??o. Ressaltando-se as reflex?es sobre a cria??o art?stica como parte fundamental no processo de ensino-aprendizagem e sua rela??o com um melhor aproveitamento por parte dos alunos. Da mesma forma, com rela??o ao trabalho desenvolvido no ensino fundamental 1, a cria??o de cenas configura-se como uma potente estrat?gia metodol?gica na constru??o do conhecimento, embora uma s?rie de desafios sejam enfrentados diariamente no ambiente escolar. / This study aims investigate the utilization of theatre animation techniques as language in the drama teacher formation and in the elementary classroom activities. For this purpose, two experiences are taken as references. The first one is based in the internship as teacher assistant in the Dr. Savio Araujo?s classes of Theatre of Animated Forms in the first semester of 2014 in the Federal University of Rio Grande do Norte. The second is derivate of the researcher's work as teacher of arts in the Municipal School Jos? Peregrino de Carvalho of elementary level, in the city Jo?o Pessoa, PB, during the years of 2015 and 2016. In the both cases, as for undergraduate students as elementary school children, it is observed that there are challenges related to the planning and selection of contents, to the strategies to motivate the classes and the best way to make the students have autonomy and discretion to develop their artistic and personal potential. Regarding the formation of the teacher, the way to go through the vast universe of animation theatre is lineated by the conceptual definitions and terminological and methodological choices related of the assumed meaning for animation theatre, animator actor, object, give life, and mainly from the relationship of the dialogue established between the actor, the animator and the object. They are highlighted reflections about the artistic creation as fundamental part in the teaching-apprenticeship process and its relationship with the improvement by the students. Similarly, in relation to work in primary school 1, scenes creation is configured as a powerful methodological strategy in the construction of knowledge, although a number of challenges are faced daily in the school locus.
6

Categorias de narratividade no cinema de anima??o : atualiza??o dos valores ?ticos de Arist?teles segundo Edgar Morin

Fossatti, Carolina Lanner 30 September 2010 (has links)
Made available in DSpace on 2015-04-14T14:41:14Z (GMT). No. of bitstreams: 1 426639.pdf: 1075422 bytes, checksum: 737eb2a18ea54bf1b8170f7bbdb04a71 (MD5) Previous issue date: 2010-09-30 / O potencial comunicativo das produ??es cinematogr?ficas de anima??o incita questionamentos acerca do conte?do vigente em suas narrativas. Apoiando-se nas contribui??es de Vladimir Propp acerca da estrutura do conto, a presente pesquisa identifica e discute o discurso ?tico presente nas produ??es de anima??es f?lmicas norte-americanas e brasileiras recentes, considerando os conceitos desenvolvidos por Arist?teles e Edgar Morin. Colocando em di?logo ambas as perspectivas, submete-se o corpus formado por um conjunto de obras ? an?lise, buscando-se verificar como tais valores morais e ?ticos s?o transmitidos atrav?s das narrativas. Elementos particulares ?s produ??es nacionais e norte-americanas ganham visibilidade na pesquisa, permitindo a identifica??o de contrastes e aproxima??es que incidem na repercuss?o das anima??es perante suas plat?ias. A partir da fragmenta??o e an?lise das narrativas em fun??es, apresenta-se um quadro de valores morais para cada produ??o animada, associando-as a sua forma??o discursiva. Sob um cen?rio m?gico e enriquecido pelo simb?lico, o cinema de anima??o apresenta personagens com trajet?rias particulares, capazes de dar visibilidade a tem?ticas emergentes no entorno social, fator importante sobretudo se considerarmos que ? o p?blico infantil e juvenil o seu receptor ideal.
7

Gera??o de anima??es faciais personalizadas em avatares

Queiroz, Rossana Baptista 19 March 2010 (has links)
Made available in DSpace on 2015-04-14T14:49:37Z (GMT). No. of bitstreams: 1 433864.pdf: 18434268 bytes, checksum: 61c6a4bdb552888fb0eab7f573b93c20 (MD5) Previous issue date: 2010-03-19 / Neste trabalho, ? apresentado um modelo para a gera??o de anima??es faciais personalizadas em avatares. O modelo inclui duas abordagens de controle param?trico da face do avatar: baseado em scripts de a??es faciais em alto-n?vel ou usando a t?cnica de Anima??o Dirigida por Performance(PDA). A abordagem de controle por script permite a gera??o de anima??es com express?es faciais, fala sincronizada e comportamento dos olhos interativamente pela descri??o em alto-n?vel dessas a??es faciais. A abordagem de controle por Anima??o Dirigida por Performance permite refletir as express?es faciais do usu?rio em seu avatar, considerando como entrada um pequeno conjunto de pontos caracter?sticos providos por algoritmos de Vis?o Computacional. O modelo ? baseado no padr?o MPEG-4 de Anima??o Facial, estruturado usando uma hierarquia dos par?metros de anima??o, proposta para a abordagem de PDA. Essa estrat?gia permite a gera??o de anima??es nas regi?es da face onde n?o houver dados supridos por Vis?o Computacional. Para deformar a face, usa-se Fun??es de Base Radial e Fun??es de Cosseno. Essa abordagem ? computacionalmente barata e permite a anima??o dos avatares em tempo-real. Foi desenvolvido um framework de anima??o facial extens?vel capaz de animar facilmente faces parametrizadas de acordo com o padr?o MPEG-4 em aplica??es interativas. Tamb?m foram desenvolvidas algumas aplica??es interativas como estudo de caso das potencialidades do modelo e realizada uma avalia??o preliminar com usu?rios, de maneira a avaliar qualitativamente as abordagens de controle. Os resultados mostram que o modelo proposto pode gerar anima??es variadas e com resultados visuais satisfat?rios.
8

O potencial educacional do cinema de anima??o: tr?s experi?ncias na sala de aula / The instruction power of animation movies: three experiences in classroom

Vieira, Tatiana Cuberos 10 June 2008 (has links)
Made available in DSpace on 2016-04-04T18:32:45Z (GMT). No. of bitstreams: 1 Tatiana Cuberos Vieira.pdf: 4754886 bytes, checksum: 07aea5239dc93689ebf62e2fd2f2c137 (MD5) Previous issue date: 2008-06-10 / This study, included in the Researches on Pedagogical Practices and Educator's Background, shows the power that the art of animation as a didactical instrument and its positive consequences on the student's background, who is submerged in an information and knowledge society and who aims a new point of view on education: to learn how to think, learn how to learn, and learn to do things. In this way, the research redeems the historic of cinematographic language use, focusing its potentialities. Besides, it exposes positive educational experiences of this joint, aiming mainly, the pedagogical practice and its consequences on the student's background. Three studies examples will be discussed herein, divided into two classes. The first one is education for the media, which aims the critical development of the point of view on the animation movies, as shown by Cineduc?RJ in the animation study of "As Bicicletas de Belleville" and "Meow". In the second class, the education is discussed with the media which promote the change the way we look through the animation creation by students. Anima Escola-RJ and N?cleo de Cinema de Anima??o de Campinas (Anima School and Center of Animation and Movies of Campinas) work with animation workshops including students from the public school net. We conclude that this art stimulates the development of personal abilities, the valorization of individual expression, the power of working in group, aiming the structure of the citizens through the art of animation movies. / Este estudo, inserido na linha de pesquisa Pr?ticas Pedag?gicas e Forma??o do educador, mostra a for?a da arte da anima??o como meio did?tico e suas conseq??ncias positivas na forma??o do aluno, que vive imerso em uma sociedade da informa??o e do conhecimento e que prima por uma nova vis?o de educa??o: de aprender a pensar, aprender a aprender e aprender a fazer. Assim, a pesquisa resgata o hist?rico do uso da linguagem cinematogr?fica na escola, enfatizando suas potencial idades. Em seguida, exp?e experi?ncias educacionais positivas desta uni?o, visando principalmente a reflex?o sobre a pr?tica pedag?gica e suas conseq??ncias para a forma??o do aluno. Ser?o tratados tr?s exemplos de estudo, divididos em duas categorias. A primeira delas ? educa??o para os meios que visa o desenvolvimento cr?tico do olhar sobre o cinema de anima??o, como mostram os exemplos do Cineduc-RJ sobre o estudo das anima??es "As Bicicletas de Belleville" e "Meow". Na segunda categoria, discute-se a educa??o com os meios que promove a criticidade atrav?s da produ??o de anima??es pelos alunos. O Anima Escola-RJ e o N?cleo de Cinema de Anima??o de Campinas trabalham com oficinas de anima??o envolvendo alunos da rede p?blica. Conclui-se que esta arte estimula o desenvolvimento de habilidades pessoais, a valoriza??o da express?o individual, a for?a do trabalho em grupo, visando a forma??o do cidad?o atrav?s da arte do cinema de anima??o.
9

Aprendizado e utiliza??o do estilo de movimento facial na anima??o de avatares

Braun, Adriana 08 August 2014 (has links)
Made available in DSpace on 2015-04-14T14:50:16Z (GMT). No. of bitstreams: 1 461608.pdf: 5223181 bytes, checksum: 86fc9cfeddfa54c5f8407987d8286ee5 (MD5) Previous issue date: 2014-08-08 / This work presents a methodology, named Persona, for learning and transfer of facial motion style of an actor in order to provide parameters for avatar facial animation. Through this methodology, we can drive the facial animation of avatars using the motion style of a particular actor, through the performance of any user. Thus, the avatar can express the facial movements that the user is performing, but replicating the particularities of the actor s facial movements, based on his or her Persona. In order to build the facial motion style model of an actor, we used points tracked on image sequences of the actor performance as input data. We also used a database of threedimensional facial expressions, annotated according to the Facial Action Coding System (FACS). Principal components analysis was performed using these data. Afterwards, artificial neural networks were trained to recognize action units both in the actor and user s performances. Given these classifiers, we can automatically recognize action units in the user s expression and find the equivalent parameters in the actor s motion style model. The result of the process is the provision of such parameters to facial animation systems. The prototype developed as proof of concept has been used in case studies, whose results are discussed. Future work are also addressed. / Esse trabalho apresenta uma metodologia, denominada Persona, para aprendizado e transfer?ncia do estilo de movimento facial de atores para a anima??o de avatares. Por meio dessa metodologia, pode-se guiar a anima??o das faces de avatares com o estilo de movimento de um ator espec?fico, atrav?s da atua??o de usu?rios quaisquer. Dessa forma, o avatar poder? expressar os movimentos faciais que o usu?rio executa, por?m replicando as particularidades dos movimentos faciais do ator, por meio da utiliza??o da Persona. Para constru??o do estilo de movimento facial dos atores, utilizouse como dados de entrada pontos da face obtidos por rastreamento em sequ?ncias de imagens e informa??es presentes em bancos de dados de express?es faciais tridimensionais, anotadas de acordo com o Sistema de Codifica??o A??es Facial (FACS). Esses dados foram submetidos ? an?lise de componentes principais e, ent?o, utilizados para treinamento de redes neurais artificiais. Com esses classificadores podem-se reconhecer automaticamente as unidades de a??o na express?o do usu?rio e encontrar os par?metros equivalentes no estilo de movimento do ator. O resultado do processo ? o fornecimento desses par?metros para sistemas de anima??o. O prot?tipo desenvolvido como prova de conceito foi utilizado em casos de estudo, cujos resultados s?o apresentados. Indica??es de trabalhos futuros tamb?m ser?o discutidas.
10

Joker: um realizador de desenhos animados para linguagens formais

Souza, Diego Henrique Oliveira de 31 August 2011 (has links)
Made available in DSpace on 2014-12-17T15:47:56Z (GMT). No. of bitstreams: 1 DiegoHOS_DISSERT.pdf: 2899752 bytes, checksum: d3160b774efd6749eced9bb34d4a74cf (MD5) Previous issue date: 2011-08-31 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / Using formal methods, the developer can increase software s trustiness and correctness. Furthermore, the developer can concentrate in the functional requirements of the software. However, there are many resistance in adopting this software development approach. The main reason is the scarcity of adequate, easy to use, and useful tools. Developers typically write code and test it. These tests usually consist of executing the program and checking its output against its requirements. This, however, is not always an exhaustive discipline. On the other side, using formal methods one might be able to investigate the system s properties further. Unfortunately, specification languages do not always have tools like animators or simulators, and sometimes there are no friendly Graphical User Interfaces. On the other hand, specification languages usually have a compiler which normally generates a Labeled Transition System (LTS). This work proposes an application that provides graphical animation for formal specifications using the LTS as input. The application initially supports the languages B, CSP, and Z. However, using a LTS in a specified XML format, it is possible to animate further languages. Additionally, the tool provides traces visualization, the choices the user did, in a graphical tree. The intention is to improve the comprehension of a specification by providing information about errors and animating it, as the developers do for programming languages, such as Java and C++. / 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++.

Page generated in 0.039 seconds