В статье используются приемы RAISE Development Method-а, от группы авторов называемой далее RDG (RAISE Development Group), для анализа примера Роберта Мартина, иллюстрирующего принцип подстановки Лисков. Кроме того, приводится технический прием проектирования RDG (впервые упомянутый Гуттагом) дополняющий принципы дизайна по контракту.

Содержание:

1. ВВЕДЕНИЕ
2. ОПРЕДЕЛЕНИЯ
3. СПЕЦИФИКАЦИИ ПРИМЕРА
    3.1 Тип Rectangle
    3.2 Тип Square
4. ПРИМЕР НАРУШЕНИЯ ПРИНЦИПА ПОДСТАНОВКИ
5. УТОЧНЕНИЕ ТЕРМИНОВ
6. ОТНОШЕНИЕ НАТУРАЛЬНЫХ И ЦЕЛЫХ
7. ПЕРЕСМОТР ПРОБЛЕМЫ
8. ЗАКЛЮЧЕНИЕ