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

Detalhes bibliográficos
Autor(a) principal: Specialski, Elizabeth Sueli
Data de Publicação: 1981
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da UFRGS
Texto Completo: http://hdl.handle.net/10183/21342
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.
id URGS_5f30c527ac3b6e5b851a618ee4651269
oai_identifier_str oai:www.lume.ufrgs.br:10183/21342
network_acronym_str URGS
network_name_str Biblioteca Digital de Teses e Dissertações da UFRGS
repository_id_str 1853
spelling Specialski, Elizabeth SueliToscani, Laira Vieira2010-04-29T04:14:59Z1981http://hdl.handle.net/10183/21342000084358Este 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.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.application/pdfporTipos abstratos : DadosDefinição formal de tipos abstratos de dados através de um exemploinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisUniversidade Federal do Rio Grande do SulCurso de Pós-Graduação em Ciência da ComputaçãoPorto Alegre, BR-RS1981mestradoinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSORIGINAL000084358.pdf000084358.pdfTexto completoapplication/pdf20858428http://www.lume.ufrgs.br/bitstream/10183/21342/1/000084358.pdf19b8f1457ca7e91ecbf6979752ceb106MD51TEXT000084358.pdf.txt000084358.pdf.txtExtracted Texttext/plain187594http://www.lume.ufrgs.br/bitstream/10183/21342/2/000084358.pdf.txt7395a09afe8edae6ab2533930547bb65MD52THUMBNAIL000084358.pdf.jpg000084358.pdf.jpgGenerated Thumbnailimage/jpeg1270http://www.lume.ufrgs.br/bitstream/10183/21342/3/000084358.pdf.jpgbe6d368b5ecdb1106f0caebc8043e9e5MD5310183/213422018-10-11 08:24:38.248oai:www.lume.ufrgs.br:10183/21342Biblioteca Digital de Teses e Dissertaçõeshttps://lume.ufrgs.br/handle/10183/2PUBhttps://lume.ufrgs.br/oai/requestlume@ufrgs.br||lume@ufrgs.bropendoar:18532018-10-11T11:24:38Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false
dc.title.pt_BR.fl_str_mv Definição formal de tipos abstratos de dados através de um exemplo
title Definição formal de tipos abstratos de dados através de um exemplo
spellingShingle Definição formal de tipos abstratos de dados através de um exemplo
Specialski, Elizabeth Sueli
Tipos abstratos : Dados
title_short Definição formal de tipos abstratos de dados através de um exemplo
title_full Definição formal de tipos abstratos de dados através de um exemplo
title_fullStr Definição formal de tipos abstratos de dados através de um exemplo
title_full_unstemmed Definição formal de tipos abstratos de dados através de um exemplo
title_sort Definição formal de tipos abstratos de dados através de um exemplo
author Specialski, Elizabeth Sueli
author_facet Specialski, Elizabeth Sueli
author_role author
dc.contributor.author.fl_str_mv Specialski, Elizabeth Sueli
dc.contributor.advisor1.fl_str_mv Toscani, Laira Vieira
contributor_str_mv Toscani, Laira Vieira
dc.subject.por.fl_str_mv Tipos abstratos : Dados
topic Tipos abstratos : Dados
description 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.
publishDate 1981
dc.date.issued.fl_str_mv 1981
dc.date.accessioned.fl_str_mv 2010-04-29T04:14:59Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10183/21342
dc.identifier.nrb.pt_BR.fl_str_mv 000084358
url http://hdl.handle.net/10183/21342
identifier_str_mv 000084358
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da UFRGS
instname:Universidade Federal do Rio Grande do Sul (UFRGS)
instacron:UFRGS
instname_str Universidade Federal do Rio Grande do Sul (UFRGS)
instacron_str UFRGS
institution UFRGS
reponame_str Biblioteca Digital de Teses e Dissertações da UFRGS
collection Biblioteca Digital de Teses e Dissertações da UFRGS
bitstream.url.fl_str_mv http://www.lume.ufrgs.br/bitstream/10183/21342/1/000084358.pdf
http://www.lume.ufrgs.br/bitstream/10183/21342/2/000084358.pdf.txt
http://www.lume.ufrgs.br/bitstream/10183/21342/3/000084358.pdf.jpg
bitstream.checksum.fl_str_mv 19b8f1457ca7e91ecbf6979752ceb106
7395a09afe8edae6ab2533930547bb65
be6d368b5ecdb1106f0caebc8043e9e5
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)
repository.mail.fl_str_mv lume@ufrgs.br||lume@ufrgs.br
_version_ 1800308987031191552

Registros relacionados