Технологии программирования


Учебные курсы

Спецсеминар «Корректность программ»

д.ф.-м.н. Петренко Александр Константинович, к.ф.-м.н. Хорошилов Алексей Владимирович, к.ф.-м.н. Кулямин Виктор Вячеславович. осенний полугодовой курс.

Методы генерации тестовых программ для микропроцессоров

к.ф.-м.н. А.С. Камкин, А.Д. Татарников. осенний полугодовой курс.

Верификация программного обеспечения

к.ф.-м.н. Пакулин Николай Витальевич. весенний полугодовой курс.

Открытые системы и организация безопасности сетевого соединения

к.ф.-м.н. Пакулин Николай Витальевич. осенний полугодовой курс.

Конструирование ядра операционной системы

к.ф.-м.н. Хорошилов Алексей Владимирович. полугодовой курс .

Тестирование на основе моделей

к.ф.-м.н. Кулямин Виктор. весенний полугодовой курс.

Технологии программирования. Компонентный подход

к.ф.-м.н. Кулямин Виктор Вячеславович. осенний полугодовой курс.

Формальная спецификация и верификация программ

проф., д. ф.-м. н. Петренко Александр Константинович, к.ф.-м.н. Хорошилов Алексей Владимирович, к.ф.-м.н. Корныхин Евгений Валерьевич. осенний полугодовой курс.

Обеспечение качества и тестирование

Кулямин Виктор Вячеславович, к.ф.-м.н., доцент.

Научно-исследовательский семинар "Системное программирование"

проф., д. ф.-м. н. Петренко Александр Константинович. 3-й курс, 1-3 модуль.