Repositório Digital

A- A A+

Definição formal de tipos abstratos de dados através de um exemplo

.

Definição formal de tipos abstratos de dados através de um exemplo

Mostrar registro completo

Estatísticas

Título Definição formal de tipos abstratos de dados através de um exemplo
Autor Specialski, Elizabeth Sueli
Orientador Toscani, Laira Vieira
Data 1981
Nível Mestrado
Instituição Universidade Federal do Rio Grande do Sul. Curso de Pós-Graduação em Ciência da Computação.
Assunto Tipos abstratos : Dados
Resumo Este trabalho contém os conceitos básicos da área da abstração de dados e descrição de várias técnicas para especificação de tipos abstratos, sendo que um enfoque especial dado para a técnica algébrica-axiomática. Um exemplo completo, a Grid, e apresentado desde a sua especificação até a prova da correção de sua implementação com o objetivo de tratar problemas decorrentes da abstração de tipos limitados e estáticos, bem como suas respectivas soluções, uma vez que estes problemas, devido a sua complexidade, não são comumente abordados.
Abstract This paper is concerned with the basic concepts of data abstraction and describes several techniques for specifying abstract data types; especially it focusses on the algebraic- axiomatic technique. A complete example; the Grid, is presented from its specification to the proof of correctness of its implementation. The main goal is to deal with problems stemming from abstracting limited and static data types. These problems, due to its complexity, are not commonly discussed in the available literature.
Tipo Dissertação
URI http://hdl.handle.net/10183/21342
Arquivos Descrição Formato
000084358.pdf (20.85Mb) Texto completo Adobe PDF Visualizar/abrir

Este item está licenciado na Creative Commons License

Este item aparece na(s) seguinte(s) coleção(ões)


Mostrar registro completo

Percorrer



  • O autor é titular dos direitos autorais dos documentos disponíveis neste repositório e é vedada, nos termos da lei, a comercialização de qualquer espécie sem sua autorização prévia.
    Projeto gráfico elaborado pelo Caixola - Clube de Criação Fabico/UFRGS Powered by DSpace software, Version 1.8.1.