Metodologia de Programação, publicado pela Zhejiang University Press.
Índice
Capítulo 1 Introdução à Metodologia de Programação 1.1 O surgimento da metodologia de programação 1.2 Conteúdo básico da metodologia de programação
Capítulo 2 Teoria Básica da Metodologia de Programação 2.1 Teorema estrutural 2.1.1 Procedimentos estruturados 2.1.2 Teorema estrutural 2.2 Prova de correção do programa 2.2.1 Conceitos básicos 2.2.2 Método de prova de correção parcial 2.2.3 Método de prova de terminabilidade 2.3 Tipos de dados abstratos 2.3.1 Conceitos básicos 2.3.2 Especificação algébrica de tipos de dados abstratos
Capítulo 3 Metodologia de Programação Estruturada 3.1 Visão Geral da Programação Estruturada 3.2 Programação Estruturada 3.2.1 Buscar gradualmente o refinamento 3.2.2 Programação Invariante
Capítulo 4 Metodologia de Programação Orientada a Objetos 4.1 Visão geral de programas orientados a objetos 4.1.1 O surgimento e desenvolvimento da tecnologia orientada a objetos 4.1.2 Princípios de abstração orientada a objetos 4.1.3 Modelo de computação orientada a objetos 4.2 Princípios básicos de programação orientada a objetos reutilizáveis 4.2.1 Princípio de abertura e fechamento (OCP) 4.2.2 Princípio da Substituição de Liskov (LSP) 4.2.3 Princípio de Inversão de Dependência (DIP) 4.2.4 Lei de Deméter (LOD) 4.2.5 Princípio da Responsabilidade Única (SRP) 4.3 Programação Paradigma 4.3.1 Conceitos básicos 4.3.2 Iteradores, objetos de função e contêineres 4.3.3 Exemplos 4.4 Padrões de Projeto 4.4.1 Conceitos básicos 4.4.2 Padrão Criacional 4.4.3 Padrão Estrutural 4.4.4 Padrões comportamentais 4.5 Referências para exemplos de programação orientada a objetos …
