Знайдено документів: 1
Інформація × Реєстраційний номер 0411U003033, Кандидатська дисертація На здобуття к.ф.-м.н. Дата захисту 07-04-2011 Статус Запланована Назва роботи Експлікативне програмування у макрокомпозиційних середовищах Здобувач Парфірова Тетяна Сергіївна, Керівник Редько Володимир Никифорович Опонент Дорошенко Анатолій Юхимович Опонент Бублик Володимир Васильович Опис Дисертація присвячена дослідженню проблеми адекватного теоретичного відображення проектів програмних систем на концептуально-єдиній основі. Метою дисертаційної роботи є побудова і дослідження дескриптологічно коректної, експліцитної моделі проекту програмної системи, що допускає взаємодоповнення з традиційними засобами представлення проектів і придатної для застосування до предметних областей. Вдосконалено відомий з наявних робіт підхід до розуміння феномену проекту та способу представлення проектів: відношення, що утворюють структуру проекту, конкретизовані як частковий випадок сутесутнісних відношень. Показано зв'язок між адаптивністю програмних систем та їх відкрито-замкненістю. Запропоновано новий підхід до експлікації взаємодій підсистем програмної системи у формі тричленної моделі, здатної до саморозгортання. Досліджено специфічні риси проектів, спільні для різних їх типів, та вперше вказано на ациклічність як сутнісну характеристику; це дозволило сформулювати природну за алгебраїчними властивостями модель систем обробки даних. Побудовано нові моделі структури і поведінки ациклічних систем обробки даних та вперше досліджено їх алгебраїчні властивості. Запропоновано погляд на системи для автоматизації навчальної діяльності з точки зору сутнісної платформи як на системи, що базуються на ациклічних взаємодіях сутностей. У дисертації наведено теоретичне узагальнення та нове вирішення наукової задачі, що полягає в розробці адекватної моделі проектів програмних систем та методики її застосування до конкретних різновидів систем. Дата реєстрації 2011-04-07 Додано в НРАТ 2020-04-04 Закрити
Дисертація кандидатська
1
Парфірова Тетяна Сергіївна. Експлікативне програмування у макрокомпозиційних середовищах : к.ф.-м.н. : спец.. 01.05.03 - Математичне та програмне забезпечення обчислювальних машин і систем : дата захисту 2011-04-07; Статус: Захищена; Київський національний університет імені Тараса Шевченка. – , 0411U003033.
Знайдено документів: 1

Оновлено: 2026-03-19