Лаборатория программной инженерии
Работа, проводимая командой Лаборатории программной инженерии в последние годы, сосредоточена на разработке теорий, методов, инструментов и программ, охватывающих два основных аспекта разработки программного обеспечения: процесс, описывающий, как мы разрабатываем программное обеспечение, и продукт, описывающий результаты этого процесса.
Мы преследуем цель повышения качества программного обеспечения конечного продукта. Это может быть достигнуто путем оптимизации процесса, а также с использованием эффективных архитектурных стилей, шаблонов проектирования и хорошо зарекомендовавших себя методов разработки программного обеспечения для выявления требований, проектирования, тестирования и проверки. В частности, наша работа была сосредоточена на сервисных архитектурных стилях и параллельных сервисных системах.
Руководитель – Николай Шилов
n.shilov@innopolis.ruдеятельность лаборатории
— Проверка программного обеспечения (как доказательства, так и тесты)
— Параллелизм
— Постоянство и эволюция
— Объектно-ориентированный реинжиниринг
— Языковой дизайн и эволюция (с особым акцентом на Eiffel)
— Архитектуры программного обеспечения
— Проверка модели и временная логика
— Исчисление процесса
— Сервис-ориентированное программирование
— Микросервисы
— Социальные сети и алгоритмы доверия
— IoT и умные города
— DevOps
— Пользовательский опыт и удобство использования
— Глобальное здоровье
— Веб-майнинг