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