Вінничук І. П. Алгебраїчні основи та інструментальні засоби синтезу інтерактивних програмних середовищ

Розглянуті формалізовані засоби побудови автоматизованих систем синтезу інтерактивних програм. Основою дослідження є апарат алгебр та мета-алгебр. Розроблено двохрівневу алгебраїчну систему, що є математичним фундаментом побудов автоматизованих систем, в основі якої лежать запропоновані автором мета-алгебри та відповідні їм алгебри конструювання як алгоритмів програм, так і діалогових взаємодій користувача з програмою. Визначено критерії функціональної повноти систем елементів у мета-алгебрах, що дозволяє породжувати алгоритмічні алгебри з різноманітними властивостями операцій у їх сигнатурах. Розглянуто можливості та розроблено концепцію побудови природно-мовних інтерфейсів. На проведених теоретичних дослідженнях розроблено систему автоматизованого синтезу інтерактивних мультимедійних програм "Fancy for Windows".