Лекция из курса Основы объектно-ориентированного программирования
Критерии
Различные реализации
Представления стеков
Представления стеков - часть 2
Опасность излишней спецификации
Какова длина второго имени?
К абстрактному взгляду на объекты
Использование операций
Политика невмешательства в обществе модулей
Согласованность имен
Можно ли обойтись без абстракций?
Можно ли обойтись без абстракций? - часть 2
Формализация спецификаций
Специфицирование типов
Универсализация (Genericity)
Универсализация (Genericity) - часть 2
Перечисление функций
Перечисление функций - часть 2
Перечисление функций - часть 3
Категории функций
Раздел АКСИОМЫ
Раздел АКСИОМЫ - часть 2
Две или три вещи, которые мы знаем о стеках
Частичные функции
Предусловия
Полная спецификация
Ничего кроме правды
Ничего кроме правды - часть 2
Лекция из курса Основы объектно-ориентированного программирования
Критерии
Различные реализации
Представления стеков
Представления стеков - часть 2
Опасность излишней спецификации
Какова длина второго имени?
К абстрактному взгляду на объекты
Использование операций
Политика невмешательства в обществе модулей
Согласованность имен
Можно ли обойтись без абстракций?
Можно ли обойтись без абстракций? - часть 2
Формализация спецификаций
Специфицирование типов
Универсализация (Genericity)
Универсализация (Genericity) - часть 2
Перечисление функций
Перечисление функций - часть 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 Непротиворечивость