brand

Promising methods for verification of large-scale data models.

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.

    • Implementer

    System integration and multi-disciplinary collaborative environments

    Go to the list of projects