Лаборатория программной инженерии
Факультет компьютерных и инженерных наук

Лаборатория программной инженерии

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

Мы преследуем цель повышения качества программного обеспечения конечного продукта. Это может быть достигнуто путем оптимизации процесса, а также с использованием эффективных архитектурных стилей, шаблонов проектирования и хорошо зарекомендовавших себя методов разработки программного обеспечения для выявления требований, проектирования, тестирования и проверки. В частности, наша работа была сосредоточена на сервисных архитектурных стилях и параллельных сервисных системах.

Руководитель – Николай Шилов

деятельность лаборатории

Лаборатория программного обеспечения и сервисной инженерии Университета Иннополис посвящена разработке методов и инструментов для повышения качества программного обеспечения. Хотя мы пытаемся охватить всю область разработки программного обеспечения, наши основные направления:

 

— Проверка программного обеспечения (как доказательства, так и тесты) 

— Параллелизм

— Постоянство и эволюция 

— Объектно-ориентированный реинжиниринг 

— Языковой дизайн и эволюция (с особым акцентом на Eiffel) 

— Архитектуры программного обеспечения

— Проверка модели и временная логика

— Исчисление процесса 

— Сервис-ориентированное программирование 

— Микросервисы

— Социальные сети и алгоритмы доверия

— IoT и умные города 

— DevOps 

— Пользовательский опыт и удобство использования 

— Глобальное здоровье 

— Веб-майнинг

Команда

Николай Шилов

Руководитель лаборатории, Доцент

Мануэль Маццара

Профессор

Хамза Мохд Абделькарим Салем

Старший преподаватель

Мансур Хазеев

Старший преподаватель

Мария Наумчева

Ассистент

Фарах Атиф

Ассистент

Гералд Бирген Имбугва

Ассистент

Сирожиддин Комолов

Ассистент

Мегха Свати

Ассистент

Фуркан Хаидер

Ассистент

Приглашенные профессора

Bertrand Meyer

Jean-Michel Bruel

Mohamad Kassab

Alfredo Capozucca

Salvatore Distefano

ПРОЕКТЫ

Мы можем подготовить индивидуальную программу обучения под ваши запросы
Оставить заявку

01

ReqExp. Извлечение требований из произвольных технических текстов

В проекте применяется глубокое машинное обучение и обработка естественного языка

02

Портирование программного продукта Docker на экспериментальные операционные системы

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

03

TICOTA: автоматическое тестирование кода

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

04

Процессы управления требованиями для бесшовной разработки

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