• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Research Seminar "Formal Methods in Software Engineering"

2020/2021
Academic Year
RUS
Instruction in Russian
3
ECTS credits
Delivered at:
Department of Information Technologies in Business (Faculty of Computer Science, Economics, and Social Sciences)
Course type:
Elective course
When:
3 year, 1-3 module

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

Аннотация

Целью освоения дисциплины «Научно-исследовательский семинар» является знакомство с научными методами анализа и синтеза информационных систем и их обеспечения. Рассматриваются организации киберфизических систем (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