• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Статья
Detection of crawler traps: formalization and implementation—defeating protection on internet and on the TOR network

David B., Delong M., Filiol E. A.

Journal of Computer Virology and Hacking Techniques. 2021.

Глава в книге
Оптимизация компонентов многомодульных систем на основе решения автоматных уравнений.

Широкова Е., Евтушенко Л. Г., Лапутенко А. и др.

В кн.: 2020 Новые информационные технологии в исследовании сложных структур (ICAM 2020). Томск: Издательский Дом Томского государственного университета, 2020. С. 142-142.

Препринт
Preventive Model-based Verification and Repairing for SDN Requests

Burdonov I., Kossachev A., Nina Yevtushenko et al.

arxiv.org. Computer Science. Cornell University, 2020

Научно-исследовательский семинар "Программная инженерия: технологии программирования"

2020/2021
Учебный год
RUS
Обучение ведется на русском языке
7
Кредиты

Преподаватель

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

Аннотация

Научно-исследовательский семинар "Программная инженерия: технологии программирования" рассматривает основные проблемы и задачи разработки системного программного обеспечения, а также вопросы конструирования инструментов проектирования, моделирования, компиляции, верификации и сопровождения программных систем. Основная форма работы семинара, это доклады его участников, на которых происходит обсуждение рассматриваемых научных и практических вопросов разработки системного программного обеспечения.
Цель освоения дисциплины

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

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

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

  • Иметь представление о системном программировании как о научной дисциплине
  • Иметь представление об архитектурах вычислительных машин
  • Знать основные методы управления требованиями и методы проектирования на основе моделей
  • Знать основные подходы в проектировании, тестировании и верификации на основе моделей.
  • Знать основные методы конструирования компиляторов
  • Иметь представление о конструировании операционных систем
Содержание учебной дисциплины

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

  • Предмет и методы системного программирования
  • Вычислительные машины
  • Инструменты поддержки жизненного цикла ПО. Управление требованиями. Методы проектирования программ на основе моделей
  • Методы верификации. Тестирование на основе моделей
  • Языки и компиляторы
  • Операционные системы
Элементы контроля

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

  • неблокирующий Доклад
  • неблокирующий Экзамен
    Экзамен проводится в устной форме. Экзамен проводится на платформе meet.jit.si. К экзамену необходимо подключиться за 5 минут до начала. Для участия в экзамене студент обязан: включить камеру и микрофон. Во время экзамена студентам разрешено пользоваться учебными материалами. Кратковременным нарушением связи во время экзамена считается 5-минутное отсутствие связи. Долговременным нарушением связи во время экзамена считается 15-минутное отсутствие связи. При долговременном нарушении связи студент не может продолжить участие в экзамене. Процедура пересдачи аналогична процедуре сдачи.
Промежуточная аттестация

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

  • Промежуточная аттестация (1 модуль)
    0.5 * Доклад + 0.5 * Экзамен
  • Промежуточная аттестация (4 модуль)
    0.5 * Доклад + 0.5 * Экзамен
Список литературы

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

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

  • Искусство программирования. Т.1: Основные алгоритмы, Кнут, Д. Э., 2011
  • Структуры данных и алгоритмы, Ахо, А. В., Хопкрофт, Д. Э., 2010

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

  • Baier, C., & Katoen, J.-P. (2008). Principles of Model Checking. Cambridge, Mass: The MIT Press. Retrieved from http://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsebk&AN=226091
  • Patrick Baudin, Jean-christophe Filliâtre, Claude Marché, Benjamin Monate, Yannick Moy, Virgile Prevosto, & Inria Saclay Île-de-france. (2008). ANSI C Specification Language. Retrieved from http://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsbas&AN=edsbas.E562D7C2
  • Verification of Sequential and Concurrent Programs. (2009). Springer. Retrieved from http://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsnar&AN=edsnar.oai.cwi.nl.14569