Программа Четвертой научно-практической конференции «Актуальные проблемы системной и программной инженерии» (АПСПИ — 2015)
20-21 мая 2015 г. состоится Четвертая научно-практическая конференция «Актуальные проблемы системной и программной инженерии» (АПСПИ — 2015) при поддержке РФФИ. Конференция посвящена анализу состояния, актуальным направлениям развития, научным проблемам и практическим результатам, полученным отечественными и зарубежными учеными и специалистами в области системной и программной инженерии.
Четвертая научно-практическая конференция «Актуальные проблемы системной и программной инженерии»
Программа конференции
20 мая 2015 г. Москва, Таллинская ул. 34, ауд. 504
|
Пленарное заседание |
|||
| 10.00 | Тихонов А.Н., д.т.н., профессор | Научный руководитель, директор МИЭМ НИУ ВШЭ | Приветственное слово |
| 10.15 | Головин С.А., д.т.н., профессор | ТК 22, МИРЭА | Основные принципы стратегии развития стандартизации информационных технологий |
| 10.45 | Костогрызов А.И., д.т.н., профессор, Емельянов С.Г., д.т.н., профессор, Червяков Л.М., д.т.н., профессор, Бурмака А.А., д.т.н., профессор, Нистратов Г.А.,к.т.н., Нистратов А.А., к.т.н. |
НИИПМС, ЮЗГУ | Эффективные решения прикладных задач системной инженерии на основе адекватного прогнозирования рисков |
| 11.15 | Авдошин С.М. к.т.н., профессор | НИУ ВШЭ | Эволюция SWEBoK. Версия 3.0 и будущие версии. |
| 11.45 | Позин Б.А. д.т.н., профессор | МИЭМ НИУ ВШЭ, ЗАО «ЕС-лизинг» | Обеспечение жизненного цикла ответственных систем: проблемы и решения для централизованных информационных систем |
| 12.15 | Петренко А.К. д.ф.-м.н., профессор | ИСП РАН | Перспективы тестирования на основе формальных моделей. |
| 12.45 | Кофе-брейк | ||
| 13.00 | Mira Miroslawa Kajko-Mattsson, PhD, Professor | SEMAT, KTH | Killing Many Birds with One Stone using Essence |
| 14.00 | Обед | ||
| 15.00 | Уразбаев Асхат | Scrum Track | Гибкие процессы разработки |
| 15.30 | Рубанов В.В. к.ф.-м.н., генеральный конструктор | НТЦ ИТ РОСА «Российские операционные системы» | Совмещаем разработку технологически независимых отечественных операционных систем и международное сотрудничество |
| 16.00 | Будзко В.И., д.т.н., Калиниченко Л.А. д.ф.-м.н., профессор, Ступников С.А., к.т.н. | ФИЦ «Информатика и управление» РАН | Развитие исследований и применений в области больших данных |
| 16.30 | Тельнов Ю.Ф. д.э.н., профессор | МЭСИ | Онтологический инжиниринг как инструмент системных преобразований предприятия |
| 17.00 | Канторович Г.Г., к.ф-м.н, профессор, Ратникова Т.А. | НИУ ВШЭ | Эконометрика, Big Data и информационные системы |
| 17.30 | Батоврин В.К., к. т. н., профессор | МИРЭА | Основания системной инженерии |
21 мая 2015 г. Москва, Таллинская ул. 34, ауд. 504
|
Пленарное заседание |
|||
| 10.00 | Шмид А. В. д.т.н., профессор | МИЭМ НИУ ВШЭ, зав. кафедрой, ЗАО «ЕС-лизинг» | Революционные изменения в области философии и технологии принятия корпоративных решений на основе BIG DATA |
| 10.30 | Тарасов В.Б., к.т.н., доцент | МГТУ им. Н. Э. Баумана | Управление знаниями на основе онтологического моделирования |
Секционные заседания
21 мая 2015 г. Таллинская ул. 34, ауд. 506
|
Секция «Системная инженерия» Москва, |
|||
| 11.00 | Бойченко А.В., к.т.н. Лукинова О.В. д.т.н. |
МЭСИ, ИПУ РАН |
Управление жизненным циклом информационной системы на основе профилей |
| 11.20 | Левенчук А.И. | TechInvestLab | Essence для управления технологиями. |
| 11.40 | Батоврин В.К. к. т.н., професор | МИРЭА | Модель для оценки эволюции приоритетов заинтересованных сторон на протяжении жизненного цикла системы |
| 12.00 | Ковалёв С.П. д.ф.-м.н., с.н.с. | ИПУ РАН | Теоретико-категорная прагматика моделеориентированной системной инженерии |
| 12.20 | Иванов А.М., Новицкий Д.А. |
МГТУ им. Н.Э. Баумана, ОАО «НТЦ ФСК ЕЭС», ЗАО «Институт энергетических систем» |
4D архитектурное описание системы систем |
| 12.40 | Микрюков А. А., к.т.н., доцент, Беркетов Г.А., к.т.н., профессор, Федосеев С.В. к.т.н., доцент |
МЭСИ | Задачи построения гибкой информационно-образовательной среды вуза |
| 13.00 | Кофе-брейк | ||
| 13.20 | Циперман Г.Н. | ФГУП НИИ «Восход» | Автоматизация документирования функциональности информационной системы с использованием метода адаптивной кластеризации |
| 13.40 | Зензинов А.А. | НИИ механики МГУ, Институт автоматизации проектирования РАН |
Использование методов гибридного моделирования для исследования средств защиты распределённых систем |
21 мая 2015 г. Москва, Таллинская ул. 34, ауд. 504
|
Секция «Информационно-аналитические системы» |
|||
| 11.00 | Кирюшина А.А. к.э.н., Клемашев Н. И. |
ЗАО «ЕС-лизинг» | Модель количественной оценки и прогнозирования производственной устойчивости сельскохозяйственного товаропроизводителя отрасли растениеводства |
| 11.20 | Клемашев Н. И. | ЗАО «ЕС-лизинг» | Выявление ранних признаков оттока вкладчиков из коммерческого банка |
| 11.40 | Тимонин А. Ю., Бождай А.С. | ПГУ, кафедра САПР | Построение социального профиля человека на основе открытых источников информации |
| 12.00 | Голобоков С.С., Позин Б.А. | ЗАО «ЕС-лизинг» | Автоматизация раннего обнаружения признаков НШС при эксплуатации и сопровождении сложных систем |
| 12.20 | Александров Д.О. | ЗАО «ЕС-лизинг» | Разработка методики по практическому освоению технологии Big Data |
| 12.40 | Касимов М.Р., Новопашин М.А. | ЗАО «ЕС-лизинг» | Выявление связей сотрудников организаций с употреблением и пропагандой наркотиков |
| 13.00 | Кофе-брейк | ||
| 13.20 | Агейкин М. А., Андрианов А.В. | ЗАО «ЕС-лизинг» | Увеличение эффективности прямых продаж в сегменте B2B с помощью подхода Big Data |
| 13.40 | Намиот Д. Е. | МГУ имени М.В. Ломоносова | Базы данных временных рядов и средства обработки |
21 мая 2015 г. Москва, Таллинская ул. 34, ауд. 410
|
Секция «Программная инженерия» |
|||
| 11.00 | Лаврищева Е.М. д.ф.-м.н., профессор | ИСП РАН, МФТИ | Компонентная теория и коллекция технологий для разработки приложений из готовых ресурсов |
| 11.30 | Дзержинский Ф.Я. | CSDP | Замечания о некоторых недавних событиях, связанных с идеей о программной инженерии как профессии |
| 11.50 | Васенин В.А., д.ф.-м.н., профессор, Кривчиков М. А. |
МГУ имени М.В. Ломоносова, НИИ механики | Языково-ориентированное программирование для формальной верификации программного обеспечения |
| 12.10 | Бесков Д. Н. | Школа системного анализа | Типовые классы программных систем и профили качества ПО в инженерии требований |
| 12.30 | Сенин Г. | Учебный центр Luxoft | Риски нарушения лучших практик тестирования |
| 13.00 | Кофе-брейк | ||
| 13.20 | Лысунец А.С., Позин Б.А. д.т.н., профессор | ГУ БР по С.Петербургу, ЗАО «ЕС-лизинг» | Модель планирования контроля целостности прикладного программного обеспечения на стадии сопровождения |
| 13.40 | Коротков А.О., Матюхин К.А., Галахов И.В. к.т.н., с.н.с. |
ЗАО «ЕС-лизинг» | Автоматизация тестирования систем, обрабатывающих электронные сообщения, на основе классов эквивалентности |
| 14.00 | Макарычев П.П., Карпов А.Е. | Пензенский государственный университет | Дуальное представление исходного кода программ |
| 14.20 | Степанов А.А. | МЭСИ | Подход к разработке приложений ERP-систем на основе модели предметной области и паттернов проектирования |
| 14.40 | Федяев О.И. | Донецкий национальный технический университет | Верификация циклических программ с помощью программных функций |
| 15.00 | Михеев А. Г. к.ф.-м.н. | МЭСИ | Опыт разработки российской свободной системы управления бизнес-процессами и административными регламентами с открытым исходным кодом |
| 15.30 | Шундеев А.С. | НИИ механики МГУ имени М.В. Ломоносова | Подход к построению виртуального компьютерного класса для проведения практических занятий по программированию |
Workshop
21 мая 2015 г. Москва, Таллинская ул. 34, ауд. 501
|
Workshop “SEMAT – новая методология программной и системной инженерии. Опыт использования в 2013-2015 г.г.” |
|||
| 11.00 | Mira Miroslava Kajko-Mattsson, Professor, PhD | КТН, Швеция | Minimal Effort and Maximal Output of Teaching Essence |
| 12.00 | Авдошин С.М. к.т.н., профессор | НИУ ВШЭ | Опыт преподавания программной инженерии с использованием методологии SEMAT |
| 12.20 | Горбунова Е. Л., Позин Б. А. д.т.н., профессор | ЗАО «ЕС-лизинг» | Развитие базовой модели SEMAT для жизненного цикла заказных ответственных программных систем |
| 12.40 | Левенчук А.И. | TechInvestLab | Подход к Essence в варианте для системной инженерии. |
| 13.00 | Кофе-брейк | ||
| 13.20 | Ефремов А.А. | ОАО «Корпорация Иркут» | Практики Essence для ГОСТ 34 серии |
| 13.35 | Ефремов А.А., Гайдамака К.И. | ОАО «Корпорация Иркут» | ArchiMate + Essence = ArchiEssence. ArchiMate + Essence = ArchiEssence |
| 13.50 | Арендарчук А.В. | Департамент топливно-энергетического хозяйства города Москвы | Практики Essence для предметной области «ресурсоснабжение потребителей мегаполиса» |
| 14.05 | Гайдамака К.И. | ОАО «Корпорация Иркут» | Проверка применимости Essence в варианте для системной инженерии в авиационном проекте |
| 14.15 | Бухарин Михаил Андреевич | МФТИ | Общие альфы для Essence-дисциплин системной инженерии, управления проектами и бизнес-моделирования |
| 14.30 | Мороз Надежда Николаевна | МФТИ | Практика Essence технико-экономического моделирования на Modelica |
20-21 мая — проведение конференции в МИЭМ НИУ ВШЭ
Материалы предоставляются по адресу apspe2015@yandex.ru в соответствии c требованиями, изложенными по адресу http://www.novtex.ru/autor.htm