Сайты ТУСУРа
Научно-образовательный портал ТУСУР
☰

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

Рабочая программа учебной дисциплины

Направление подготовки: 09.04.04 Программная инженерия

Профиль: Методы и технологии индустриального проектирования программного обеспечения, очная форма обучения, АОИ

Учебный план набора 2016 года (План в архиве)

Кафедра автоматизации обработки информации

Автор:   Голубева А. А.
Год издания: 2017

Основная литература

Маглинец Ю.А., Анализ требований к автоматизированным информационным системам. Курс ин-тернет университета информационных технологий. [Электронный ре-сурс]:

Дополнительная литература

Основы трансляции, статического анализа и верификации программ. Рабочая программа дисци-плины. - Новосибирск: ФИТ НГУ, 2003. [Электронный ре-сурс]: Основы трансляции, статического анализа и верификации программ. Рабочая программа дисци-плины. - Новосибирск: ФИТ НГУ, 2003. [Электронный ре-сурс]: http://window.edu.ru/resource/830/23830.

Учебно-методическое пособие

МЕТОДЫ КОНТРОЛЯ И ОЦЕНКИ КАЧЕСТВА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ. / П.В. Сен-ченко. Методические указания к выполнению самостоятельной и практических работ. Для студен-тов направления подготовки бакалавров 09.03.04 «Программная инженерия». 2016 г.. [Электрон-ный ре-сурс]: http://aoi.tusur.ru/upload/methodical_materials/Kachestvo_2016_13_file__689_7239.pdf

Дисциплины

+

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

Направление подготовки (специальность): 09.04.04 Программная инженерия

Профиль: Методы и технологии индустриального проектирования программного обеспечения

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

Форма обучения: очная

Факультет: ФСУ

Кафедра: АОИ

Курс: 1

Семестр: 2

Учебный план набора 2016 года

План в архиве

Научно-образовательный портал ТУСУРа

При полном или частичном использовании текстовых и графических материалов с сайта edu.tusur.ru активная ссылка на сайт ТУСУРа обязательна.

Интересующие вас вопросы можно задать в личном кабинете

Задать вопрос