Полнота алгебры алгоритмов с данными

Показана полнота алгебры алгоритмов с данными, предназначенной для согласованного проектирования потоков управления и обрабатываемых данных. Рассматривается также реализуемость разработки алгоритмов от управления и от данных с использованием как восходящей, так и нисходящей стратегий проектирования....

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Проблеми програмування
Datum:2016
Hauptverfasser: Акуловский, В.Г., Дорошенко, А.Е., Яценко, Е.А.
Format: Artikel
Sprache:Russisch
Veröffentlicht: Інститут програмних систем НАН України 2016
Schlagworte:
Online Zugang:https://nasplib.isofts.kiev.ua/handle/123456789/126431
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:Полнота алгебры алгоритмов с данными / В.Г. Акуловский, А.Е. Дорошенко, Е.А. Яценко // Проблеми програмування. — 2016. — № 4. — С. 3-13. — Бібліогр.: 9 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine
Beschreibung
Zusammenfassung:Показана полнота алгебры алгоритмов с данными, предназначенной для согласованного проектирования потоков управления и обрабатываемых данных. Рассматривается также реализуемость разработки алгоритмов от управления и от данных с использованием как восходящей, так и нисходящей стратегий проектирования. Показана повнота алгебри алгоритмів з даними, яка призначена для погодженого проектування потоків управління та оброблюваних даних. Розглядається також можливість реалізації розробки алгоритмів від управління та від даних із використанням як висхідної, так і низхідної стратегій проектування. The completeness of the algorithm algebra with data is shown which is intended for coordinated design of control flow and processed data is shown. The feasibility of an implementation of a control-driven and a data-driven algorithm development using both ascending and descending design strategies is also considered.
ISSN:1727-4907