Середовище конструювання алгоритмічних знань та інструментарій синтезу програм
Статтю присвячено огляду результатів, отриманих у рамках подальшого розвитку середовища конструювання алгоритмічних знань мультиобробки та інтегрованого інструментарію проектування і синтезу послідовних та паралельних об’єктно-орієнтованих програм. Інструментальні засоби грунтуються на апараті алг...
Gespeichert in:
| Datum: | 2006 |
|---|---|
| 1. Verfasser: | Яценко, О.А. |
| Format: | Artikel |
| Sprache: | Ukrainian |
| Veröffentlicht: |
Інститут програмних систем НАН України
2006
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/1522 |
| 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: | Середовище конструювання алгоритмічних знань та інструментарій синтезу програм / О.А. Яценко // Проблеми програмування. — 2006. — N 2-3. — С. 349-359. — Бібліогр.: 11 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineÄhnliche Einträge
-
Системи алгоритмічних алгебр. Прикладний аспект
von: Погорілий, С.Д., et al.
Veröffentlicht: (2006) -
Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS
von: Безверха, М.А., et al.
Veröffentlicht: (2010) -
Пошук інваріантів U-Y- програм інтераційним алгоритмом над абсолютно вільними алгебрами данних
von: Максимець, О.М.
Veröffentlicht: (2012) -
Средства параметрически управляемой генерации алгоритмов на основе алгебры гиперсхем
von: Яценко, Е.А.
Veröffentlicht: (2012) -
Алгебро-логічний підхід до аналізу та обробки текстової інформації
von: Палагін, О.В., et al.
Veröffentlicht: (2010)