|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Перспективный метод верификации масштабных моделей данныхстатья
- Авторы: Морозов С.В., Ильин Д.В., Семенов В.А., Тарлапан О.А.
- Сборник: Информационные технологии в науке, образовании и управлении под редакцией проф. Е.Л. Глориозова
- Год издания: 2015
- Место издания: ООО "Институт новых информационных технологий" Москва
- Первая страница: 438
- Последняя страница: 444
- Аннотация: В статье предлагается комбинированный метод верификации масштабных объектно-ориентированных моделей данных, основанный на последовательной редукции к постановкам математических задач линейного программирования и удовлетворения ограничений. Анализируются спецификации индустриально значимых моделей данных и выделяются паттерны ограничений целостности, которые предопределяют методы их разрешения и обеспечивают эффективное применение предложенного метода к данным моделям.
- Добавил в систему: Морозов Сергей Вячеславович