Search academic texts

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