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:
research of the problem of verification of object-oriented data models applied in different industrial domains;
development of efficient methods for verification of such models;
approbation of the methods by development of demostration application for verification of industrial data models.
System integration and multi-disciplinary collaborative environments
Go to the list of projects