Методи розробки інструментальних засобів комп’ютерної алгебри на основі моделе-орієнтованого підходу
Розглянуто процес моделе-орієнтованої побудови інструментальних засобів комп’ютерної алгебри. Запропоновані нові, модифіковані інструментальні засоби, що мають покращений інтерфейс користувача та можливості автоматизованої генерації коду мовою Maude. Такі інструментальні засоби реалізовані і протест...
Gespeichert in:
| Veröffentlicht in: | Компьютерная математика |
|---|---|
| Datum: | 2015 |
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Ukrainisch |
| Veröffentlicht: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2015
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/168384 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Методи розробки інструментальних засобів комп’ютерної алгебри на основі моделеорієнтованого підходу / О.П. Давидов // Компьютерная математика. — 2015. — № 2. — С. 86-95. — Бібліогр.: 6 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862721459686735872 |
|---|---|
| author | Давидов, О.П. |
| author_facet | Давидов, О.П. |
| citation_txt | Методи розробки інструментальних засобів комп’ютерної алгебри на основі моделеорієнтованого підходу / О.П. Давидов // Компьютерная математика. — 2015. — № 2. — С. 86-95. — Бібліогр.: 6 назв. — укр. |
| collection | DSpace DC |
| container_title | Компьютерная математика |
| 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.
|
| first_indexed | 2025-12-07T18:30:43Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-168384 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 2616-938Х |
| language | Ukrainian |
| last_indexed | 2025-12-07T18:30:43Z |
| publishDate | 2015 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| 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 |
| spellingShingle | Методи розробки інструментальних засобів комп’ютерної алгебри на основі моделе-орієнтованого підходу Давидов, О.П. Инструментальные средства информационных технологий |
| title | Методи розробки інструментальних засобів комп’ютерної алгебри на основі моделе-орієнтованого підходу |
| title_alt | Методы разработки инструментальных средств компьютерной алгебры на основе модель-ориентированного подхода The methods of computer algebra tools development based on a model-oriented approach |
| title_full | Методи розробки інструментальних засобів комп’ютерної алгебри на основі моделе-орієнтованого підходу |
| title_fullStr | Методи розробки інструментальних засобів комп’ютерної алгебри на основі моделе-орієнтованого підходу |
| title_full_unstemmed | Методи розробки інструментальних засобів комп’ютерної алгебри на основі моделе-орієнтованого підходу |
| title_short | Методи розробки інструментальних засобів комп’ютерної алгебри на основі моделе-орієнтованого підходу |
| title_sort | методи розробки інструментальних засобів комп’ютерної алгебри на основі моделе-орієнтованого підходу |
| topic | Инструментальные средства информационных технологий |
| topic_facet | Инструментальные средства информационных технологий |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/168384 |
| work_keys_str_mv | AT davidovop metodirozrobkiínstrumentalʹnihzasobívkompûternoíalgebrinaosnovímodeleoríêntovanogopídhodu AT davidovop metodyrazrabotkiinstrumentalʹnyhsredstvkompʹûternoialgebrynaosnovemodelʹorientirovannogopodhoda AT davidovop themethodsofcomputeralgebratoolsdevelopmentbasedonamodelorientedapproach |