• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Бакалаврская программа «Программная инженерия»

Курсы и НИСы по выбору


Научно-исследовательские семинары для 1,2,3,4 курсов на 2018-2019 уч.год.

При выборе НИСа обращайте внимание на доступность записи на него для Вашего курса.
№ п/пНазваниеВыбор для студентов курсаАннотация/программа
1Научно-исследовательский семинар "Автоматы и модели процессов"  2 https://cs.hse.ru/dse/avtomaty
2Научно-исследовательский семинар "Тренды облачной и мобильной разработки"(преподается на английском языке)4https://cs.hse.ru/dse/cloud_trends
3Научно-исследовательский семинар "Разработка облачных и мобильных приложений на платформе Microsoft"1https://cs.hse.ru/dse/cloudapp_development_microsoft
4Научно-исследовательский семинар "Декларативное программирование"1https://cs.hse.ru/dse/declarative_prog
5Научно-исследовательский семинар "Компонентно-ориентированное программирование"   2, 3 https://cs.hse.ru/dse/kop
6Научно-исследовательский семинар "Разработка облачных и мобильных приложений на платформе Google Android" 2

 https://cs.hse.ru/dse/cloudapp_development_android

 

 

7Научно-исследовательский семинар "Нейросетевые технологии"  1 https://cs.hse.ru/dse/net
8Научно-исследовательский семинар "Нечеткое моделирование" (преподается на английском языке)  3, 4 https://cs.hse.ru/dse/nem
9Научно-исследовательский семинар "Облачные технологии" 3 https://cs.hse.ru/dse/otec
10Научно-исследовательский семинар "Процессно-ориентированнные информационные системы"  3, 4 https://cs.hse.ru/dse/pois
11Научно-исследовательский семинар "Ресурсно - эффективные комбинированные алгоритмы"  3, 4 https://cs.hse.ru/dse/reka
12Научно-исследовательский семинар "Современные архитектуры вычислителей"  2 https://cs.hse.ru/dse/sav
13Научно-исследовательский семинар "Управление данными и знаниями"  3 https://cs.hse.ru/dse/udz
14Научно-исследовательский семинар "Нейроинформатика" 2 https://cs.hse.ru/dse/nif
15Научно-исследовательский семинар "Разработка облачных и мобильных приложений на платформе Apple iOS"3https://cs.hse.ru/dse/cloudapp_development_iOS

16Научно-исследовательский семинар
"Создание киберфизических систем"
1

https://www.hse.ru/ba/se/courses/205979198.html

Руководитель семинара: Агамирзян Игорь Рубенович https://www.hse.ru/org/persons/27235963

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

Аннотация

18Научно-исследовательский семинар "Геоинформационные системы"1https://cs.hse.ru/dse/geoinformation_systems

Дисциплины по выбору для 3 курса 2018-2019

Дисциплины 1 и 2 модуля (выбор 1 из 4)

№ п/пНазваниеАннотация/программа
1Функциональное и логическое программирование (преподается на английском языке) https://cs.hse.ru/dse/flp
2Развитие навыков взаимодействия  https://www.hse.ru/ba/se/courses/219863255.html
3Разработка геоприложений (преподается на английском языке)  https://cs.hse.ru/dse/rgeo
4Экосистемы интернета вещей(преподается на английском языке)https://cs.hse.ru/dse/IoT_ecosystems?_r=232451499070628.08519&__t=3157211&__r=OK

Дисциплины 3 и 4 модуля (выбор 1 из 4)

№ п/пНазваниеАннотация/программа
1Компьютерные сети (преподается на английском языке)https://cs.hse.ru/dse/computer_networks
2Распределенные базы и хранилища данных (преподается на английском языке) https://cs.hse.ru/dse/rbhd
3Эргономика человеко-машинного взаимодействия  https://www.hse.ru/ba/se/courses/219873666.html
4Распределенные вычисления (преподается на английском языке)https://www.hse.ru/ba/se/courses/219866525.html

Дисциплины при выборе специализации "Системное программирование" на базовой кафедре ИСП РАН
(При выборе специализации выбираются обе дисциплины (1 и 2 семестр) и Научно-исследовательский семинар "Системное программирование")

№ п/пНазваниеАннотация/программа
1Компиляторные технологии (1 семестр) https://cs.hse.ru/dse/kt
2Верификация программ (2 семестр) Курс представляет собой введение в методы верификации программного обеспечения. Цель курса -- познакомить с предметом верификации ПО, представить широкую палитру существующих методов и подходов, осветить преимущества и ограничения, присущие методам верификации. В рамках курса рассматриваются общее понятие качества ПО, подпроцессы обеспечения качества в рамках жизненного цикла ПО, методы статического анализа программ, методы проверки моделей (model checking), методы динамического анализа программ и различные варианты функционального тестирования. Задачами данного курса являются: формирование базовых знаний в области обеспечения качества программного обеспечения, как неотъемлемой части теории и практики разработки ПО, адресуемого к проблемам построения корректных и надежных программ, и имеющего важное методологическое значение как для подготовки специалистов в области современных информационных технологий, так и для поддержки разнообразных инновационных сфер деятельности;  обучение студентов основам жизненного цикла программного обеспечения и задачам верификации, возникающим в ходе разработки, внедрения и эксплуатации ПО; обучение студентов методам функционального тестирования, применяемым в различных сценариях разработки ПО, включая модульное тестирование, случайное тестирование, тестирование с использованием моделей, а также методам оценки полноты тестирования; обучение студентов базовым методам анализа корректности программ; формирование теоретических подходов к верификации программного обеспечения.
3Научно-исследовательский семинар "Системное программирование"  https://cs.hse.ru/dse/sip


Дисциплины по выбору 4 курса 2018-2019 учебного года (выбор 2 из 4)


№ п/пНазваниеАннотация/программирование
1Компьютерная графика https://www.hse.ru/edu/courses/150661919
2Управление информатизацией https://cs.hse.ru/dse/upinf
3Подготовка к вневендорной профессиональной сертификации (преподается на английском языке) https://cs.hse.ru/dse/pvps
4Методология Agile и проектное управление(преподается на английском языке) https://cs.hse.ru/dse/mspu
5Исследование операцийhttps://www.hse.ru/ba/se/courses/205977074.html

Дисциплины при выборе специализации "Системное программирование" на базовой кафедре ИСП РАН
(При выборе специализации выбираются обе дисциплины (1 и 2 семестры) и Научно -исследовательский семинар "Системное программирование" )

№ п/пНазваниеАннотация/программа
1Разработка компиляторовПрограмма
2Конструирование операционных систем  https://cs.hse.ru/dse/cos
3Научно-исследовательский семинар "Системное программирование"  https://cs.hse.ru/dse/sip

На странице департамента Программной инженерии:

НИСы

Курсы по выбору