Методология программирования», опубликовано издательством Zhejiang University Press.
Оглавление
Глава 1. Введение в методологию программирования. 1.1 Появление методологии программирования 1.2 Основное содержание методологии программирования
Глава 2. Основная теория методологии программирования 2.1 Структурная теорема 2.1.1 Структурированные процедуры 2.1.2 Структурная теорема 2.2 Доказательство корректности программы 2.2.1 Основные понятия 2.2.2 Метод частичного доказательства правильности 2.2.3 Метод доказательства завершаемости 2.3 Абстрактные типы данных 2.3.1 Основные понятия 2.3.2 Алгебраическая спецификация абстрактных типов данных
Глава 3. Методология структурного программирования 3.1 Обзор структурного программирования 3.2 Структурное программирование 3.2.1 Постепенно добиваться усовершенствования 3.2.2 Инвариантное программирование
Глава 4. Методология объектно-ориентированного программирования 4.1 Обзор объектно-ориентированных программ 4.1.1 Появление и развитие объектно-ориентированной технологии 4.1.2 Принципы объектно-ориентированной абстракции 4.1.3 Модель объектно-ориентированных вычислений 4.2 Основные принципы многоразового объектно-ориентированного программирования 4.2.1 Принцип открытия и закрытия (OCP) 4.2.2 Принцип замены Лискова (LSP) 4.2.3 Принцип инверсии зависимостей (DIP) 4.2.4 Закон Деметры (LOD) 4.2.5 Принцип единой ответственности (SRP) 4.3 Парадигмальное программирование 4.3.1 Основные понятия 4.3.2 Итераторы, функциональные объекты и контейнеры 4.3.3 Примеры 4.4 Шаблоны проектирования 4.4.1 Основные понятия 4.4.2 Шаблон создания 4.4.3 Структурный образец 4.4.4 Поведенческие модели 4.5 Ссылки на примеры объектно-ориентированного программирования …
