Знайдено документів: 1
Інформація × Реєстраційний номер 0299U000531, 0196U015888 , Науково-дослідна робота Назва роботи Дослідження і розробка теоретичних основ, моделей, методів та програмних засобів об’єктно-орієнтованого створення розподілених додатків Назва етапу роботи Керівник роботи Лаврищева К.М., Дата реєстрації 29-03-2001 Організація виконавець Інститут програмних систем Опис етапу Об'єктом дослідження є різні типи розподілених додатків-застосувань (РД), які функціонують у сучасних мережових середовищах, з метою аналізу підходів до їх побудови для розроботки методів інженерії проектування застосувань, а також аналізу відповідних теоретичних підходів до проектування об'єктних моделей (ОМ) для створення нової методології проектування ОМ і РД на математичній основі. Методи дослідження застосовують теорію програмування, об'єктно-орієнтований підхід (ООП), теорію множин і Фреге, логіко-алгебраічний підхід, а також теорію часової логіки для формалізованого опису та побудови моделі стану ОМ довільних предметних галузей (ПрГ). Основні результати дослідження містять: формалізми для визначення ОМ; механізми її послідовної і сумісної еволюції для функціювання об'єктів у розподіленому середовищі; чотирьохрівневу методологію проектування ОМ з математичними формалізмами; поняття інтерфейсу взаємодії об'єктів; методи інженерії проектування РД для різних середовищ. Подані результати отримані в перше, не мають аналогу та утворюють теоретичний базис ООП для розробки РД. Галуззю використання результатів роботи є створення прикладних комп'ютерних застосувань для різних предметних галузей. Економічна ефективність полягає у підвищенні рівня дій розробника моделі ПрГ, якості визначення такої моделі та в зменшенні термінів процесу розробки за рахунок формалізації методології проектування. Практичне значення роботи полягає у використанні нової методології та її експериментальної програмної оболонки для формування ОМ и для побудови конкретних комп'ютерних систем. Опис продукції Автори роботи Додано в НРАТ 2020-04-02 Закрити
НДДКР ОК
Керівник: Лаврищева К.М.. Дослідження і розробка теоретичних основ, моделей, методів та програмних засобів об’єктно-орієнтованого створення розподілених додатків. (Етап: ). Інститут програмних систем. № 0299U000531
Знайдено документів: 1

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