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