Книга: Основы объектно-ориентированного программирования
Лекция 11. Проектирование по контракту: построение надежного ПО
Содержание
Оглавление статьи/книги
- Базисные механизмы надежности
- О корректности ПО
- Выражение спецификаций
- Введение утверждений в программные тексты
- Предусловия и постусловия
- Контракты и надежность ПО
- Работа с утверждениями
- Инварианты класса
- Когда класс корректен?
- Связывание с АТД
- Инструкция утверждения
- Инварианты и варианты цикла
- Использование утверждений
- Обсуждение
- Ключевые концепции
- Библиографические замечания
- Упражнения
- Постскриптум: Катастрофа Ариан 5
Похожие страницы
- Лекция № 1. Введение
- Лекция 15. Работа с базами данных
- 12. Лекция: Создание приложений с графическим интерфейсом пользователя.
- 4. Лекция: Типы данных
- 14. Лекция: Пакет java.util
- Определение целей. Построение цепочек
- 4.2. Создание трехмерной модели и построение горизонтальной проекции детали
- Построение модели выходов (результатов)
- Глава 9 Построение отказоустойчивых систем
- 8.2. Проектирование
- Лекция 11. Ссылки
- 7. Лекция: Преобразование типов