24 февраля 2015
24 февраля 2015
Manuel Mazzara’s paper focuses on formalization of business processes in software engineering.
The paper titled “An LTL Semantics of BusinessWorkflows with Recovery” was published in collaboration with Luca Ferrucci and Marcello M. Bersani. It was presented to the jury of ICSOFT-PT – a conference devoted to modern trends in the development of software industry. The authors applied the mathematical tool of temporal logic and software tools of model checking for building a methodology that facilitates systematic designing and verification of error handling during analysis of business processes. This scientific paper illustrates that lightweight approaches do not require fundamental changes in the software engineering process and therefore allow application of usual methods.
10 июня 2016
A world leading manufacturer of industrial robotic systems and the first Russian IT-University have signed a cooperation agreement during the CIPR Conference.
9 июня 2016
A Russian developer of databases Postgres Pro. opens, a research and technical laboratory at the University.
18 сентября 2017
Students and graduates of Innopolis University developed the best solution for unmanned vehicles for identification of road humps, thus leaving behind the teams of Massachusetts Institute of Technology, the University of Cambridge, and the University of Science and Technology of Beijing in the team rating.