A combined method for verification of large-scale data models

Authors: V. A. Semenov, S. V. Morozov, D. V. Ilyin

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

Subject Terms: верификация моделей, объектно-ориентированное моделирование, uml/ocl, express, логическое программирование в ограничениях, линейное целочисленное программирование, семантическая реконсиляция, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

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

Access URL: https://doaj.org/article/74d912d277834b8da7ff0fa662539bb9

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

Authors: V. A. Semenov, D. V. Ilyin, S. V. Morozov, O. V. Sidyaka

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

Subject Terms: объектно-ориентированное программирование в ограничениях, объектно-ориентированное программирование, логическое программирование в ограничениях, декларативные языки моделирования, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

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

Access URL: https://doaj.org/article/fb242bd7e960410db9a5b1b16eb5cee3

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

Authors: Семенов, В., Морозов, С., Ильин, Д.

Subject Terms: ВЕРИФИКАЦИЯ МОДЕЛЕЙ, ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ МОДЕЛИРОВАНИЕ, UML/OCL, ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ В ОГРАНИЧЕНИЯХ, ЛИНЕЙНОЕ ЦЕЛОЧИСЛЕННОЕ ПРОГРАММИРОВАНИЕ, СЕМАНТИЧЕСКАЯ РЕКОНСИЛЯЦИЯ

File Description: text/html

Availability: http://cyberleninka.ru/article/n/kombinirovannyy-metod-verifikatsii-masshtabnyh-modeley-dannyh
http://cyberleninka.ru/article_covers/15574472.png

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

Authors: Семенов, В., Ильин, Д., Морозов, С., Сидяка, О.

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

File Description: text/html

Availability: 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

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

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

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, ВЕРИФИКАЦИЯ МОДЕЛЕЙ, ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ МОДЕЛИРОВАНИЕ, UML/OCL, ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ В ОГРАНИЧЕНИЯХ, ЛИНЕЙНОЕ ЦЕЛОЧИСЛЕННОЕ ПРОГРАММИРОВАНИЕ, СЕМАНТИЧЕСКАЯ РЕКОНСИЛЯЦИЯ, 02 engineering and technology

File Description: text/html

Access URL: http://cyberleninka.ru/article_covers/15574472.png
http://cyberleninka.ru/article/n/kombinirovannyy-metod-verifikatsii-masshtabnyh-modeley-dannyh

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

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

Subject Terms: ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ В ОГРАНИЧЕНИЯХ,ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ,ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ В ОГРАНИЧЕНИЯХ,ДЕКЛАРАТИВНЫЕ ЯЗЫКИ МОДЕЛИРОВАНИЯ, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

File Description: text/html

Access URL: 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

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

Subject Terms: tabling, constraint logic programming, relational programming, логическое программирование в ограничениях, конструктивное отрицание, декларативное программирование, табличная мемоизация, реляционное программирование, declarative programming, constructive negation

Access URL: https://publications.hse.ru/books/314922827