Реализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов
На прикладі продемонстрована можливість формалізованого переходу від алгоритму до програми за рахунок розвитку і використання засобів розширеної системи алгоритмічних ал-гебр. Показано можливості перетворення отриманої програми й автоматичного переходу на необхідну мову програмування....
Saved in:
| Date: | 2008 |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут програмних систем НАН України
2008
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/323 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Реализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов / В.Г. Акуловский // Пробл. програмув. — 2008. — N 1. — С. 51-59. — Бібліогр.: 7 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-323 |
|---|---|
| record_format |
dspace |
| spelling |
Акуловский, В.Г. 2008-03-31T13:17:25Z 2008-03-31T13:17:25Z 2008 Реализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов / В.Г. Акуловский // Пробл. програмув. — 2008. — N 1. — С. 51-59. — Бібліогр.: 7 назв. — рос. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/323 519.681 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. На прикладі продемонстрована можливість формалізованого переходу від алгоритму до програми за рахунок розвитку і використання засобів розширеної системи алгоритмічних ал-гебр. Показано можливості перетворення отриманої програми й автоматичного переходу на необхідну мову програмування. uk Інститут програмних систем НАН України Формальні методи розробки програмного забезпечення Реализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов Realization of the formalized transition from algorithm to program, using means of the expanded algebra of algorithms Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Реализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов |
| spellingShingle |
Реализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов Акуловский, В.Г. Формальні методи розробки програмного забезпечення |
| title_short |
Реализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов |
| title_full |
Реализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов |
| title_fullStr |
Реализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов |
| title_full_unstemmed |
Реализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов |
| title_sort |
реализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов |
| author |
Акуловский, В.Г. |
| author_facet |
Акуловский, В.Г. |
| topic |
Формальні методи розробки програмного забезпечення |
| topic_facet |
Формальні методи розробки програмного забезпечення |
| publishDate |
2008 |
| language |
Ukrainian |
| publisher |
Інститут програмних систем НАН України |
| format |
Article |
| title_alt |
Realization of the formalized transition from algorithm to program, using means of the expanded algebra of algorithms |
| description |
На прикладі продемонстрована можливість формалізованого переходу від алгоритму до програми за рахунок розвитку і використання засобів розширеної системи алгоритмічних ал-гебр. Показано можливості перетворення отриманої програми й автоматичного переходу на необхідну мову програмування.
|
| issn |
1727-4907 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/323 |
| citation_txt |
Реализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов / В.Г. Акуловский // Пробл. програмув. — 2008. — N 1. — С. 51-59. — Бібліогр.: 7 назв. — рос. |
| work_keys_str_mv |
AT akulovskiivg realizaciâformalizovannogoperehodaotalgoritmakprogrammesredstvamirasširennoialgebryalgoritmov AT akulovskiivg realizationoftheformalizedtransitionfromalgorithmtoprogramusingmeansoftheexpandedalgebraofalgorithms |
| first_indexed |
2025-12-07T15:54:20Z |
| last_indexed |
2025-12-07T15:54:20Z |
| _version_ |
1850865468630368256 |