Наукова електронна бібліотека
періодичних видань НАН України
періодичних видань НАН України
Реализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов
Репозиторій DSpace/Manakin
JavaScript is disabled for your browser. Some features of this site may not work without it.
Реализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов
Інші назви:
Realization of the formalized transition from algorithm to program, using means of the expanded algebra of algorithms
Тема:
Формальні методи розробки програмного забезпечення
УДК:
519.681
Посилання:
Реализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов / В.Г. Акуловский // Пробл. програмув. — 2008. — N 1. — С. 51-59. — Бібліогр.: 7 назв. — рос.
Дата:
2008
Переглядів:
1041
Завантажень:
527
Анотація:
На прикладі продемонстрована можливість формалізованого переходу від алгоритму до програми за рахунок розвитку і використання засобів розширеної системи алгоритмічних ал-гебр. Показано можливості перетворення отриманої програми й автоматичного переходу на необхідну мову програмування.
Опис:
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.
