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

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

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

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

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

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

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

 

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

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

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

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

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

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

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

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

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

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

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

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

— DevOps 

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

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

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

ПРОЕКТЫ

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

01

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

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

02

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

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

03

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

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

04

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

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