Реализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов

dc.contributor.author	Акуловский, В.Г.
dc.date.accessioned	2008-03-31T13:17:25Z
dc.date.available	2008-03-31T13:17:25Z
dc.date.issued	2008
dc.identifier.citation	Реализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов / В.Г. Акуловский // Пробл. програмув. — 2008. — N 1. — С. 51-59. — Бібліогр.: 7 назв. — рос.	en_US
dc.identifier.issn	1727-4907
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/323
dc.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.	en_US
dc.description.abstract	На прикладі продемонстрована можливість формалізованого переходу від алгоритму до програми за рахунок розвитку і використання засобів розширеної системи алгоритмічних ал-гебр. Показано можливості перетворення отриманої програми й автоматичного переходу на необхідну мову програмування.	en_US
dc.language.iso	uk	en_US
dc.publisher	Інститут програмних систем НАН України	en_US
dc.subject	Формальні методи розробки програмного забезпечення	en_US
dc.title	Реализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов	en_US
dc.title.alternative	Realization of the formalized transition from algorithm to program, using means of the expanded algebra of algorithms	en_US
dc.type	Article	en_US
dc.status	published earlier	en_US
dc.identifier.udc	519.681