Методи розробки інструментальних засобів комп’ютерної алгебри на основі моделе-орієнтованого підходу
Розглянуто процес моделе-орієнтованої побудови інструментальних засобів комп’ютерної алгебри. Запропоновані нові, модифіковані інструментальні засоби, що мають покращений інтерфейс користувача та можливості автоматизованої генерації коду мовою Maude. Такі інструментальні засоби реалізовані і протест...
Збережено в:
| Дата: | 2015 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2015
|
| Назва видання: | Компьютерная математика |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/168384 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Методи розробки інструментальних засобів комп’ютерної алгебри на основі моделеорієнтованого підходу / О.П. Давидов // Компьютерная математика. — 2015. — № 2. — С. 86-95. — Бібліогр.: 6 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-168384 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-1683842020-05-02T01:28:27Z Методи розробки інструментальних засобів комп’ютерної алгебри на основі моделе-орієнтованого підходу Давидов, О.П. Инструментальные средства информационных технологий Розглянуто процес моделе-орієнтованої побудови інструментальних засобів комп’ютерної алгебри. Запропоновані нові, модифіковані інструментальні засоби, що мають покращений інтерфейс користувача та можливості автоматизованої генерації коду мовою 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. 2015 Article Методи розробки інструментальних засобів комп’ютерної алгебри на основі моделеорієнтованого підходу / О.П. Давидов // Компьютерная математика. — 2015. — № 2. — С. 86-95. — Бібліогр.: 6 назв. — укр. 2616-938Х http://dspace.nbuv.gov.ua/handle/123456789/168384 681.3 uk Компьютерная математика Інститут кібернетики ім. В.М. Глушкова НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Ukrainian |
| topic |
Инструментальные средства информационных технологий Инструментальные средства информационных технологий |
| spellingShingle |
Инструментальные средства информационных технологий Инструментальные средства информационных технологий Давидов, О.П. Методи розробки інструментальних засобів комп’ютерної алгебри на основі моделе-орієнтованого підходу Компьютерная математика |
| description |
Розглянуто процес моделе-орієнтованої побудови інструментальних засобів комп’ютерної алгебри. Запропоновані нові, модифіковані інструментальні засоби, що мають покращений інтерфейс користувача та можливості автоматизованої генерації коду мовою Maude. Такі інструментальні засоби реалізовані і протестовані в середовищі авторської експериментальної програмної системи. Вони можуть бути використані для автоматизації розробки застосувань комп’ютерної алгебри та переписування термів на основі моделе-орієнтованого підходу. |
| format |
Article |
| author |
Давидов, О.П. |
| author_facet |
Давидов, О.П. |
| author_sort |
Давидов, О.П. |
| title |
Методи розробки інструментальних засобів комп’ютерної алгебри на основі моделе-орієнтованого підходу |
| title_short |
Методи розробки інструментальних засобів комп’ютерної алгебри на основі моделе-орієнтованого підходу |
| title_full |
Методи розробки інструментальних засобів комп’ютерної алгебри на основі моделе-орієнтованого підходу |
| title_fullStr |
Методи розробки інструментальних засобів комп’ютерної алгебри на основі моделе-орієнтованого підходу |
| title_full_unstemmed |
Методи розробки інструментальних засобів комп’ютерної алгебри на основі моделе-орієнтованого підходу |
| title_sort |
методи розробки інструментальних засобів комп’ютерної алгебри на основі моделе-орієнтованого підходу |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| publishDate |
2015 |
| topic_facet |
Инструментальные средства информационных технологий |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/168384 |
| citation_txt |
Методи розробки інструментальних засобів комп’ютерної алгебри на основі моделеорієнтованого підходу / О.П. Давидов // Компьютерная математика. — 2015. — № 2. — С. 86-95. — Бібліогр.: 6 назв. — укр. |
| series |
Компьютерная математика |
| work_keys_str_mv |
AT davidovop metodirozrobkiínstrumentalʹnihzasobívkompûternoíalgebrinaosnovímodeleoríêntovanogopídhodu |
| first_indexed |
2023-10-18T22:22:46Z |
| last_indexed |
2023-10-18T22:22:46Z |
| _version_ |
1796155362109292544 |