24 февраля 2015
24 февраля 2015
Труд Мануэля Маццары был посвящён формализации бизнес-процессов при разработке программных систем.
Статья «LTL семантика бизнес-процессов с обработкой ошибок» была опубликована заместителем заведующего лабораторией программной инженерии и верификации программ Университета Иннополис Мануэлем Маццара в соавторстве с итальянскими учёными Лукой Ферруччи и Марсело Берсани и представлена на суд жюри венской конференции ICSOFT-PT, посвящённой тенденциям развития отрасли программного обеспечения. В своем исследовании они использовали математический аппарат темпоральной логики и программные средства проверки моделей (model checking) для построения методологии, позволяющей систематически моделировать и верифицировать корректность обработки ошибок при анализе бизнес-процессов. Данная научная работа показывает, что легковесные подходы не требуют кардинального изменения процесса разработки ПО и позволяют использовать привычный инструментарий.
13 января 2025
В 2025 / 2026 учебном году среднее профессиональное образование на базе российского ИТ-вуза смогут получить 75 студентов. Набор выпускников 9 классов общеобразовательных учреждений открыт до 20 августа.
21 января 2025
Бесплатная школа для студентов 3—4 курсов и выпускников бакалавриата физических, математических и ИТ-вузов России пройдёт с 25 февраля по 1 марта. Участники могут выиграть грант на бесплатное обучение в магистратуре Университета Иннополис. Количество мест ограничено, регистрация до 10 февраля.
23 января 2025
25 и 26 апреля участники посетят 150 выступлений по трендам в индустрии информационных технологий, круглые столы, воркшопы, мастер-класс по речи, нетворкинг-сессии и встречи со спикерами, узнают о вакансиях на выставке ИТ-компаний. Мероприятие будет полезно тестировщикам, тимлидам, маркетологам, HR-специалистам. Организатор — агентство Eventice, стратегический партнёр конференции — Университет Иннополис. Необходима регистрация, количество мест ограничено.