Definição formal de tipos abstratos de dados através de um exemplo
AUTOR(ES)
Specialski, Elizabeth Sueli
DATA DE PUBLICAÇÃO
2010
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.
ASSUNTO(S)
ACESSO AO ARTIGO
http://hdl.handle.net/10183/21342Documentos Relacionados
- Um algoritmo genÃtico baseado em tipos abstratos de dados e sua especificaÃÃo em Z
- Descoberta e composição de serviços web semânticos através de algoritmo genético baseado em tipos abstratos de dados.
- Popularização do autoexame da boca: um exemplo de educação não formal - Parte II
- Alinhamento múltiplo de proteínas via algoritmo genético baseado em tipos abstratos de dados.
- Análises de Dados Diádicos: Um Exemplo a partir da Pesquisa com Casais
