A combined method for verification of large-scale data models

Συγγραφείς: V. A. Semenov, S. V. Morozov, D. V. Ilyin

Πηγή: Труды Института системного программирования РАН, Vol 26, Iss 2, Pp 197-230 (2018)

Θεματικοί όροι: верификация моделей, объектно-ориентированное моделирование, uml/ocl, express, логическое программирование в ограничениях, линейное целочисленное программирование, семантическая реконсиляция, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

Relation: https://ispranproceedings.elpub.ru/jour/article/view/797; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426

Σύνδεσμος πρόσβασης: https://doaj.org/article/74d912d277834b8da7ff0fa662539bb9

КОМБИНИРОВАННЫЙ МЕТОД ВЕРИФИКАЦИИ МАСШТАБНЫХ МОДЕЛЕЙ ДАННЫХ

Συγγραφείς: Семенов, В., Морозов, С., Ильин, Д.

Θεματικοί όροι: ВЕРИФИКАЦИЯ МОДЕЛЕЙ, ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ МОДЕЛИРОВАНИЕ, UML/OCL, ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ В ОГРАНИЧЕНИЯХ, ЛИНЕЙНОЕ ЦЕЛОЧИСЛЕННОЕ ПРОГРАММИРОВАНИЕ, СЕМАНТИЧЕСКАЯ РЕКОНСИЛЯЦИЯ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/kombinirovannyy-metod-verifikatsii-masshtabnyh-modeley-dannyh
http://cyberleninka.ru/article_covers/15574472.png

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

Πηγή: Труды Института системного программирования РАН.

Θεματικοί όροι: 0202 electrical engineering, electronic engineering, information engineering, ВЕРИФИКАЦИЯ МОДЕЛЕЙ, ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ МОДЕЛИРОВАНИЕ, UML/OCL, ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ В ОГРАНИЧЕНИЯХ, ЛИНЕЙНОЕ ЦЕЛОЧИСЛЕННОЕ ПРОГРАММИРОВАНИЕ, СЕМАНТИЧЕСКАЯ РЕКОНСИЛЯЦИЯ, 02 engineering and technology

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article_covers/15574472.png
http://cyberleninka.ru/article/n/kombinirovannyy-metod-verifikatsii-masshtabnyh-modeley-dannyh