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

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

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

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

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

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

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

 

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

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

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

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

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

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

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

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

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

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

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

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

— DevOps 

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

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

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

Команда

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

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

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

Профессор

Илья Афанасьев

Доцент

Александр Наумчев

Доцент

Мария Бекетова

Аспирант

Нурсултан Аскарбекулы

Младший научный сотрудник

Даниэль Де Карвало

Доцент

Мануэль Алехандро Родригес Осуна

Младший научный сотрудник

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

Младший научный сотрудник

Мегха Свати

Младший научный сотрудник

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

Ассистент

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

Разработчик программного обеспечения, Младший научный сотрудник

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

Bertrand Meyer

Jean-Michel Bruel

Mohamad Kassab

Alfredo Capozucca

Salvatore Distefano

ПРОЕКТЫ

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

01

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

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

02

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

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

03

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

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

04

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

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