Перспективные методы верификации масштабных моделей данных.

Перспективные методы верификации масштабных моделей данных.

Проект связан с созданием сложных программных систем на основе формальных статических моделей и адресован ключевым проблемам верификации масштабных моделей данных, применяемых в различных индустриальных областях и специфицируемых на популярных универсальных объектно-ориентированных языках (EXPRESS, UML/OCL и т.п.).

В рамках проекта предполагается решить следующие задачи:

исследование проблемы верификации статических моделей объектно-ориентированных данных, применяемых в различных индустриальных областях;

разработка эффективных методов верификации подобных моделей;

апробация полученных методов в ходе разработки демонстрационного приложения для верификации индустриальных моделей данных.

Исполнитель

Системная интеграция и прикладные программные комплексы