Реализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов
На прикладі продемонстрована можливість формалізованого переходу від алгоритму до програми за рахунок розвитку і використання засобів розширеної системи алгоритмічних ал-гебр. Показано можливості перетворення отриманої програми й автоматичного переходу на необхідну мову програмування....
Gespeichert in:
| Datum: | 2008 |
|---|---|
| 1. Verfasser: | Акуловский, В.Г. |
| Format: | Artikel |
| Sprache: | Ukrainian |
| Veröffentlicht: |
Інститут програмних систем НАН України
2008
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/323 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Реализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов / В.Г. Акуловский // Пробл. програмув. — 2008. — N 1. — С. 51-59. — Бібліогр.: 7 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineÄhnliche Einträge
-
Интеграция инструментальных средств алгебры алгоритмов и переписывания термов для разработки эффективных параллельных программ
von: Яценко, Е.А.
Veröffentlicht: (2013) -
Уніфікований процес композиції адаптивного сервісу в семантичному Веб-середовищі
von: Слабоспицька, О.О.
Veröffentlicht: (2018) -
Deductive verification of requirements for event-driven architecture
von: Letichevsky, A., et al.
Veröffentlicht: (2013) -
Подходы и задачи композиции сервисов в семантическом Web окружении
von: Дерецкий, В.А.
Veröffentlicht: (2008) -
Обзор современных систем и методов верификации формальных моделей
von: Колчин, А.В., et al.
Veröffentlicht: (2012)