Пошук академічних текстів

Інформація × Реєстраційний номер 0499U002513, Кандидатська дисертація На здобуття к.ф.-м.н. Дата захисту 08-10-1999 Статус Запланована Назва роботи Алгебраїчні основи та інструментальні засоби синтезу інтерактивних програмних середовищ Здобувач Вінничук Ігор Петрович, Керівник Цейтлін Георгій Овсійович Опонент Капітонова Юлія Володимирівна Опонент Дерецький Валентин Олександрович Опис Розглянуті формалізовані засоби побудови автоматизованих систем синтезу інтерактивних програм. Основою дослідження є апарат алгебр та мета-алгебр. Розроблено двохрівневу алгебраїчну систему, що є математичним фундаментом побудов автоматизованих систем, в основі якої лежать запропоновані автором мета-алгебри та відповідні їм алгебри конструювання як алгоритмів програм, так і діалогових взаємодій користувача з програмою. Визначено критерії функціональної повноти систем елементів у мета-алгебрах, що дозволяє породжувати алгоритмічні алгебри з різноманітними властивостями операцій у їх сигнатурах. Розглянуто можливості та розроблено концепцію побудови природно-мовних інтерфейсів. На проведених теоретичних дослідженнях розроблено систему автоматизованого синтезу інтерактивних мультимедійних програм "Fancy for Windows". Дата реєстрації 2000-12-06 Додано в НРАТ 2021-03-17 Закрити