Joker: um realizador de desenhos animados para linguagens formais

Joker: um realizador de desenhos animados para linguagens formais

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...

Full description

Bibliographic Details
Main Author: Souza, Diego Henrique Oliveira de
Other Authors: CPF:02386943488
Format: Others
Language:Portuguese
Published: Universidade Federal do Rio Grande do Norte 2014
Subjects:
Interface Gr?fica
Anima??o
Java
Especifica??o formal
M?todos formais.
Graphical User Interface
Animation
Formal Specifications
Formal Methods.
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
Online Access:http://repositorio.ufrn.br:8080/jspui/handle/123456789/18024

Internet

http://repositorio.ufrn.br:8080/jspui/handle/123456789/18024

Similar Items