Книга: Основы объектно-ориентированного программирования
У11.5 Инвариант реализации
У11.5 Инвариант реализации
Напишите инвариант реализации для класса STACK3.
Содержание
Оглавление статьи/книги
- У11.1 Комплексные числа
- У11.2 Класс и его АТД
- У11.3 Полные утверждения для стеков
- У11.4 Экспортирование размера
- У11.5 Инвариант реализации
- У11.6 Утверждения и экспорт
- У11.7 Поиск жучков (bugs)
- У11.8 Нарушение инварианта
- У11.9 Генерация случайных чисел
- У11.10 Модуль "очередь"
- У11.11 Модуль "множество"
Похожие страницы
- У11.8 Нарушение инварианта
- Инварианты реализации
- Возможности, планируемые к реализации в следующих версиях
- 1.9 Сложности практической реализации
- 2.7 Сложности практической реализации
- 3.8 Сложности практической реализации
- 4.10 Сложности практической реализации
- 5.9 Сложности практической реализации
- 6.7 Сложности практической реализации
- 7.10 Сложности практической реализации
- 8.3 Сложности практической реализации
- 9.5 Сложности практической реализации