Размер шрифта
Шрифт
Цвета сайта
Изображения
Инт.
Инт.
Информация о жилом, учебном и спортивном комплексах, медцентре, питании и досуге на территории города и Университета Иннополис. Ответы на часто задаваемые вопросы
Информация об образовательной деятельности, приёмной кампании, структуре и органах управления университетом, финансово-хозяйственной деятельности
Специализируется на образовании, исследованиях и разработках в области информационных технологий и робототехники
Образовательные программы для бизнеса по темам ИТ, цифровой трансформации, управления продуктами и инновациями. Ускоренная подготовка ИТ-специалистов
Программы обучения разработаны совместно с мировыми экспертами в сфере информатики, робототехники и программной инженерии с опытом работы в топ-100 вузов мира в партнерстве с компаниями IT‑индустрии
Сведения о научных разработках и инновационных проектах, осуществляемых учеными Университета Иннополис
В Университете Иннополис действуют 17 лабораторий и 9 научных центров, в которых ведется исследовательская работа в области искусственного интеллекта, робототехники, big data, разработки ПО, информационной безопасности
Исследуем и проектируем новые технологические решения совместно с ведущими ИТ-компаниями России, вендорами и 297 ведущих ИТ-компаний в партнерстве.
активно взаимодействует с партнерами по всему миру
Работа, проводимая командой Лаборатории программной инженерии в последние годы, сосредоточена на разработке теорий, методов, инструментов и программ, охватывающих два основных аспекта разработки программного обеспечения: процесс, описывающий, как мы разрабатываем программное обеспечение, и продукт, описывающий результаты этого процесса.
Мы преследуем цель повышения качества программного обеспечения конечного продукта. Это может быть достигнуто путем оптимизации процесса, а также с использованием эффективных архитектурных стилей, шаблонов проектирования и хорошо зарекомендовавших себя методов разработки программного обеспечения для выявления требований, проектирования, тестирования и проверки. В частности, наша работа была сосредоточена на сервисных архитектурных стилях и параллельных сервисных системах.
— Проверка программного обеспечения (как доказательства, так и тесты)
— Параллелизм
— Постоянство и эволюция
— Объектно-ориентированный реинжиниринг
— Языковой дизайн и эволюция (с особым акцентом на Eiffel)
— Архитектуры программного обеспечения
— Проверка модели и временная логика
— Исчисление процесса
— Сервис-ориентированное программирование
— Микросервисы
— Социальные сети и алгоритмы доверия
— IoT и умные города
— DevOps
— Пользовательский опыт и удобство использования
— Глобальное здоровье
— Веб-майнинг
01
ReqExp. Извлечение требований из произвольных технических текстов
В проекте применяется глубокое машинное обучение и обработка естественного языка
02
Портирование программного продукта Docker на экспериментальные операционные системы
Проект позволяет выявить направления дальнейшего развития операционных систем, находящихся в фазе активной разработки
03
TICOTA: автоматическое тестирование кода
Анализ разрозненных спецификаций с помощью технологий машинного обучения. Проект направлен на повышение эффективности автоматически сгенерированных текстов
04
Процессы управления требованиями для бесшовной разработки
Проект направлен на создание процессов разработки ПО, позволяющих максимально быстро и корректно реагировать на частые изменения требований
Они помогают улучшить работу сайта и сделать его удобнее. Посещая страницы сайта, вы соглашаетесь с условиями использования файлов cookie.