Методика автоматизованої трансформації схем алгоритмів
Описано методику створення інструментарію автоматизованого перетворення алгоритмів, на основі їх подання у вигляді САА-М-схем. Розглянуто методи застосування еквівалентних перетворень до алгоритмів. Запропоновано методи реалізації автоматизованого перетворювача САА-М-схем алгоритмів. Наведено параме...
Збережено в:
| Дата: | 2010 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут програмних систем НАН України
2010
|
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/14632 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Методика автоматизованої трансформації схем алгоритмів/ І.Ю. Шкуліпа, С.Д. Погорілий// Пробл. програмув. — 2010. — № 2-3. — С. 349-354. — Бібліогр.: 9 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-14632 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-146322010-12-28T12:02:34Z Методика автоматизованої трансформації схем алгоритмів Шкуліпа, І.Ю. Погорілий, С.Д. Формальні методи програмування Описано методику створення інструментарію автоматизованого перетворення алгоритмів, на основі їх подання у вигляді САА-М-схем. Розглянуто методи застосування еквівалентних перетворень до алгоритмів. Запропоновано методи реалізації автоматизованого перетворювача САА-М-схем алгоритмів. Наведено параметри практичної реалізації системи автоматизованого перетворення алгоритмів. А method of automated tools for algorithms transformation, based on their representation in the form of SAA-M schemes is covered. The methods to apply equivalent transforms for algorithms are described. Methods to implement an automated SAA-M-schemes transformer are proposed. Implementation of the automated algorithms transformation system is described. 2010 Article Методика автоматизованої трансформації схем алгоритмів/ І.Ю. Шкуліпа, С.Д. Погорілий// Пробл. програмув. — 2010. — № 2-3. — С. 349-354. — Бібліогр.: 9 назв. — укр. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/14632 681.3 uk Інститут програмних систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Ukrainian |
| topic |
Формальні методи програмування Формальні методи програмування |
| spellingShingle |
Формальні методи програмування Формальні методи програмування Шкуліпа, І.Ю. Погорілий, С.Д. Методика автоматизованої трансформації схем алгоритмів |
| description |
Описано методику створення інструментарію автоматизованого перетворення алгоритмів, на основі їх подання у вигляді САА-М-схем. Розглянуто методи застосування еквівалентних перетворень до алгоритмів. Запропоновано методи реалізації автоматизованого перетворювача САА-М-схем алгоритмів. Наведено параметри практичної реалізації системи автоматизованого перетворення алгоритмів. |
| format |
Article |
| author |
Шкуліпа, І.Ю. Погорілий, С.Д. |
| author_facet |
Шкуліпа, І.Ю. Погорілий, С.Д. |
| author_sort |
Шкуліпа, І.Ю. |
| title |
Методика автоматизованої трансформації схем алгоритмів |
| title_short |
Методика автоматизованої трансформації схем алгоритмів |
| title_full |
Методика автоматизованої трансформації схем алгоритмів |
| title_fullStr |
Методика автоматизованої трансформації схем алгоритмів |
| title_full_unstemmed |
Методика автоматизованої трансформації схем алгоритмів |
| title_sort |
методика автоматизованої трансформації схем алгоритмів |
| publisher |
Інститут програмних систем НАН України |
| publishDate |
2010 |
| topic_facet |
Формальні методи програмування |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/14632 |
| citation_txt |
Методика автоматизованої трансформації схем алгоритмів/ І.Ю. Шкуліпа, С.Д. Погорілий// Пробл. програмув. — 2010. — № 2-3. — С. 349-354. — Бібліогр.: 9 назв. — укр. |
| work_keys_str_mv |
AT škulípaíû metodikaavtomatizovanoítransformacííshemalgoritmív AT pogorílijsd metodikaavtomatizovanoítransformacííshemalgoritmív |
| first_indexed |
2023-10-18T16:53:35Z |
| last_indexed |
2023-10-18T16:53:35Z |
| _version_ |
1796140149037334528 |