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

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

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

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

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

Индекс дисциплины: Б1.В.ДВ.1.1

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


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

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

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

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

Компетенции

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