?
Алгоритмы синтаксического разбора для текстовых динамически настраиваемых предметно-ориентированных языков
Информационные технологии. 2018. Т. 24. № 10. С. 648-656.
Предложены алгоритмы разбора для текстовых динамически настраиваемых предметно-ориентированных языков и проверки синтаксической корректности написанных с их помощью программ. В процессе своей работы на основе описания расширенной грамматики языка анализатор строит псевдодерево разбора, которое в дальнейшем используется при проверке синтаксической корректности программ пользователя. В основе алгоритма проверки синтаксиса лежит метод леворекурсивного спуска с возвратом.
Научное направление:
Компьютерные науки
Приоритетные направления:
компьютерно-математическое
Язык:
русский
Подход к разработке языкового инструментария для создания текстовых предметно-ориентированных языков
Сухов А. О., Медведева Е. Ю., Информационные технологии 2018 Т. 24 № 1 С. 10-16
Описан подход к созданию языкового инструментария, новизна которого заключается в том, что в процессе функционирования языковой инструментарий выполняет интерпретацию моделей различных уровней иерархии, а не генерацию на их основе исходного кода. Это позволяет производить настройку разработанных языков без перегенерации кода редактора, выполнять многоуровневое моделирование, а также определять правила преобразования написанных программ в код на целевом ...
Добавлено: 13 октября 2017 г.
Описываются средства DSM-платформы MetaLanguage для создания предметно-ориентированных языков и многоуровневого моделирования. Возможность определения трансформаций обеспечивает снижение трудоёмкости разработки новых языков и преобразования моделей. ...
Добавлено: 17 ноября 2013 г.
Сухов А. О., Лядова Л. Н., Информатизация и связь 2013 № 5 С. 15-18
Обсуждается модельно-ориентированный подход к разработке информационных систем с использованием нескольких языков моделирования. Описаны преимущества предметно-ориентированного моделирования и DSM-платформ. ...
Добавлено: 17 ноября 2013 г.
В статье описывается подход к реализации визуального редактора лексико-синтаксических шаблонов. Описываются требования, предъявляемые к редактору, его архитектура и процесс обработки языковых конструкций. Предлагаемое решение характеризуется значительными возможностями расширения и ориентацией на широкий круг пользователей. ...
Добавлено: 15 декабря 2015 г.
Вендин А. С., Успехи современной науки 2017 Т. 1 № 5 С. 81-85
В данной работе рассматривается разработка инструментального средства анализа исходного кода программ на языке Perl для визуализации алгоритма. Рассмотрена теоретическая база, с помощью которого можно подойти к реализации инструмента и анализировать исходный код программы на языке Perl. Сделан обзор существующих средств визуализации исходного кода программ, на основе которого сформулированы требования к разрабатываемому программному обеспечению. Рассмотрены средства ...
Добавлено: 11 декабря 2017 г.
Лядова Л. Н., Информатизация и связь 2021 № 8 С. 48-52
Цель исследования – апробация подхода к созданию языкового инструментария, основанного на знаниях. Ядром средств разработки предметно-ориентированных языков (DSM-платформы) является многоаспектная онтология, которая включает описания языков моделирования и решаемых с их использованием задач, а также описывает предметные области. Для автоматизированной генерации метамоделей в онтологии языков выбирается базовый язык, соответствующий решаемой задаче, выбирается онтология предметной области и ...
Добавлено: 12 января 2022 г.
Жигалова М. А., Сухов А. О., Известия Южного федерального университета. Технические науки 2015 № 2 С. 126-134
В процессе разработки и сопровождения программных продуктов создается и используется большое число проектных документов. Для автоматизации их обработки и контроля упомянутых в документах требований к разрабатываемому продукту требуется создание инструментальных средств поддержки работы аналитика при проектировании информационных систем. Для того чтобы существовала возможность выполнять контроль каждого вида требований в отдельности необходимо выделить в проектном документе ...
Добавлено: 12 декабря 2014 г.
Татарников А. Д., Proceedings of the Institute for System Programming of the RAS 2016 Vol. 28 No. 4 P. 77-98
Генерация тестовых программ на языке ассемблера и проверка корректности результатов их выполнения является наиболее широко применяемым подходом к функциональной верификации микропроцессоров. Данная задача решается при помощи специальных автоматизированных средств, называемых генераторами тестовых программ. Высокая сложность современных электронных устройств создает потребность в автоматизированных средствах, способных генерировать тестовые программы, покрывающие нетривиальные ситуации в их работе. Большинство таких ...
Добавлено: 26 ноября 2017 г.
Сухов А. О., Программная инженерия 2017 Т. 8 № 9 С. 396-406
Рассмотрен подход к трансформации визуальных моделей, основанный на применении предметно-ориентированного языка для описания правил преобразования. Использование такого языка позволяет пользователям, не являющимся IT-специалистами, задавать такие трансформации в иные графические нотации и текстовое представление. Описаны основные конструкции языка, приведены примеры их использования. Интерпретатор языка реализован в инструментальном средстве MetaLanguage. ...
Добавлено: 30 сентября 2017 г.
Chernyshev S. V., Cherepanov E. A., Pankratiev E. V. и др., Journal of Mathematical Sciences 2005 Vol. 128 No. 6 P. 3487-3495
Добавлено: 27 января 2014 г.
Chuprikov P., Николенко С. И., Davydow A. и др., IEEE Transactions on Networking 2018 Vol. 26 No. 1 P. 342-355
Добавлено: 14 марта 2018 г.
Сотникова С. Ю., Динамика сложных систем 2012 № 3 С. 84-87
В статье описывается разработанный программный комплекс моделирования физических процессов, который также позволяет проводить идентификацию параметров печатного узла (физической модели), на котором реализуется проектируемый бортовой источник вторичного электропитания. Для него разработаны интерфейсы связи управляющей программы с известными программами моделирования и оптимизации. ...
Добавлено: 5 декабря 2014 г.
Карпов В. Э., Карпова И. П., Procedia Engineering 2015 Vol. 100 P. 1459-1468
Добавлено: 14 марта 2015 г.
М. : Издательский центр «Российский государственный гуманитарный университет», 2019
Сборник включает 27 докладов международной конференции по компьютерной лингвистике и интеллектуальным технологиям «Диалог 2019», не вошедшие в ежегодник «Компьютерная лингвистика и интеллектуальные технологии», но рекомендованные Программным Комитетом к представлению на конференции. Для специалистов в области теоретической и прикладной лингвистики и интеллектуальных технологий. ...
Добавлено: 10 декабря 2019 г.
Skoptsov K. A., Sheshenin S., Галатенко В. В. и др., International Journal of Applied Mechanics 2016 Vol. 8 No. 2 P. 1650016-01-1650016-18
We present a method for evaluating elastic properties of a composite material produced by molding a resin filled with short elastic fibers. A flow of the filled resin is simulated numerically using a mesh-free method. After that, assuming that spatial distribution and orientation of fibers are not significantly changed during polymerization, effective elastic moduli of ...
Добавлено: 22 мая 2016 г.
Малышев Д. С., Discrete Mathematics 2015 Vol. 338 No. 11 P. 1860-1865
We completely determine the complexity status of the 3-colorability problem for hereditary graph classes defined by two forbidden induced subgraphs with at most five vertices. © 2015 Elsevier B.V. All rights reserved. ...
Добавлено: 7 апреля 2014 г.
Springer, 2012
Добавлено: 29 января 2013 г.
Гостев И. М., М. : Юрайт, 2016
В настоящее время компьютерные науки стремительно развиваются. Новые версии операционных систем появляются каждые полтора-два года, поэтому было принято решение о включении в данную книгу такого материала, который не будет устаревать. Содержание учебника представляет собой некоторые наиболее общие принципы построения операционных систем, которые были разработаны более 50 лет назад и практически не изменились за прошедшее время. ...
Добавлено: 13 октября 2009 г.
Шуранов Е. В., / Cornell University. Series Computer Science "arxiv.org". 2021.
Добавлено: 14 февраля 2023 г.
Беклемишев Л. Д., Оноприенко А. А., Математический сборник 2015 Т. 206 № 9 С. 3-20
Формулируются системы преобразований термов, число шагов работы которых на произвольном входе конечно, но не ограничивается никакой вычислимой функцией, доказуемо тотальной в арифметике Пеано PА. Тем самым, утверждение о сходимости таких систем не доказуемо в PA. Эти системы получаются из независимого комбинаторного утверждения, известного как принцип червя; их также можно рассматривать как вариант хорошо известной игры Геракла и гидры, ...
Добавлено: 13 марта 2016 г.
Borchmann D., Hanika T., Объедков С. А., Discrete Applied Mathematics 2020 Vol. 273 P. 30-42
Добавлено: 29 октября 2019 г.
Каз. : Издательство «Фэн» Академии наук Республики Татарстан, 2013
Материалы и доклады Шестой Всероссийской научно-практической конференции по имитацонному моделированию и его применению в науке и промышленности. ...
Добавлено: 14 декабря 2013 г.
В статье представлена технология, позволяющая собирать в полевых исследованиях пространственно локализованные данные об объектах городской среды. Технология основана на автоматической привязке фотографий к пространственным координатам. Приведен план полевых и камеральных мероприятий, предложены варианты ГИС-обработки собираемых таким образом данных. В качестве примера приведены данные об использовании белорусского языка в общественном пространстве городов Белоруссии. ...
Добавлено: 12 апреля 2015 г.
Bliznets Ivan, Cygan M., Komosa P. и др., ACM Transactions on Computation Theory 2018 Vol. 10 No. 2 P. 1-32
Добавлено: 30 октября 2018 г.