1 documents found
Information × Registration Number 0499U002513, Candidate dissertation Status к.ф.-м.н. Date 08-10-1999 popup.evolution o Title Algebraic grounds and tools for synthesis of interactive programming environments Author Vinnychuk Igor Petrovych, popup.head Цейтлін Георгій Овсійович popup.opponent Капітонова Юлія Володимирівна popup.opponent Дерецький Валентин Олександрович Description Розглянуті формалізовані засоби побудови автоматизованих систем синтезу інтерактивних програм. Основою дослідження є апарат алгебр та мета-алгебр. Розроблено двохрівневу алгебраїчну систему, що є математичним фундаментом побудов автоматизованих систем, в основі якої лежать запропоновані автором мета-алгебри та відповідні їм алгебри конструювання як алгоритмів програм, так і діалогових взаємодій користувача з програмою. Визначено критерії функціональної повноти систем елементів у мета-алгебрах, що дозволяє породжувати алгоритмічні алгебри з різноманітними властивостями операцій у їх сигнатурах. Розглянуто можливості та розроблено концепцію побудови природно-мовних інтерфейсів. На проведених теоретичних дослідженнях розроблено систему автоматизованого синтезу інтерактивних мультимедійних програм "Fancy for Windows". Registration Date 2000-12-06 popup.nrat_date 2021-03-17 Close
Candidate dissertation
Vinnychuk Igor Petrovych. Algebraic grounds and tools for synthesis of interactive programming environments : к.ф.-м.н. : spec.. 01.05.03 - Математичне та програмне забезпечення обчислювальних машин і систем : presented. 1999-10-08; popup.evolution: .; . – , 0499U002513.
1 documents found

Updated: 2026-03-18