Книга: Основы объектно-ориентированного программирования
У11.3 Полные утверждения для стеков
У11.3 Полные утверждения для стеков
Покажите, что введение закрытой функции body, возвращающей тело стека, сделает возможным утверждениям класса STACK полностью отражать спецификацию соответствующего АТД. Обсудите теоретическую и практическую значимость такого подхода.
Содержание
Оглавление статьи/книги
- У11.1 Комплексные числа
- У11.2 Класс и его АТД
- У11.3 Полные утверждения для стеков
- У11.4 Экспортирование размера
- У11.5 Инвариант реализации
- У11.6 Утверждения и экспорт
- У11.7 Поиск жучков (bugs)
- У11.8 Нарушение инварианта
- У11.9 Генерация случайных чисел
- У11.10 Модуль "очередь"
- У11.11 Модуль "множество"
Похожие страницы
- У11.6 Утверждения и экспорт
- Инструкция утверждения
- Утверждения как средство для написания корректного ПО
- Приложение Полные веб-адреса упомянутых в книге источников
- Полные имена файлов
- IV. Рисунки для утверждения планов
- Утверждения
- Утверждения (Assertions)
- Представления стеков
- У6.8 Дополнительные операции для стеков
- Утверждения не являются механизмом проверки вводимых данных
- Утверждения это не управляющие структуры