• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Бакалавриат 2023/2024

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

Статус: Курс по выбору (Программная инженерия)
Направление: 09.03.04. Программная инженерия
Когда читается: 4-й курс, 1-3 модуль
Формат изучения: без онлайн-курса
Охват аудитории: для своего кампуса
Язык: русский
Кредиты: 3
Контактные часы: 48

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

Аннотация

Настоящая программа учебной дисциплины устанавливает минимальные требования к знаниям и умениям студента и определяет содержание и виды учебных занятий и отчетности. Программа предназначена для преподавателей, ведущих данную дисциплину, учебных ассистентов и студентов образовательной программы «Программная инженерия» направления подготовки 09.03.04 «Программная инженерия», изучающих дисциплину "Системное программирование". Программа разработана в соответствии с образовательным стандартом Национального исследовательского университета «Высшая школа экономики» по направлению 09.03.04 «Программная инженерия».
Цель освоения дисциплины

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

  • Обеспечить студентов базовыми знаниями в области системного программирования
  • Заложить основы для последующих курсов, посвященных созданию современных средств системного программирования
  • Обучить студентов применению современных интегрированных инструментальных средств, предназначенных для разработки системного программного обеспечения (ПО)
  • Привить студентам навыки исследовательской работы, предполагающей самостоятельное изучение специфических инструментов и средств, необходимых для решения именно той конкретной проблемы, которая в качестве задачи поставлена перед ними
Планируемые результаты обучения

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

  • Способен использовать методы и инструментальные средства исследования объектов про-фессиональной деятельности (ПК-3)
  • Способен оценивать потребность в ресурсах и планировать их использование при решении задач в профессиональной деятельности (УК-4)
  • Способен оценивать потребность в ресурсах и планировать их использование при решении задач в профессиональной деятельности (УК-4)
  • Способен решать проблемы в профессиональной деятельности на основе анализа и синтеза (УК-3)
  • Способен решать проблемы в профессиональной деятельности на основе анализа и синтеза (УК-3)
Содержание учебной дисциплины

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

  • Предмет и методы системного программирования. Математические основы системного программирования
  • Инструменты поддержки жизненного цикла ПО. Управление требованиями. Формальные модели процессов разработки ПО
  • Методы проектирования программ на основе моделей.
  • Методы верификации. Тестирование на формальных основе моделей
  • Методы верификации. Дедуктивный анализ. Model checking, software model checking.
  • Интеграция методов конструирования и верификации программных систем.
Элементы контроля

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

  • неблокирующий Аудиторная работа
  • неблокирующий Экзамен
  • неблокирующий Самостоятельная работа
Промежуточная аттестация

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

  • 2023/2024 учебный год 3 модуль
    0.25 * Аудиторная работа + 0.25 * Самостоятельная работа + 0.5 * Экзамен
Список литературы

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

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

  • Кузнецов, А.С. Системное программирование : учеб. пособие / А.С. Кузнецов, И.А. Якимов, П.В. Пересунько. - Красноярск : Сиб. федер. ун-т 2018. - 170с. - ISBN 978-5-7638-3885-5. - Текст : электронный. - URL: https://new.znanium.com/catalog/product/1032183 - Текст : электронный. - URL: http://znanium.com/catalog/product/1032183

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

  • Хэвиленд К., Грей Д., Салама Б. - Системное программирование в UNIX - Издательство "ДМК Пресс" - 2007 - ISBN: 5-94074-008-1 - Текст электронный // ЭБС ЛАНЬ - URL: https://e.lanbook.com/book/1223

Авторы

  • Шилов Валерий Владимирович
  • Буцкая Евгения Александровна
  • Петренко Александр Константинович