Технология программирования - лекции
Надежное программное средство как продукт технологии программирования
Источники ошибок в программных средствах
Общие принципы разработки программных средств
Внешнее описание программного средства
Методы спецификации семантики функций
Архитектура программного средства: классы и задачи
Разработка структуры программы и модульное программирование
Разработка программного модуля: порядок и структурное программирование
Доказательство свойств программ: триады Хоора и правила верификации
Тестирование и отладка программного средства
Обеспечение функциональности и надёжности программного средства
Обеспечение качества программного средства
Документирование программных средств
Управление разработкой и аттестация программных средств
Объектный подход к разработке программных средств
Компьютерная поддержка разработки и сопровождения программных средств
















