Технология программирования - лекции
1 Надёжное программное средство
2 Источники ошибок в программных средствах
3 Общие принципы разработки ПС
4 Вневшее описание ПС
5 Методы спецификации семантики функций
6 Архитектура программного средства
7 Разработка структуры программы
8 Разработка программного модуля
9 Доказательство свойств программ
10 Тестирование и отладка ПС
11 Обеспечение функциональности и надёжности ПС
12 Обеспечение качества ПС
13 Документирование программных средств
14 Управление разработкой и аттестация ПС
15 Объектный подход к разработке ПС
16 Компьютерная поддержка разработки