Реализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Реализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов
|
|
| Creator |
Акуловский, В.Г.
|
|
| Subject |
Формальні методи розробки програмного забезпечення
|
|
| 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.
На прикладі продемонстрована можливість формалізованого переходу від алгоритму до програми за рахунок розвитку і використання засобів розширеної системи алгоритмічних ал-гебр. Показано можливості перетворення отриманої програми й автоматичного переходу на необхідну мову програмування. |
|
| Date |
2008-03-31T13:17:25Z
2008-03-31T13:17:25Z 2008 |
|
| Type |
Article
|
|
| Identifier |
Реализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов / В.Г. Акуловский // Пробл. програмув. — 2008. — N 1. — С. 51-59. — Бібліогр.: 7 назв. — рос.
1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/323 519.681 |
|
| Language |
uk
|
|
| Publisher |
Інститут програмних систем НАН України
|
|