24 февраля 2015
24 февраля 2015
Труд Мануэля Маццары был посвящён формализации бизнес-процессов при разработке программных систем.
Статья «LTL семантика бизнес-процессов с обработкой ошибок» была опубликована заместителем заведующего лабораторией программной инженерии и верификации программ Университета Иннополис Мануэлем Маццара в соавторстве с итальянскими учёными Лукой Ферруччи и Марсело Берсани и представлена на суд жюри венской конференции ICSOFT-PT, посвящённой тенденциям развития отрасли программного обеспечения. В своем исследовании они использовали математический аппарат темпоральной логики и программные средства проверки моделей (model checking) для построения методологии, позволяющей систематически моделировать и верифицировать корректность обработки ошибок при анализе бизнес-процессов. Данная научная работа показывает, что легковесные подходы не требуют кардинального изменения процесса разработки ПО и позволяют использовать привычный инструментарий.
7 марта 2024
13 марта в Москве достижения в области развития экосистемы искусственного интеллекта в рамках реализации федерального проекта «Искусственный интеллект» презентуют 43 региона. Республику Татарстан на выставке мероприятия представит Исследовательский центр в сфере ИИ Университета Иннополис.
4 марта 2024
Специалисты Центра геоинформационных систем российского ИТ-вуза участвовали в научно-технической программе Союзного государства «Интеграция-СГ» по совершенствованию системы доведения до потребителей актуальной информации, получаемой с помощью космических аппаратов России и Беларуси. Разработанные в рамках программы положения, регламенты и методические указания будут утверждены и введены в действие Госкорпорацией «Роскосмос» и Национальной академией наук Беларуси, в соответствии с их внутриведомственными процедурами.
11 марта 2024
Мероприятие охватит все федеральные округа России. Руководители и преподаватели «цифровых кафедр» поделятся успешными образовательными практиками, а студенты представят ИТ-проекты, разработанные для реального сектора экономики. Организатор — Университет Иннополис.