1 documents found
Information × Registration Number 0411U003033, Candidate dissertation Status к.ф.-м.н. Date 07-04-2011 popup.evolution o Title Explicative programming in macrocompositional environment Author Parfirova Tetiana Sergiivna, popup.head Redko Volodymyr Nykyforovych popup.opponent Дорошенко Анатолій Юхимович popup.opponent Бублик Володимир Васильович Description Дисертація присвячена дослідженню проблеми адекватного теоретичного відображення проектів програмних систем на концептуально-єдиній основі. Метою дисертаційної роботи є побудова і дослідження дескриптологічно коректної, експліцитної моделі проекту програмної системи, що допускає взаємодоповнення з традиційними засобами представлення проектів і придатної для застосування до предметних областей. Вдосконалено відомий з наявних робіт підхід до розуміння феномену проекту та способу представлення проектів: відношення, що утворюють структуру проекту, конкретизовані як частковий випадок сутесутнісних відношень. Показано зв'язок між адаптивністю програмних систем та їх відкрито-замкненістю. Запропоновано новий підхід до експлікації взаємодій підсистем програмної системи у формі тричленної моделі, здатної до саморозгортання. Досліджено специфічні риси проектів, спільні для різних їх типів, та вперше вказано на ациклічність як сутнісну характеристику; це дозволило сформулювати природну за алгебраїчними властивостями модель систем обробки даних. Побудовано нові моделі структури і поведінки ациклічних систем обробки даних та вперше досліджено їх алгебраїчні властивості. Запропоновано погляд на системи для автоматизації навчальної діяльності з точки зору сутнісної платформи як на системи, що базуються на ациклічних взаємодіях сутностей. У дисертації наведено теоретичне узагальнення та нове вирішення наукової задачі, що полягає в розробці адекватної моделі проектів програмних систем та методики її застосування до конкретних різновидів систем. Registration Date 2011-04-07 popup.nrat_date 2020-04-04 Close
Candidate dissertation
1
Parfirova Tetiana Sergiivna. Explicative programming in macrocompositional environment : к.ф.-м.н. : spec.. 01.05.03 - Математичне та програмне забезпечення обчислювальних машин і систем : presented. 2011-04-07; popup.evolution: .; Taras Shevchenko Kiev University. – , 0411U003033.
1 documents found

Updated: 2026-03-27