Институт системного программирования Роcсийской академии наук


Спецсеминар «Корректность программ»

д.ф.-м.н. Петренко Александр Константинович, к.ф.-м.н. Хорошилов Алексей Владимирович, к.ф.-м.н. Кулямин Виктор Вячеславович. осенний полугодовой курс.

Введение в логическое проектирование аппаратуры

Лектор: к.ф.-м.н. Камкин Александр Сергеевич.

Курс представляет собой краткое введение в логическое проектирование цифровой аппаратуры, в частности, в язык описания аппаратуры Verilog. Его цель — познакомить студентов с методами описания и логического моделирования цифровых схем, подготовить фундамент для возможной специализации в области функциональной верификации аппаратуры. В курсе рассматриваются основные математические формализмы, используемые при проектировании аппаратуры (схемы из функциональных элементов, абстрактные и структурные автоматы), и то, как эти формализмы представляются на языке Verilog. Курс читается в рамках спецсеминара «Корректность программ» и рассчитан на студентов 3 курса. Более подробная информация здесь.

Введение в формальные спецификации

Лектор: к.ф.-м.н. Пакулин Николай Витальевич.

Курс дает краткое введение в метод формального описания функциональных требований. Цель курса - познакомить студентов со способами выделения функциональных требований и их формализации средствами строго языка. В рамках курса рассматривается подход, получивший название «контрактные спецификации» (Contract specification), пред- и постусловия. В качестве нотации для записи требований используется язык VDM. Курс читается в рамках спецсеминара «Корректность программ» и рассчитан на студентов 3 курса.

Технологии программирования и свободное программное обеспечение

Лектор: к.ф.-м.н. Хорошилов Алексей Владимирович.

Курс представляет собой краткое знакомство с основными принципами разработки и распространения свободного программного обеспечения (СПО) Его цель — познакомить студентов с практикой применения теоретических концепций программной инженерии через призму проектов по разработке СПО. В курсе рассматриваются особенности разработки СПО, юридические аспекты использования СПО в собственных программах, а также участия в СПО проектах. В рамках курса студенты выполняют задания по знакомству и участию в выбранном ими СПО проекте. Курс читается в рамках спецсеминара «Корректность программ» и рассчитан на студентов 3 курса.

Более подробную информацию по курсу можно получить здесь.

Курс группы

Технологии программирования

Перейти к учебным курсам ИСП РАН