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

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

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

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

Руководитель – Мануэль Маццара

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

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

 

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

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

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

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

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

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

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

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

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

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

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

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

— DevOps 

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

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

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

Команда

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

Руководитель лаборатории

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

Доцент

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

Доцент

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

Доцент

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

Аспирант

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

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

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

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

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

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

Мегха Свати

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

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

Ассистент

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

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

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

Bertrand Meyer

Jean-Michel Bruel

Mohamad Kassab

Alfredo Capozucca

Salvatore Distefano

ПРОЕКТЫ

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

01

ReqExp - извлечение требований из технических текстов на основе ML/NLP

Авторы: Александр Наумчев, Владимир Иванов и Андрей Садовых 

02

TICOTA: тестовые входы построенные из тонкого воздуха

Авторы: Александр Наумчев, Бертран Мейер

03

Подключение программного обеспечения Docker к экспериментальным операционным системам

Авторы: Александр Наумчев под руководством Александра Тормасова

04

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

Авторы: Александр Наумчев, Флориан Галинье, Жан-Мишель Брюэль, Софи Эберсольд из университета Тулузы, Бертран Мейер, Мария Бекетова из Университета Иннополис 

05

Формирование привычек через программный продукт: практическое применение модели Hooked 

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

06

Генерация видео на арабском языке с помощью машинного обучения: конвертация онлайн-блогов в анимированные видео на YouTube

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

07

Переход от монолитной к микросервисной архитектуре: методология и сравнительный анализ

Автор: Мануэль Маццара 

08

Обнаружение аномалий инструментальной цепи DevOps

Автор: Мануэль Маццара 

09

Когнитивная классификация: применение машинного обучения в когнитивно-поведенческой терапии

Автор: Сирожиддин Комолов

10

Интернет робототехнических вещей: как интегрировать роботов и умную среду

Автор: Илья Афанасьев