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

Θεματικοί όροι: attribute grammars, инструментальное средство, формальные грамматики, domain-specific languages, regular backus-naur form, syntax diagram, предметно-ориентированные языки, регулярная форма бэкуса-наура, formal grammars, атрибутные грамматики, синтаксические диаграммы, education tool

Graphic DSL for Mobile Development

Συγγραφείς: Artur Vladimirovitch Gudiev, Alexandra Sergeevna Grazhevskaya

Πηγή: Труды Института системного программирования РАН, Vol 31, Iss 3, Pp 29-34 (2019)

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

Σύνδεσμος πρόσβασης: https://ispranproceedings.elpub.ru/jour/article/download/1178/934
https://doaj.org/article/8c6e4412936746d1afb8aad12b8f875a
https://ispranproceedings.elpub.ru/jour/article/view/1178

Cryptographic Stack Machine Notation One

Συγγραφείς: S E Prokopev

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

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

Σύνδεσμος πρόσβασης: http://ispras.ru/proceedings/docs/2018/30/3/isp_30_2018_3_165.pdf
https://doaj.org/article/f0d8ace6260f4a9e88aff5554f8a12e3
https://cyberleninka.ru/article/n/cryptographic-stack-machine-notation-one
https://cyberleninka.ru/article/n/cryptographic-stack-machine-notation-one/pdf

Language for Describing Templates for Test Program Generation for Microprocessors

Συγγραφείς: TATARNIKOV A.D.

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

Θεματικοί όροι: генерация тестовых программ, функциональная верификация, Electronic computers. Computer science, тестовые шаблоны, MICROPROCESSORS,FUNCTIONAL VERIFICATION,TEST PROGRAM GENERATION,TEST TEMPLATES,DOMAIN-SPECIFIC LANGUAGES,МИКРОПРОЦЕССОРЫ,ФУНКЦИОНАЛЬНАЯ ВЕРИФИКАЦИЯ,ГЕНЕРАЦИЯ ТЕСТОВЫХ ПРОГРАММ,ТЕСТОВЫЕ ШАБЛОНЫ,ПРЕДМЕТНО-ОРИЕНТИРОВАННЫЕ ЯЗЫКИ, микропроцессоры, предметно-ориентированные языки, QA75.5-76.95

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

Σύνδεσμος πρόσβασης: http://ispras.ru/proceedings/docs/2016/28/4/isp_28_2016_4_77.pdf
https://doaj.org/article/7a321db4abd04a24ae56d302d3fc3600
https://cyberleninka.ru/article/n/language-for-describing-templates-for-test-program-generation-for-microprocessors
http://cyberleninka.ru/article_covers/16937638.png
http://cyberleninka.ru/article/n/language-for-describing-templates-for-test-program-generation-for-microprocessors

Support for Visual Languages Evolution in DSM-platform QReal ; Поддержка эволюции визуальных языков в платформе QReal

Συγγραφείς: T. Y. Agapova, T. A. Bryksin, Татьяна Юрьевна Агапова, Тимофей Александрович Брыксин

Πηγή: Modeling and Analysis of Information Systems; Том 21, № 6 (2014); 107-119 ; Моделирование и анализ информационных систем; Том 21, № 6 (2014); 107-119 ; 2313-5417 ; 1818-1015

Θεματικοί όροι: миграция моделей, domain specific modelling languages, metamodel evolution, model migration, предметно-ориентированные языки моделирования, эволюция метамодели

Περιγραφή αρχείου: application/pdf

