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

09.04.04 - Программная инженерия (Методы и технологии индустриального проектирования программного обеспечения)

Очная форма обучения, план набора 2016 г.

Изучается: 2 семестр

Цикл дисциплины: Б1. Дисциплины (модули)

Индекс дисциплины: Б1.Б.2

Обеспечивающая кафедра: Кафедра автоматизации обработки информации


Контрольные испытания

Вид контроля Семестры
Экзамен 2

Объем дисциплины и виды учебной деятельности

Вид учебной деятельности 1 семестр 2 семестр 3 семестр 4 семестр Всего Единицы
Лекция1818часов
Практическая работа1818часов
Всего аудиторных занятий3636часов
Самостоятельная работа3636часов
Всего (без экзамена)7272часов
Подготовка и сдача экзамена/зачета3636часов
Общая трудоемкость108108часов
33З.Е

Компетенции

Код Содержание
ПК-6 пониманием существующих подходов к верификации моделей программного обеспечения