Реализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов
На прикладі продемонстрована можливість формалізованого переходу від алгоритму до програми за рахунок розвитку і використання засобів розширеної системи алгоритмічних ал-гебр. Показано можливості перетворення отриманої програми й автоматичного переходу на необхідну мову програмування....
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| _version_ | 1862682910311579648 |
|---|---|
| author | Акуловский, В.Г. |
| author_facet | Акуловский, В.Г. |
| citation_txt | Реализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов / В.Г. Акуловский // Пробл. програмув. — 2008. — N 1. — С. 51-59. — Бібліогр.: 7 назв. — рос. |
| collection | DSpace DC |
| description | На прикладі продемонстрована можливість формалізованого переходу від алгоритму до програми за рахунок розвитку і використання засобів розширеної системи алгоритмічних ал-гебр. Показано можливості перетворення отриманої програми й автоматичного переходу на необхідну мову програмування.
|
| first_indexed | 2025-12-07T15:54:20Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-323 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Ukrainian |
| last_indexed | 2025-12-07T15:54:20Z |
| publishDate | 2008 |
| publisher | Інститут програмних систем НАН України |
| 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 |
| spellingShingle | Реализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов Акуловский, В.Г. Формальні методи розробки програмного забезпечення |
| title | Реализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов |
| title_alt | Realization of the formalized transition from algorithm to program, using means of the expanded algebra of algorithms |
| title_full | Реализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов |
| title_fullStr | Реализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов |
| title_full_unstemmed | Реализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов |
| title_short | Реализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов |
| title_sort | реализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов |
| topic | Формальні методи розробки програмного забезпечення |
| topic_facet | Формальні методи розробки програмного забезпечення |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/323 |
| work_keys_str_mv | AT akulovskiivg realizaciâformalizovannogoperehodaotalgoritmakprogrammesredstvamirasširennoialgebryalgoritmov AT akulovskiivg realizationoftheformalizedtransitionfromalgorithmtoprogramusingmeansoftheexpandedalgebraofalgorithms |