Relation: https://www.mais-journal.ru/jour/article/view/75/73; Brambilla, M., Cabot, J., Wimmer, M. Model-Driven Software Engineering in Practice // Morgan & Claypool. 2012. 182 p.; Gruschko, B., Kolovos, D., Paige, R. Towards synchronizing models with evolving metamodels // International Workshop on Model-Driven Software Evolution, MoDSE. 2007.; Jouault, F., Kurtev, I. Transforming Models with ATL // MoDELS’05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS. Springer-Verlag Berlin, Heidelberg, 2006. P. 128–138.; Kelly, S., Tolvanen, J. Domain-Specific Modeling: Enabling Full Code Generation. WileyIEEE Computer Society Press, 2008. 448 p.; OMG, MOF 2.0 Query/View/Transformations RPF. URL: http://www.omg.org/spec/QVT/1.1/; Owen M. and Raj J. BPMN and Bussines Process Management. Popkin Software, 2003.; Rahm E., Bernstein P.A. A Survey of Approaches to Automatic Schema Matching // The VLDB Journal. Springer-Verlag, 2001.; Rose L.M., Paige R.F., Kolovos D.S., Polack F.A.C. An Analysis of Approaches to Model Migration // Joint MoDSE–MCCM 2009 Workshop – Models and Evolution, 2009. P. 6–15.; Rozenberg G. Handbook of Graph Grammars and Computing by Graph Transformation. Volume 1: Foundations. World Scientific, 1997.; Кузенкова А.С., Литвинов Ю.В. Поддержка механизма рефакторингов в DSM-платформе QReal // Материалы межвузовского конкурса-конференции студентов, аспирантов и молодых ученых Северо-Запада "Технологии Microsoft в теории и практике программирования". СПб.: Изд-во СПбГПУ, 2013. С. 71–72 [Kuzenkova A.S., Litvinov Yu.V. Podderzhka mekhanizma refaktoringov v DSM-platforme QReal // Materialy mezhvuzovskogo konkursa-konferentsii studentov, aspirantov i molodykh; uchenykh Severo-Zapada "Tekhnologii Microsoft v teorii i praktike programmirovaniya". St. Petersburg: SPbSTU Press, 2013. P. 71–72 (in Russian)].; Птахина А.И. Разработка метамоделирования “на лету” в системе QReal // Список-2013: Материалы всероссийской научной конференции по проблемам информатики. СПб.: Изд-во ВВМ, 2013. С. 28–36. [Ptakhina A.I. Razrabotka metamodelirovaniya “na letu” v sisteme QReal // Spisok-2013: Materialy vserossiyskoy nauchnoy konferentsii po problemam informatiki. St. Petersburg: VVM, 2013. P. 28–36 (in Russian)].; Терехов А.Н., Брыксин Т.А., Литвинов Ю.В. QReal: платформа визуального предметно-ориентированного моделирования. // Программная инженерия. 2013. № 6. С. 11–19. [Terekhov A.N., Bryksin T.A., Litvinov Yu.V. QReal: platforma vizual’nogo predmetno-orientirovannogo modelirovaniya // Programmnaya inzheneriya. 2013. No 6. P. 11–19 (in Russian)].

Διαθεσιμότητα: https://www.mais-journal.ru/jour/article/view/75
https://doi.org/10.18255/1818-1015-2014-6-107-119

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

Συγγραφείς: А.Ю. Воробьёв

Θεματικοί όροι: программирование, предметно-ориентированные языки, технологическое ПО, автоматизация, автоматизированный контроль параметров

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

Διαθεσιμότητα: http://cyberleninka.ru/article/n/predmetno-orientirovannyy-yazyk-programmirovaniya-dlya-razrabotki-programmnogo-obespecheniya-dlya-testirovaniya-elektronnyh
http://cyberleninka.ru/article_covers/15686989.png

МОДЕЛИРОВАНИЕ БИЗНЕС-ПРОЦЕССОВ С ИСПОЛЬЗОВАНИЕМ DSM-ПЛАТФОРМЫ METALANGUAGE

Συγγραφείς: Айзатуллова, Рената, Лядова, Людмила, Сухов, Александр, Шаляева, Ирина

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

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

Διαθεσιμότητα: http://cyberleninka.ru/article/n/modelirovanie-biznes-protsessov-s-ispolzovaniem-dsm-platformy-metalanguage
http://cyberleninka.ru/article_covers/15644988.png

