Научный семинар Департамента программной инженерии в 2014-2015 учебном году

19 мая 2015 года

Валерий Владимирович Шилов,
к.т.н., профессор департамента программной инженерии, академический руководитель образовательной программы «Программная инженерия»

О компьютерах и о себе

В докладе будет рассказано об основных проектах, в которых участвовал  докладчик. Среди них -  участие в разработке  и испытаниях сложных систем вооружения,  в проектах создания отечественных суперкомпьютеров “Эльбрус” и оптической супер-ВС. Будут охарактеризованы некоторые научные результаты докладчика в области архитектуры высокопараллельных вычислительных систем, а также в других областях его научных интересов. В целом же в выступлении автор попытается подвести некий (промежуточный!)  итог своей научной и педагогической работы в начале ее нового этапа, связанного с Высшей школой экономики.

Время: 16:40
Место: Кочновский проезд,  д. 3, ауд. 402.
Язык семинара: русский

---

22 апреля 2015 года

В рамках научного семинара департамента программной инженерии состоятся доклады:

Выступят:

1. Родригес Залепинос Рамон Антонио, тема «Программная инженерия в научной и преподавательской деятельности»;
2. Гасанов Эльмир Вагидович, тема «Использование свободного программного обеспечения в обучении веб-программированию»;
3. Гасанова Сабина Эльмировна, тема «Использование свободного программного обеспечения в курсе компьютерной графики».

Если вам необходимо заказать пропуск, сообщите, пожалуйста, об этом, Ахметсафиной Р.З.

Время: 10.30
Адрес: Кочновский пр-д.,  д.3, ауд. 400
Язык семинара: русский

---

15 апреля 2015 года

В рамках научного семинара департамента программной инженерии состоятся доклады:

1. Егоров Виктор Серафимович, тема «Информатика, компьютерные науки и компьютерная грамотность»
2. Шапкин Павел Александрович, тема «Механизмы теории типов для интеграции данных и процессов»
3. Максименкова Ольга Вениаминовна, тема «Опыт применения открытых наборов данных в курсе "Программирование"»

 

Если вам необходимо заказать пропуск, сообщите, пожалуйста, об этом, Ахметсафиной Р.З.

Время: 15:00
Адрес: Кочновский пр-д.,  д.3, ауд. 400
Язык семинара: русский

---

8 апреля 2015 года

«Многомерное хранение журналов событий для извлечения и анализа процессов»: 
доклад представит к.т.н., доцент департамента программной инженерии Брейман Александр Давидович

«Корпоративные программно-аппаратные комплексы как системы систем»: 
доклад представит к.т.н., доцент департамента программной инженерии Зыков Сергей Викторович

Время: 15:00
Адрес: Кочновский пр., д.3, аудитория 400
Язык семинара: русский

---

19 марта 2015 года

Ефим Михайлович Гринкруг,
к.т.н., профессор департамента программной инженерии 

Динамическая композиция компонент

В докладе обсуждается подход к композиции составных программных компонент из уже существующих – в динамике, без генерации кода. Новые динамические возможности композиции обеспечиваются благодаря расширению понятия типа (компонента) и поддержке реализации этого расширения с помощью программной надстройки компонентной медели JavaBeans и соответствующего набора базовых компонент.  Компорзиция нового компонента осуществляется путем построения составного объекта-прототипа, который затем может быть преобразован в динамике в новый инстанциируемый тип (компонент). Такой подход иллюстрирует взаимоотношения между двумя подходами, имеющимися в компонентно-ориентированном программировании: prototype-based и class-based. Предлагаемая компонентная модель может использоваться при реализации определяемых пользователем типов в декларативных языках для описания event-driven приложений (в частности, в 3D-моделировании, при программировании моделей эволюции и в других прикладных областях).

---

26 февраля 2015 года

Виктор Кулямин,
сотрудник ИСП РАН, к.ф-м.н., доцент кафедры системного программирования ВМК МГУ 

Некоторые вопросы верификации программного обеспечения

Рассматриваемая техника комбинаторного тестирования конфигураций операционной системы использует известные алгоритмы построения покрывающих наборов и алгоритм Аспвала-Пласса-Тарьяна для анализа возникающих зависимостей между параметрами конфигурации. Она позволяет достаточно эффективно создавать тестовые наборы из сотен разнообразных конфигураций, обеспечивающих покрытие комбинаций значений различных параметров.

---

12 февраля 2015 года

Ольга Вениаминовна Максименкова,
старший преподаватель департамента программной инженерии

Математические основы моделей педагогического тестирования в исторической перспективе

Педагогические измерения - сравнительно молодое направление исследований. Его появление связывают с именем известного психолога Стивенса, который в 1946 опубликовал работу, посвящённую уточнению понятия измерений для социальных наук.

Во второй половине XX века математические модели и теории педагогических измерений появлялись, совершенствовались и развивались.

• — Какими были корни педагогических измерений?
• — Как связаны между собой их математические модели?
• — Имеет ли место вытеснение моделями друг друга или они существуют независимо друг от друга?

Во время доклада мы постараемся ответить на эти вопросы.  

Время: 16;40

---

5 декабря 2014 года

Assaf Schuster
Computer Science, Technion, Haifa, Israel

RaaS and Ginseng: The Resource as a Service Cloud

Время: 16:00 - 17:00

Dzmitry Kliazovich
Research Assistant, Organization & International Development, University of Luxembourg

Energy efficient Cloud Computing

Время: 17:00 - 18:00

 

---

20 ноября 2014 года

Катерина Михайловна Лаврищева
доктор физико-математических наук, профессор, сотрудник Института системного программирования РАН

Базовые дисциплины компьютерных наук

В рамках научного семинара департамента программной инженерии состоялся доклад  "Базовые дисциплины компьютерных наук". Была рассмотрена сущность дисциплин Computer Sciences  - Computer Engineering, Systems  Engineering, Software Engineering, а также  подходы к обучению этим дисциплинам в России, США, Европе.