24 февраля 2015
24 февраля 2015
Труд Мануэля Маццары был посвящён формализации бизнес-процессов при разработке программных систем.
Статья «LTL семантика бизнес-процессов с обработкой ошибок» была опубликована заместителем заведующего лабораторией программной инженерии и верификации программ Университета Иннополис Мануэлем Маццара в соавторстве с итальянскими учёными Лукой Ферруччи и Марсело Берсани и представлена на суд жюри венской конференции ICSOFT-PT, посвящённой тенденциям развития отрасли программного обеспечения. В своем исследовании они использовали математический аппарат темпоральной логики и программные средства проверки моделей (model checking) для построения методологии, позволяющей систематически моделировать и верифицировать корректность обработки ошибок при анализе бизнес-процессов. Данная научная работа показывает, что легковесные подходы не требуют кардинального изменения процесса разработки ПО и позволяют использовать привычный инструментарий.
1 июля 2024
6 июля в рамках финала открытой игровой лаборатории Game Open Lab пройдёт выставка проектов финалистов геймджема и открытые лекции по разработке игр. Среди спикеров — редакторы iXBT games, представители «Мира Танков», Ice-Pick Lodge.
8 июля 2024
Всего в геймджеме участвовали 500 разработчиков со всей России, которые в командах за 7 дней создали с нуля 66 игр. После оценки менторов GOL в очный финал в Университете Иннополис прошли 12 команд. Жюри определило победителей номинаций, которые разделили призовой фонд в 300 тысяч рублей.
5 июля 2024
Команда специалистов по обработке больших данных, экспертов по машинному обучению и робототехников из Университета Иннополис и НИТУ МИСИС разработала метод сегментации цифрового двойника Москвы и выиграла 600 тысяч рублей. Департамент информационных технологий города Москвы планирует продолжать развитие проекта совместно с командами, занявшими призовые места.