ПРИНЦИПЫ ПРОЕКТИРОВАНИЯ ПРИЛОЖЕНИЙ С ПОМОЩЬЮ ПРОБЛЕМНО-ОРИЕНТИРОВАННОГО ОБЪЕКТНОГО ПРОГРАММИРОВАНИЯ

Συγγραφείς: Цыбулько, Д.

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

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

Διαθεσιμότητα: http://cyberleninka.ru/article/n/printsipy-proektirovaniya-prilozheniy-s-pomoschyu-problemno-orientirovannogo-obektnogo-programmirovaniya
http://cyberleninka.ru/article_covers/15568963.png

ФАБРИКИ ПРИКЛАДНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ, УПРАВЛЯЕМЫЕ МОДЕЛЯМИ ПРЕДМЕТНЫХ ОБЛАСТЕЙ

Συγγραφείς: Андреев, Николай, Новиков, Федор

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

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

Διαθεσιμότητα: http://cyberleninka.ru/article/n/fabriki-prikladnogo-programmnogo-obespecheniya-upravlyaemye-modelyami-predmetnyh-oblastey
http://cyberleninka.ru/article_covers/14480758.png

ИНСТРУМЕНТАЛЬНЫЕ СРЕДСТВА СОЗДАНИЯ ВИЗУАЛЬНЫХ ПРЕДМЕТНО-ОРИЕНТИРОВАННЫХ ЯЗЫКОВ МОДЕЛИРОВАНИЯ

Συγγραφείς: Сухов, А.

Θεματικοί όροι: ВИЗУАЛЬНЫЕ ПРЕДМЕТНО-ОРИЕНТИРОВАННЫЕ ЯЗЫКИ МОДЕЛИРОВАНИЯ,ЯЗЫКОВОЙ ИНСТРУМЕНТАРИЙ,МЕТАМОДЕЛИРОВАНИЕ,ТРАНСФОРМАЦИЯ МОДЕЛЕЙ,VISUAL DOMAIN-SPECIFIC MODELING LANGUAGES,LANGUAGE WORKBENCH,META-MODELING,MODEL TRANSFORMATION

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

Διαθεσιμότητα: http://cyberleninka.ru/article/n/instrumentalnye-sredstva-sozdaniya-vizualnyh-predmetno-orientirovannyh-yazykov-modelirovaniya
http://cyberleninka.ru/article_covers/15441673.png

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

Συγγραφείς: Андреев, Николай, Новиков, Ф.

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

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

Διαθεσιμότητα: http://cyberleninka.ru/article/n/inkrementalnyy-predmetno-orientirovannyy-protsess-razrabotki-prikladnogo-programmnogo-obespecheniya
http://cyberleninka.ru/article_covers/14481101.png

ПЛАТФОРМА ДЛЯ РАЗРАБОТКИ МОБИЛЬНЫХ ПРИЛОЖЕНИЙ UBIQ MOBILE

Συγγραφείς: Терехов, Андрей, Оносовский, Валентин

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

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

Διαθεσιμότητα: http://cyberleninka.ru/article/n/platforma-dlya-razrabotki-mobilnyh-prilozheniy-ubiq-mobile
http://cyberleninka.ru/article_covers/13937628.png

ПРЕДМЕТНО-ОРИЕНТИРОВАННЫЕ ЯЗЫКИ В ОПИСАНИИ ЗАДАЧ НАУЧНЫХ СОРЕВНОВАНИЙ

Συγγραφείς: БОГДАНОВ МИХАИЛ СЕРГЕЕВИЧ, РУКШИН СЕРГЕЙ ЕВГЕНЬЕВИЧ, СТЕПУЛЕНОК ДЕНИС ОЛЕГОВИЧ

Θεματικοί όροι: ПРЕДМЕТНО-ОРИЕНТИРОВАННЫЕ ЯЗЫКИ,SUBJECT-ORIENTED LANGUAGES,ПРЕДСТАВЛЕНИЕ МАТЕМАТИЧЕСКИХ ЗАДАЧ,REPRESENTATION OF MATHEMATICAL KNOWLEDGE,СИСТЕМЫ ДИСТАНЦИОННОГО ОБУЧЕНИЯ,DISTANCE LEARNING SYSTEMS

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

