Математика делает то, что можно, так, как нужно, тогда как информатика делает то, что нужно, так, как можно.
Программистский фольклор
(Лекция 1. НАДЕЖНОЕ ПРОГРАММНОЕ СРЕДСТВО КАК ПРОДУКТ ТЕХНОЛОГИИ ПРОГРАММИРОВАНИЯ. ИСТОРИЧЕСКИЙ И СОЦИАЛЬНЫЙ КОНТЕКСТ ПРОГРАММИРОВАНИЯ)
Человеку свойственно ошибаться.
Сенека
(Лекция 2. ИСТОЧНИКИ ОШИБОК В ПРОГРАММНЫХ СРЕДСТВАХ)
Лучшее - враг хорошего.
Народная мудрость
(Лекция 3. ОБЩИЕ ПРИНЦИПЫ РАЗРАБОТКИ
ПРОГРАММНЫХ СРЕДСТВ)
Не переходи мост, пока не дошел до него.
Народная пословица
(Лекция 4. ВНЕШНЕЕ ОПИСАНИЕ ПРОГРАММНОГО
СРЕДСТВА)
Всё, что вообще может быть сказано, должно быть сказано ясно, а о чём невозможно говорить, о том следует молчать.
Л. Витгенштейн
(Лекция 5. МЕТОДЫ СПЕЦИФИКАЦИИ СЕМАНТИКИ
ФУНКЦИЙ)
Разделяй и властвуй!
Латинское изречение
(Лекция 6. АРХИТЕКТУРА ПРОГРАММНОГО СРЕДСТВА)
Смотри в корень!
Козьма Прутков
(Лекция 7. РАЗРАБОТКА СТРУКТУРЫ ПРОГРАММЫ И
МОДУЛЬНОЕ ПРОГРАММИРОВАНИЕ)
Переход от неформального к формальному существенно неформален.
М.Р. Шура-Бура
(Лекция 8. РАЗРАБОТКА ПРОГРАММНОГО МОДУЛЯ)
Встречаются две подруги. Одна говорит другой:
- С моим мужем творится что-то странное. Приходит с работы, наливает полную ванну воды, берет удочку и весь вечер ловит рыбу.
- А почему ты не обратишься к врачу?
- Надо бы. Но так хочется свежей рыбки!
Анекдот
(Лекция 9. ДОКАЗАТЕЛЬСТВО СВОЙСТВ ПРОГРАММ)
Лишь та - ошибка, что не исправляется.
Конфуций
(Лекция 10. ТЕСТИРОВАНИЕ И ОТЛАДКА ПРОГРАММНОГО СРЕДСТВА)
Плохо не клади, вора в грех не вводи.
Народная пословица
(Лекция 11. ОБЕСПЕЧЕНИЕ ФУНКЦИОНАЛЬНОСТИ И
НАДЕЖНОСТИ ПРОГРАММНОГО СРЕДСТВА)
К чему ищу так славу я?
Известно, в славе нет блаженства,
Но хочет все душа моя
Во всем дойти до совершенства.
М.Ю. Лермонтов
(Лекция 12. ОБЕСПЕЧЕНИЕ КАЧЕСТВА ПРОГРАММНОГО СРЕДСТВА)
В начале было Слово...
Библия, Новый завет, От Иоанна святое благовествование
(Лекция 13. ДОКУМЕНТИРОВАНИЕ ПРОГРАММНЫХ СРЕДСТВ)
Губа не дура, язык не лопата.
Народная поговорка
(Лекция 14. УПРАВЛЕНИЕ РАЗРАБОТКОЙ И АТТЕСТАЦИЯ ПРОГРАММНОГО СРЕДСТВА)
Не умножай число имеющихся сущностей.
Вильям Оккам
(Лекция 15. ОБЪЕКТНЫЙ ПОДХОД К РАЗРАБОТКЕ
ПРОГРАММНЫХ СРЕДСТВ)
Умный в гору не пойдет, умный гору обойдет.
Народная пословица (от И.Б. Задыхайло)
(Лекция 16. КОМПЬЮТЕРНАЯ ПОДДЕРЖКА РАЗРАБОТКИ И СОПРОВОЖДЕНИЯ ПРОГРАММНЫХ СРЕДСТВ)