Основы объектно-ориентированного программирования


              

Основы объектно-ориентированного программирования

Критерии
Различные реализации
Представления стеков

Представления стеков - 2
Опасность излишней спецификации
Какова длина второго имени?
К абстрактному взгляду на объекты
Использование операций
Политика невмешательства в обществе модулей
Согласованность имен
Можно ли обойтись без абстракций?
Можно ли обойтись без абстракций? - 2
Формализация спецификаций

Специфицирование типов
Универсализация (Genericity)
Перечисление функций
Перечисление функций - 2
Перечисление функций - 3
Категории функций
Раздел АКСИОМЫ
Раздел АКСИОМЫ - 2
Две или три вещи, которые мы знаем о стеках
Частичные функции

Предусловия
Полная спецификация
Ничего кроме правды
Ничего кроме правды - 2
От абстрактных типов данных к классам
Классы
Как создавать эффективный класс
Роль отложенных классов
Абстрактные типы данных и скрытие информации
Переход к более императивной точке зрения

Назад к тому, с чего начали?
Конструирование объектно-ориентированного ПО
За пределами программ
За пределами программ - 2
Дополнительные темы
Еще раз о неявности
Соотношение спецификации и проектирования
Соотношение классов и записей
Альтернативы частичным функциям
Альтернативы частичным функциям - 2

Полна ли моя спецификация?
Полна ли моя спецификация? - 2
Полна ли моя спецификация? - 3
Полна ли моя спецификация? - 4
Доказательство достаточной полноты
Доказательство достаточной полноты - 2
Доказательство достаточной полноты - 3
Доказательство достаточной полноты - 4
Доказательство достаточной полноты - 5
Ключевые концепции

Библиографические замечания
У6.1 Точки
У6.2 Боксеры
У6.3 Банковские счета
У6.4 Сообщения
У6.5 Имена
У6.6 Текст
У6.7 Покупка дома
У6.8 Дополнительные операции для стеков
У6.9 Ограниченные стеки

У6.10 Очереди
У6.11 Распределители
У6.12 Булевский -- BOOLEAN
У6.13 Достаточная полнота
У6.14 Непротиворечивость
Содержание