Программа 3 части курса
"Формальные методы спецификации программ"

Лекция 1
Тема 1. Введение
Тема 2. Диаграммы взаимодействия

Лекция 2
Тема 3. Техника ролевого анализа
Тема 4. Блочные диаграммы

Лекция 3
Тема 5. Техника информационного моделирования

Лекция 4
Тема 6. Фазы производства программного обеспечения
Тема 7. Техника проектирования устойчивых структур

Лекция 5
Тема 8. ЯСО: средства описания структур
Тема 9. ЯСО: конечные автоматы
Тема 10. ЯСО: таймеры

Лекция 6
Тема 11. ЯСО: описание данных
Тема 12. ЯСО: действия над данными
Тема 13. ЯСО: процедуры

Лекция 7
Тема 14. ЯСО: алгебраические спецификации 

Лекция 8
Тема 15. Обзор методов производства программного обеспечения

Лекция 9, 10 резерв