Metodología de programación, publicado por Zhejiang University Press.
Tabla de contenido
Capítulo 1 Introducción a la metodología de programación 1.1 El surgimiento de la metodología de programación. 1.2 Contenido básico de la metodología de programación.
Capítulo 2 Teoría básica de la metodología de programación 2.1 Teorema estructural 2.1.1 Procedimientos estructurados 2.1.2 Teorema estructural 2.2 Prueba de la corrección del programa 2.2.1 Conceptos básicos 2.2.2 Método de prueba de corrección parcial 2.2.3 Método de prueba de terminabilidad 2.3 Tipos de datos abstractos 2.3.1 Conceptos básicos 2.3.2 Especificación algebraica de tipos de datos abstractos
Capítulo 3 Metodología de programación estructurada 3.1 Descripción general de la programación estructurada 3.2 Programación estructurada 3.2.1 Buscar gradualmente el refinamiento 3.2.2 Programación invariante
Capítulo 4 Metodología de programación orientada a objetos 4.1 Descripción general de los programas orientados a objetos 4.1.1 El surgimiento y desarrollo de la tecnología orientada a objetos 4.1.2 Principios de la abstracción orientada a objetos 4.1.3 Modelo de computación orientada a objetos 4.2 Principios básicos de la programación orientada a objetos reutilizable 4.2.1 Principio de apertura y cierre (OCP) 4.2.2 Principio de sustitución de Liskov (LSP) 4.2.3 Principio de inversión de dependencia (DIP) 4.2.4 Ley de Demeter (LOD) 4.2.5 Principio de Responsabilidad Única (SRP) 4.3 Programación paradigmática 4.3.1 Conceptos básicos 4.3.2 Iteradores, objetos de función y contenedores 4.3.3 Ejemplos 4.4 Patrones de diseño 4.4.1 Conceptos básicos 4.4.2 Patrón creacional 4.4.3 Patrón estructural 4.4.4 Patrones de comportamiento 4.5 Referencias para ejemplos de programación orientada a objetos …
