Бакалавриат
2026/2027
Научно-исследовательский семинар "Системное программирование 1"
ID 1139289
Статус:
Курс по выбору (Программная инженерия)
Где читается:
Факультет компьютерных наук
Когда читается:
3-й курс, 1-3 модуль
Охват аудитории:
для своего кампуса
Преподаватели:
Петренко Александр Константинович
Язык:
русский
Кредиты:
3
Контактные часы:
48
Программа дисциплины
Аннотация
Дисциплина представляет собой комплексное изложение теоретических и практических основ системного программного обеспечения и инженерии программных комплексов. Рассматриваются ключевые понятия системного ПО, особенности его разработки и эксплуатации, дается классификация видов системного программного обеспечения и инструментов для его создания и анализа.
Цель освоения дисциплины
- Обеспечить студентов базовыми знаниями в области системного программирования
- Заложить основы для последующих курсов, посвященных созданию современных средств системного программирования
- Обучить студентов применению современных интегрированных инструментальных средств, предназначенных для разработки системного программного обеспечения (ПО)
- Привить студентам навыки исследовательской работы, предполагающей самостоятельное изучение специфических инструментов и средств, необходимых для решения именно той конкретной проблемы, которая в качестве задачи поставлена перед ними
Планируемые результаты обучения
- Способен использовать методы и инструментальные средства исследования объектов про-фессиональной деятельности (ПК-3)
- Способен оценивать потребность в ресурсах и планировать их использование при решении задач в профессиональной деятельности (УК-4)
- Способен оценивать потребность в ресурсах и планировать их использование при решении задач в профессиональной деятельности (УК-4)
- Способен решать проблемы в профессиональной деятельности на основе анализа и синтеза (УК-3)
- Способен решать проблемы в профессиональной деятельности на основе анализа и синтеза (УК-3)
Содержание учебной дисциплины
- Предмет и методы системного программирования. Математические основы системного программирования
- Инструменты поддержки жизненного цикла ПО. Управление требованиями. Формальные модели процессов разработки ПО
- Методы проектирования программ на основе моделей.
- Методы верификации. Тестирование на формальных основе моделей
- Методы верификации. Дедуктивный анализ. Model checking, software model checking.
- Интеграция методов конструирования и верификации программных систем.
Промежуточная аттестация
- 2026/2027 3rd module0.5 * Экзамен + 0.25 * Аудиторная работа + 0.25 * Самостоятельная работа
Список литературы
Рекомендуемая основная литература
- Кузнецов, А.С. Системное программирование : учеб. пособие / А.С. Кузнецов, И.А. Якимов, П.В. Пересунько. - Красноярск : Сиб. федер. ун-т 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