Promising methods for verification of large-scale data models.
Start of project – 2013. End of project - 2015. Customer - RFBR grant 13-07-00390.
The project is related to development of complex software systems based on formal static models and is addressed to the key problems of verification of large-scale data models applied in different industrial domains and specified using general-purpose object-oriented modeling languages (EXPRESS, UML/OCL, etc). The main directions of the project are:
Implementer
System integration and multi-disciplinary collaborative environments