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

Скорочена інформація про документ
dc.contributor.authorАкуловский, В.Г.
dc.date.accessioned2008-03-31T13:17:25Z
dc.date.available2008-03-31T13:17:25Z
dc.date.issued2008
dc.descriptionOn 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.identifier.citationРеализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов / В.Г. Акуловский // Пробл. програмув. — 2008. — N 1. — С. 51-59. — Бібліогр.: 7 назв. — рос.en_US
dc.identifier.issn1727-4907
dc.identifier.udc519.681
dc.identifier.urihttps://nasplib.isofts.kiev.ua/handle/123456789/323
dc.language.isouken_US
dc.publisherІнститут програмних систем НАН Україниen_US
dc.statuspublished earlieren_US
dc.subjectФормальні методи розробки програмного забезпеченняen_US
dc.titleРеализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмовen_US
dc.title.alternativeRealization of the formalized transition from algorithm to program, using means of the expanded algebra of algorithmsen_US
dc.typeArticleen_US

Файли

Оригінальний контейнер

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
Акуловский_#2.pdf
Розмір:
275.35 KB
Формат:
Adobe Portable Document Format
Завантажити

Контейнер ліцензії

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
license.txt
Розмір:
1.82 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Колекція

Проблеми програмування, 2008, № 1