Научно-исследовательский семинар "Формальные методы в программной инженерии"

2020/2021

Учебный год

RUS

Обучение ведется на русском языке

3

Кредиты

Кто читает:

Кафедра информационных технологий в бизнесе (Пермь) (Факультет социально-экономических и компьютерных наук)

Статус:

Курс по выбору

Когда читается:

3-й курс, 1-3 модуль

Программа дисциплины

Аннотация

Целью освоения дисциплины «Научно-исследовательский семинар» является знакомство с научными методами анализа и синтеза информационных систем и их обеспечения. Рассматриваются организации киберфизических систем (CPS), Интернет вещей (IoT), как сквозная технология, платформы для работы с IoT устройствами, средства визуализации данных IoT, методы прикладного анализа данных с устройств IoT, принципы моделирования систем управления, реализации методов управления в CPS.

Цель освоения дисциплины

• подготовка студентов к обучению в вузе, подготовка студентов к участию в научно-исследовательской работе
• знакомство студентов с тематикой научных исследований, в которых они могут принимать участие, и формами такого участия
• разбор студентами некоторых важных проблем инженерии программных систем

Планируемые результаты обучения

• Владеет навыками поиска, систематизации и аналитической обработки патентной и научно-технической информации

Содержание учебной дисциплины

• Раздел 6 Информационно-аналитическая поддержка принятия управленческих решений по объекту управления
  Тема 15. Информационно-аналитическая деятельность. Философский смысл понятия «Информации». Информационно-аналитическое обеспечение» как механизм снятия информационной неопределенности. Инструменты реализации информационной потребности информационно-аналитической деятельности внешней среды. Тема 16. Информационные ресурсы. Структура информационных ресурсов России. Государственная система научно-технической информации (ГСНТИ). Международные информационные ресурсы. Инструменты информационно-аналитического обеспечения. Патентные исследования.

Элементы контроля

• Работа на семинарах
• Защита индивидуальной работы
• Самостоятельная работа
  Итоговая оценка формируется на основе накопленной оценке за период обучения в 1-3 модулях. Итоговая оценка рассчитывается как 2/3 от оценки за 1-2 модуль (преподаватель Трусов В.А.), и 1/3 от оценки за 3 модуль (преподаватель Кычкин А.В.). Если оценка за 1-2-й модули ниже 4, то итоговая оценка не может быть более 4. Если оценка за 3-й модуль ниже 4, то итоговая оценка не может быть более 6. Положительная оценка по модулю 3 может быть выставлена только при наличии проекта публикации (статьи) по тематикам, рассмотренным на семинаре.

Промежуточная аттестация

• Промежуточная аттестация (3 модуль)
  0.4 * Защита индивидуальной работы + 0.4 * Работа на семинарах + 0.2 * Самостоятельная работа

Список литературы

Рекомендуемая основная литература

• Шкляр, М. Ф. Основы научных исследований [Электронный ресурс] : Учебное пособие для бакалавров / М. Ф. Шкляр. - 5-е изд. - М.: Издательско-торговая корпорация «Даш-ков и К°», 2018. - 244 с. - Режим доступа: http://znanium.com/catalog/product/415019

Рекомендуемая дополнительная литература

• Антамошкин, О. А. Программная инженерия. Теория и практика [Электронный ресурс] : учебник / О. А. Антамошкин. - Красноярск: Сиб. Федер. ун-т, 2012. - 247 с. - ISBN 978-5-7638-2511-4.
• Введение в программирование на языке Visual C#: Учебное пособие / Гуриков С.Р. - М.:Форум, НИЦ ИНФРА-М, 2013. - 448 с.: 70x100 1/16. - (Высшее образование: Бакалавриат) (Переплёт 7БЦ) ISBN 978-5-91134-738-3 - Режим доступа: http://znanium.com/catalog/product/404441
• Методология научного исследования : учебник / А.О. Овчаров, Т.Н. Овчарова. — Москва : ИНФРА-М, 2019. — 304 с. + Доп. материалы [Электронный ресурс; Режим доступа http://new.znanium.com]. — (Высшее образование: Магистратура). — www.dx.doi.org/10.12737/357. - Текст : электронный. - URL: http://znanium.com/catalog/product/989954
• Методы и средства научных исследований : учебник / А.А. Пижурин, А.А. Пижурин (мл.), В.Е. Пятков. — Москва : ИНФРА-М, 2018. — 264 с. + Доп. материалы [Электронный ресурс; Режим доступа: https://new.znanium.com]. — (Высшее образование: Бакалавриат). - Текст : электронный. - URL: http://znanium.com/catalog/product/937995
• Методы искусственного интеллекта / Осипов Г.С. - М.:Физматлит, 2011. - 296 с.: ISBN 978-5-9221-1323-6 - Режим доступа: http://znanium.com/catalog/product/544787
• Программирование на VBA в Excel 2016: Самоучитель / Комолова Н.В., Яковлева Е.С. - СПб:БХВ-Петербург, 2017. - 432 с.: 70x100 1/16. - Режим доступа: http://znanium.com/catalog/product/978484
• Технология разработки программного обеспечения: Учеб. пос. / Л.Г.Гагарина, Е.В.Кокорева, Б.Д.Виснадул; Под ред. проф. Л.Г.Гагариной - М.: ИД ФОРУМ: НИЦ Инфра-М, 2013. - 400 с.: ил.; 60x90 1/16. - (Высшее обр.). (п) ISBN 978-5-8199-0342-1 - Режим доступа: http://znanium.com/catalog/product/389963