Estruturação e Verificação de Programas com Tipos de Dados

Paulo A. S. Veloso

1987 — 1ª edição

Estoque esgotado

Sobre o Livro

ISBN: -
Páginas: 380
Formato: 16x23 cm
Ano de Publicação: 1987
Peso: 0.581 kg

Conteúdo

Conteúdo
Prólogo

CAPITULO I - O PROCESSO DE PROGRAMAÇÃO
A. Preliminares : problema, algoritmo, programa 
1. Problema
2. Algoritmo
B. Os processos de desenvolvimento
1. Desenvolvimento de algoritmos
2. Desenvolvimento de programas
3. Desenvolvimento de sistemas de programação
C. "Bons" programas
1. Características de "bons" programas
2. Corretude de programas
O papel da especificação

CAPITULO II - VERIFICAÇÃO DE PROGRAMAS
A. Introdução : análise e verificação
B. Conceitos : especificação e corretude
1. O conceito de estado
2· Especificação e corretude
C. Verificação de fluxogramas
1.  Corretude parcial
2.  Terminação
3· Corretude total : exemplos
D. Verificação de programas
1. Expressões indutivas
2. Programas recursivos
E. Comentários
1. Os métodos de verificação
2. O papel dos tipos de dados na verificação
3. Semântica de linguagens de programação

CAPITULO III - ESTRUTURAÇÃO DE PROGRAMAS E DE DADOS
A. Estruturação de programas
B. Tipos de dados
1. Declaração de objetos
2. Conceito de tipo de dados
3. Tipos primitivos
C. Domínios de dados
1. Tipos e domínios
2. Classificação e definição de domínios
3. Objetos estruturados
D. Definição de domínios
1. Enumeração
2. Restrição
E. Construção de domínios
1. Produto : registros
2. União :  alternativas
3. Estrela : sequências
4. Potência : mapeamentos
5. Comentários e exemplos

CAPITULO IV - PROGRAMAÇÃO COM TIPOS ABSTRATOS DE DADOS 
A. Abstração de dados
1. Visibilidade e disciplina
2. Encapsulamento e proteção
3. Representação e implementação
4. Comportamento e especificação
B. Programas com tipos abstratos de dados
1. Programa abstrato
2. Tipos de dados
3. Módulo de implementação
C. Especificação
1. Especificação do problema / programa abstrato
2. Especificação do tipo abstrato de dados
3. Especificação do tipo concreto
4. Especificação do módulo de implementação
D. Verificação
1. Corretude do programa abstrato
2. Corretude da implementação declarativa
3. Corretude do módulo de implementação
E. Comentários
1. Refinamentos sucessivos
2. Tipos públicos e privados
3. Parametrização
4. Erros e exceções
5. O papel das especificações

CAPITULO V - TIPOS ABSTRATOS DE DADOS - ENFOQUE LÓGICO 
A. Abstração : linguagem e realização
1. Abstração e especificação
2. Linguagens de tipos abstratos de dados
3. Realizações de tipos abstratos de dados
B. Especificação de tipos abstratos de dados
1. Introdução : critérios
2. Especificação : conceito e propriedades
3. Extensão de especificações
C. Interpretação e parametrização
1. Interpretação de especificações
2. Passagem de parâmetros
D. Implementação de tipos abstratos de dados
1. Introdução : idéias básicas
2. Representação e subsortes
3. Implementação : corretude
E. Outros aspectos
1. Desenvolvimento de especificações
2. Erros
3. O papel da Igualdade

EPILOGO

REFERENCIAS BIBLIOGRAFICAS

INDICE

 

Sinopse

A construção sistemática de bons programas é, sem dúvida, um dos tópicos centrais da Ciência da Computação. Este livro introduz e ilustra os conceitos e métodos básicos relevantes ao desenvolvimento metódico de programas confiáveis.

Trata-se de texto dirigido a alunos em final de graduação ou início de pós-graduação, bem como a profissionais da área. Pressupõe apenas uma certa experiência de programação e alguma maturidade, sendo independente de linguagem de programação. Versões preliminares do texto foram usadas em vários cursos.

O esquema geral de apresentação consiste em começar com exemplos simples para motivação, seguidos de uma explicação clara dos conceitos gerais envolvidos, que são então aplicados a exemplos mais interessantes. O grande número de exercícios, com uma gama bastante ampla de grau de dificuldade, E as referências complementam o texto.

Os tópicos abordados incluem:

* O processo de programação em suas várias fases.

* Conceitos e métodos para verificação de programas.

* Métodos para estruturação de programas e de dados.

* Desenvolvimento de programas por meio de abstração de dados.

* Conceitos fundamentais de tipos abstratos de dados.

Ver maisVer menos

Depoimentos sobre o livro

Envie seu depoimento

Seja o primeiro a publicar um depoimento sobre o livro!