Διαθεσιμότητα: http://cyberleninka.ru/article/n/predmetno-orientirovannye-yazyki-v-opisanii-zadach-nauchnyh-sorevnovaniy
http://cyberleninka.ru/article_covers/16406608.png

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

Πηγή: Известия Южного федерального университета. Технические науки.

Θεματικοί όροι: ПРОЕКТНАЯ ДОКУМЕНТАЦИЯ, ПРЕДМЕТНО-ОРИЕНТИРОВАННЫЕ ЯЗЫКИ, МОДЕЛИРОВАНИЕ, DSM-ПЛАТФОРМА

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

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article/n/predmetno-orientirovannyy-yazyk-opisaniya-dokumentov-ispolzuemyh-pri-proektirovanii-informatsionnyh-sistem
http://cyberleninka.ru/article_covers/15820446.png

О подходе к функциональной интеграции систем на основе технологии MdE

Πηγή: Известия Южного федерального университета. Технические науки.

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

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

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article/n/o-podhode-k-funktsionalnoy-integratsii-sistem-na-osnove-tehnologii-mde
http://cyberleninka.ru/article_covers/15631950.png

Моделирование бизнес-процессов с использованием DSM-платформы MetaLanguage

Πηγή: Известия Южного федерального университета. Технические науки.

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

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

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article/n/modelirovanie-biznes-protsessov-s-ispolzovaniem-dsm-platformy-metalanguage
http://cyberleninka.ru/article_covers/15644988.png

Принципы проектирования приложений с помощью проблемно-ориентированного объектного программирования

Πηγή: Cloud of science.

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

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

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article/n/printsipy-proektirovaniya-prilozheniy-s-pomoschyu-problemno-orientirovannogo-obektnogo-programmirovaniya
http://cyberleninka.ru/article_covers/15568963.png

Предметно-ориентированный язык программирования для разработки программного обеспечения для тестирования электронных устройств

Πηγή: Математические структуры и моделирование.

Θεματικοί όροι: программирование, предметно-ориентированные языки, технологическое ПО, автоматизация, автоматизированный контроль параметров

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

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article/n/predmetno-orientirovannyy-yazyk-programmirovaniya-dlya-razrabotki-programmnogo-obespecheniya-dlya-testirovaniya-elektronnyh
http://cyberleninka.ru/article_covers/15686989.png

Фабрики прикладного программного обеспечения, управляемые моделями предметных областей

Πηγή: Информационно-управляющие системы.

Θεματικοί όροι: РАЗРАБОТКА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ, ФАБРИКИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ, УПРАВЛЯЕМАЯ МОДЕЛЬЮ РАЗРАБОТКА, ПРЕДМЕТНО-ОРИЕНТИРОВАННЫЕ ЯЗЫКИ, 0502 economics and business, 05 social sciences, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

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

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article_covers/14480758.png
http://cyberleninka.ru/article/n/fabriki-prikladnogo-programmnogo-obespecheniya-upravlyaemye-modelyami-predmetnyh-oblastey

Инструментальные средства создания визуальных предметно-ориентированных языков моделирования

Πηγή: Фундаментальные исследования.

Θεματικοί όροι: ВИЗУАЛЬНЫЕ ПРЕДМЕТНО-ОРИЕНТИРОВАННЫЕ ЯЗЫКИ МОДЕЛИРОВАНИЯ, ЯЗЫКОВОЙ ИНСТРУМЕНТАРИЙ, МЕТАМОДЕЛИРОВАНИЕ, ТРАНСФОРМАЦИЯ МОДЕЛЕЙ

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

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article/n/instrumentalnye-sredstva-sozdaniya-vizualnyh-predmetno-orientirovannyh-yazykov-modelirovaniya
http://cyberleninka.ru/article_covers/15441673.png