Основы объектно-ориентированного программирования
| 
|
Базисные механизмы надежности
Базисные механизмы надежностиО корректности ПО
Выражение спецификаций
Формула корректности
Сильные и слабые условия
Введение утверждений в программные тексты
Предусловия и постусловия
Класс стек
Предусловия
Постусловия
Педагогическое замечание
Контракты и надежность ПО
Права и обязательства
Интуиция (Дзен) и искусство программной надежности: больше гарантий и меньше проверок
Утверждения не являются механизмом проверки вводимых данных
Утверждения это не управляющие структуры
Ошибки, дефекты и другие насекомые
Работа с утверждениями
Императив и аппликатив (применимость)
Замечание о пустоте структур
Проектирование предусловий: толерантное или требовательное?
Предусловия и статус экспорта
Толерантные модули
Инварианты класса
Определение и пример
Форма и свойства инвариантов класса
Инвариант в момент изменения
Кто должен обеспечить сохранность инвариантов
Роль инвариантов класса в программной инженерии
Инварианты и контракты
Когда класс корректен?
Корректность класса
Роль процедур создания
Ревизия массивов
Связывание с АТД
Не просто коллекция функций
Компоненты класса и АТД функции
Выражение аксиом
Функция абстракции
Инварианты реализации
Инструкция утверждения
Инварианты и варианты цикла
Трудности циклов
Сделаем циклы корректными
Ингредиенты доказательства корректности цикла
Синтаксис цикла
Использование утверждений
Утверждения как средство для написания корректного ПО
Использование утверждений для документирования: краткая форма класса
Мониторинг утверждений в период выполнения
Мониторинг утверждений в период выполнения - 2
Каков оптимальный уровень мониторинга?
Нужен ли мониторинг в период выполнения?
Выразительная сила утверждений
Включение функций в утверждения
Инварианты класса и семантика ссылок
Что дальше
Ключевые концепции
Библиографические замечания
Библиографические замечания - 2
У11.1 Комплексные числа
У11.2 Класс и его АТД
У11.3 Полные утверждения для стеков
У11.4 Экспортирование размера
У11.6 Утверждения и экспорт
У11.7 Поиск жучков (bugs)
У11.8 Нарушение инварианта
У11.9 Генерация случайных чисел
У11.10 Модуль "очередь"
У11.11 Модуль "множество"
Постскриптум: Катастрофа Ариан 5
Финансы
И снова про деньги, но под другим именем - финансы. Люди научились крутить вертеть любые цифры так что с одной стороны можно показать вам офигенную прибылищу, а с другой - голубчик, да вы нищий. Вс эта байда называется самиы разными словами, но чаще всего говорят про анализ.Финансы - Активы
Финансы - Акции
Финансовый анализ
Финансовая деятельность
Диагностика финансов
Задачи финансов
Финансы - Зарплата
Финансовые инвестиции
История финансов
Корпоративные финансы
Методы анализа финансов
Страхование финансов
Структура финансов
Теория финансов
Финансовое моделирование
Финансовая модель рынка
Финансы как наука
Финансы - Несостоятельность
Финансы - Облигации
Финансы организации
Основа финансов
Финансовая отчетность
Финансовая оценка
Финансовое планирование
Финансовые показатели
Учебник по финансам
Финансовое состояние
Финансы - Форварды
Финансовая хоз. деятельность
Портфельное инвестирование
Финансовые потоки
Финансы предприятия
Финансовая прибыль
Финансовый результат
Финансовый риск
Финансы России
Финансовый рынок
Финансовая система
Финансовый софт
Финансовая стратегия
Управление финансами
Финансы - Сложные проценты
Финансы - Имитационные модели
