09.03.04 - Программная инженерия (Программная инженерия) План в архиве
Очная форма обучения, план набора 2013 г.
Изучается: 4 семестр
Цикл дисциплины: Б2. Практики
Вид практики: Производственная практика
Индекс дисциплины: Б2.2
Обеспечивающая кафедра: Кафедра автоматизации обработки информации
Рабочая программа
Основная литература
Основы научных исследований / Герасимов Б.И., Дробышева В.В., Злобина Н.В. - М.: Форум, 2011. – 272 с.
Доступно в библиотеке:
5
экземпляров
Басовский Л.Е., Протасьев В.Б. Управление качеством: Учебник для вузов. - М.: Инфра-М, 2008. – 211 с.
Доступно в библиотеке:
10
экземпляров
Дополнительная литература
Исаев Г.Н. Информационные технологии: учебное пособие / Г.Н.. - 2-е изд., стереотип. - М. : Омега-Л, 2013. - 464 с.
Доступно в библиотеке:
15
экземпляров
Кларк Эдмунд М. Верификация моделей программ: Model Checking: Монография: Пер. с англ./ Эдмунд М. Кларк, Орна Грамберг, Дорон Пелед; Пер. В. Захаров, Пер. Р. Кончаков, Пер. Д. Царьков, Ред. пер. Р. Смелянский. – М.: МЦНМО, 2002. – 416 с.
Доступно в библиотеке:
2
экземляра
Контрольные испытания
| Вид контроля | Семестры |
|---|---|
| Зачёт с оценкой | 4 |
Объем дисциплины и виды учебной деятельности
| Вид учебной деятельности | 1 семестр | 2 семестр | 3 семестр | 4 семестр | 5 семестр | 6 семестр | 7 семестр | 8 семестр | Всего | Единицы |
|---|---|---|---|---|---|---|---|---|---|---|
| Общая трудоемкость | 108 | 108 | часов | |||||||
| 3 | 3 | З.Е | ||||||||
| 2 | 2 | недель |
Компетенции
| Код | Содержание |
|---|---|
| ОПК-3 | готовностью применять основы информатики и программирования к проектированию, конструированию и тестированию программных продуктов |
| ПК-1 | готовностью применять основные методы и инструменты разработки программного обеспечения |