Реализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов
On an example of the opportunity of the formalized transition from algorithm to the program showed due to development and use of means of the expanded system of algorithmic algebras. There are showed the opportunities of transformation of the received program and auto-matic transition to the require...
Збережено в:
| Дата: | 2008 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут програмних систем НАН України
2008
|
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/323 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Реализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов / В.Г. Акуловский // Пробл. програмув. — 2008. — N 1. — С. 51-59. — Бібліогр.: 7 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-323 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-3232008-10-15T12:30:30Z Реализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов Акуловский, В.Г. Формальні методи розробки програмного забезпечення On an example of the opportunity of the formalized transition from algorithm to the program showed due to development and use of means of the expanded system of algorithmic algebras. There are showed the opportunities of transformation of the received program and auto-matic transition to the required programming lan-guage. На прикладі продемонстрована можливість формалізованого переходу від алгоритму до програми за рахунок розвитку і використання засобів розширеної системи алгоритмічних ал-гебр. Показано можливості перетворення отриманої програми й автоматичного переходу на необхідну мову програмування. 2008 Article Реализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов / В.Г. Акуловский // Пробл. програмув. — 2008. — N 1. — С. 51-59. — Бібліогр.: 7 назв. — рос. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/323 519.681 uk Інститут програмних систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Ukrainian |
| topic |
Формальні методи розробки програмного забезпечення Формальні методи розробки програмного забезпечення |
| spellingShingle |
Формальні методи розробки програмного забезпечення Формальні методи розробки програмного забезпечення Акуловский, В.Г. Реализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов |
| description |
On an example of the opportunity of the formalized transition from algorithm to the program showed due to development and use of means of the expanded system of algorithmic algebras. There are showed the opportunities of transformation of the received program and auto-matic transition to the required programming lan-guage. |
| format |
Article |
| author |
Акуловский, В.Г. |
| author_facet |
Акуловский, В.Г. |
| author_sort |
Акуловский, В.Г. |
| title |
Реализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов |
| title_short |
Реализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов |
| title_full |
Реализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов |
| title_fullStr |
Реализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов |
| title_full_unstemmed |
Реализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов |
| title_sort |
реализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов |
| publisher |
Інститут програмних систем НАН України |
| publishDate |
2008 |
| topic_facet |
Формальні методи розробки програмного забезпечення |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/323 |
| citation_txt |
Реализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов / В.Г. Акуловский // Пробл. програмув. — 2008. — N 1. — С. 51-59. — Бібліогр.: 7 назв. — рос. |
| work_keys_str_mv |
AT akulovskijvg realizaciâformalizovannogoperehodaotalgoritmakprogrammesredstvamirasširennojalgebryalgoritmov |
| first_indexed |
2023-03-24T08:18:24Z |
| last_indexed |
2023-03-24T08:18:24Z |
| _version_ |
1796138789594202112 |