Методи розробки інструментальних засобів комп’ютерної алгебри на основі моделе-орієнтованого підходу
Розглянуто процес моделе-орієнтованої побудови інструментальних засобів комп’ютерної алгебри. Запропоновані нові, модифіковані інструментальні засоби, що мають покращений інтерфейс користувача та можливості автоматизованої генерації коду мовою Maude. Такі інструментальні засоби реалізовані і протест...
Saved in:
| Published in: | Компьютерная математика |
|---|---|
| Date: | 2015 |
| Main Author: | |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2015
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/168384 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Методи розробки інструментальних засобів комп’ютерної алгебри на основі моделеорієнтованого підходу / О.П. Давидов // Компьютерная математика. — 2015. — № 2. — С. 86-95. — Бібліогр.: 6 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-168384 |
|---|---|
| record_format |
dspace |
| spelling |
Давидов, О.П. 2020-05-01T08:01:30Z 2020-05-01T08:01:30Z 2015 Методи розробки інструментальних засобів комп’ютерної алгебри на основі моделеорієнтованого підходу / О.П. Давидов // Компьютерная математика. — 2015. — № 2. — С. 86-95. — Бібліогр.: 6 назв. — укр. 2616-938Х https://nasplib.isofts.kiev.ua/handle/123456789/168384 681.3 Розглянуто процес моделе-орієнтованої побудови інструментальних засобів комп’ютерної алгебри. Запропоновані нові, модифіковані інструментальні засоби, що мають покращений інтерфейс користувача та можливості автоматизованої генерації коду мовою Maude. Такі інструментальні засоби реалізовані і протестовані в середовищі авторської експериментальної програмної системи. Вони можуть бути використані для автоматизації розробки застосувань комп’ютерної алгебри та переписування термів на основі моделе-орієнтованого підходу. Рассмотрен процесс модель-ориентированной разработки инструментальных средств компьютерной алгебры. Предложены новые, модифицированные инструментальные средства, имеющие улучшенный интерфейс пользователя и возможности автоматизированной генерации кода на языке Maude. Такие инструментальные средства реализованы и протестированы в среде авторской экспериментальной программной системы. Они могут быть использованы для автоматизации разработки приложений компьютерной алгебры и переписывания термов на основе модель-ориентированного подхода. The model of tools to automate and accelerate the development of the computer algebra and term rewriting applications is described. A description of software components that implements this model as a set of Visual Studio add-ins, i.e., the building tool, the project pattern, and the code highlight for the Maude language, is given. Such tools are implemented and tested in the author’s experimental software. uk Інститут кібернетики ім. В.М. Глушкова НАН України Компьютерная математика Инструментальные средства информационных технологий Методи розробки інструментальних засобів комп’ютерної алгебри на основі моделе-орієнтованого підходу Методы разработки инструментальных средств компьютерной алгебры на основе модель-ориентированного подхода The methods of computer algebra tools development based on a model-oriented approach Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Методи розробки інструментальних засобів комп’ютерної алгебри на основі моделе-орієнтованого підходу |
| spellingShingle |
Методи розробки інструментальних засобів комп’ютерної алгебри на основі моделе-орієнтованого підходу Давидов, О.П. Инструментальные средства информационных технологий |
| title_short |
Методи розробки інструментальних засобів комп’ютерної алгебри на основі моделе-орієнтованого підходу |
| title_full |
Методи розробки інструментальних засобів комп’ютерної алгебри на основі моделе-орієнтованого підходу |
| title_fullStr |
Методи розробки інструментальних засобів комп’ютерної алгебри на основі моделе-орієнтованого підходу |
| title_full_unstemmed |
Методи розробки інструментальних засобів комп’ютерної алгебри на основі моделе-орієнтованого підходу |
| title_sort |
методи розробки інструментальних засобів комп’ютерної алгебри на основі моделе-орієнтованого підходу |
| author |
Давидов, О.П. |
| author_facet |
Давидов, О.П. |
| topic |
Инструментальные средства информационных технологий |
| topic_facet |
Инструментальные средства информационных технологий |
| publishDate |
2015 |
| language |
Ukrainian |
| container_title |
Компьютерная математика |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| format |
Article |
| title_alt |
Методы разработки инструментальных средств компьютерной алгебры на основе модель-ориентированного подхода The methods of computer algebra tools development based on a model-oriented approach |
| description |
Розглянуто процес моделе-орієнтованої побудови інструментальних засобів комп’ютерної алгебри. Запропоновані нові, модифіковані інструментальні засоби, що мають покращений інтерфейс користувача та можливості автоматизованої генерації коду мовою Maude. Такі інструментальні засоби реалізовані і протестовані в середовищі авторської експериментальної програмної системи. Вони можуть бути використані для автоматизації розробки застосувань комп’ютерної алгебри та переписування термів на основі моделе-орієнтованого підходу.
Рассмотрен процесс модель-ориентированной разработки инструментальных средств компьютерной алгебры. Предложены новые, модифицированные инструментальные средства, имеющие улучшенный интерфейс пользователя и возможности автоматизированной генерации кода на языке Maude. Такие инструментальные средства реализованы и протестированы в среде авторской экспериментальной программной системы. Они могут быть использованы для автоматизации разработки приложений компьютерной алгебры и переписывания термов на основе модель-ориентированного подхода.
The model of tools to automate and accelerate the development of the computer algebra and term rewriting applications is described. A description of software components that implements this model as a set of Visual Studio add-ins, i.e., the building tool, the project pattern, and the code highlight for the Maude language, is given. Such tools are implemented and tested in the author’s experimental software.
|
| issn |
2616-938Х |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/168384 |
| citation_txt |
Методи розробки інструментальних засобів комп’ютерної алгебри на основі моделеорієнтованого підходу / О.П. Давидов // Компьютерная математика. — 2015. — № 2. — С. 86-95. — Бібліогр.: 6 назв. — укр. |
| work_keys_str_mv |
AT davidovop metodirozrobkiínstrumentalʹnihzasobívkompûternoíalgebrinaosnovímodeleoríêntovanogopídhodu AT davidovop metodyrazrabotkiinstrumentalʹnyhsredstvkompʹûternoialgebrynaosnovemodelʹorientirovannogopodhoda AT davidovop themethodsofcomputeralgebratoolsdevelopmentbasedonamodelorientedapproach |
| first_indexed |
2025-12-07T18:30:43Z |
| last_indexed |
2025-12-07T18:30:43Z |
| _version_ |
1850875307266932736 |