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

Object-oriented constraint-based programming: a new paradigm using declarative data modeling languages

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

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

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

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

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

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

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

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

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

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

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

ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ В ОГРАНИЧЕНИЯХ: НОВЫЙ ПОДХОД НА ОСНОВЕ ДЕКЛАРАТИВНЫХ ЯЗЫКОВ МОДЕЛИРОВАНИЯ ДАННЫХ

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

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

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

Διαθεσιμότητα: http://cyberleninka.ru/article/n/obektno-orientirovannoe-programmirovanie-v-ogranicheniyah-novyy-podhod-na-osnove-deklarativnyh-yazykov-modelirovaniya-dannyh
http://cyberleninka.ru/article_covers/13969551.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

Объектно-ориентированное программирование в ограничениях: новый подход на основе декларативных языков моделирования данных

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

Θεματικοί όροι: ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ В ОГРАНИЧЕНИЯХ,ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ,ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ В ОГРАНИЧЕНИЯХ,ДЕКЛАРАТИВНЫЕ ЯЗЫКИ МОДЕЛИРОВАНИЯ, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

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

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article/n/obektno-orientirovannoe-programmirovanie-v-ogranicheniyah-novyy-podhod-na-osnove-deklarativnyh-yazykov-modelirovaniya-dannyh
http://cyberleninka.ru/article_covers/13969551.png

Реляционное программирование с мемоизацией и отрицанием

Θεματικοί όροι: tabling, constraint logic programming, relational programming, логическое программирование в ограничениях, конструктивное отрицание, декларативное программирование, табличная мемоизация, реляционное программирование, declarative programming, constructive negation

Σύνδεσμος πρόσβασης: https://publications.hse.ru/books/314922827