Рабочая программа учебной дисциплины
Направление подготовки: 09.03.04 Программная инженерия
Профиль: Программная инженерия, заочная форма обучения, АОИ
Учебный план набора 2016 года
Кафедра автоматизации обработки информации
Основная литература
Дополнительная литература
Сенченко П.В. Надежность, эргономика и качество АСОИУ: Учебное пособие. — Томск: Томск. гос. ун-т систем управления и радиоэлектроники, 2006. — 185 с.
Доступно в библиотеке:
25
экземпляров
Кларк Эдмунд М. Верификация моделей программ: Model Checking: Монография: Пер. с англ./ Эдмунд М. Кларк, Орна Грамберг, Дорон Пелед; Пер. В. Захаров, Пер. Р. Кончаков, Пер. Д. Царьков, Ред. пер. Р. Смелянский. – М.: МЦНМО, 2002. – 416 с.
Доступно в библиотеке:
2
экземляра
Басовский Л.Е. Управление качеством : Учебник для вузов / Л. Е. Басовский, В. Б. Протасьев. – М. : Инфра-М, 2008. – 211[13] с. : ил., табл. – (Высшее образование). – Библиогр.: с. 211. – ISBN 978-5-16-002493-6
Доступно в библиотеке:
10
экземпляров
Мунипов В. М. Эргономика: человекоориентированное проектирование техники, программных средств и среды: Учебник для вузов / В. М. Мунипов, В. П. Зинченко. – М.: Логос, 2001. – 356 с.
Доступно в библиотеке:
3
экземляра
Дисциплины
Методы контроля оценки качества программного обеспечения
Направление подготовки (специальность): 09.03.04 Программная инженерия
Профиль: Программная инженерия
Индекс дисциплины: Б1.В.ДВ.3.1
Форма обучения: заочная
Факультет: ЗиВФ
Кафедра: АОИ
Курс:
Семестр:
Учебный план набора 2016 года