Знайдено документів: 1
Інформація × Реєстраційний номер 0416U000852, Кандидатська дисертація На здобуття к.т.н. Дата захисту 24-03-2016 Статус Запланована Назва роботи Методи зборки прикладних систем з функціональних та інтерфейсних об'єктів зі стандартними та згенерованими даними Здобувач Cтеняшин Андрій Юрійович, Керівник Лавріщева Катерина Михайлівна Опонент Сидоров Микола олександрович Опонент Олецький Олексій Віталійович Опис Дисертація присвячена розробленню й обґрунтуванню методів побудови програмних систем (ПС) з функціональних та інтерфейсних об'єктів, а також впровадженню концепції чотирьохрівневого проектування і тестування функціональних об'єктів. Базисом дослідження є методологія обміну даними між різнорідними об'єктами, до яких належать фундаментальні і загальні типи даних та генеровані типи, накопичені бібліотеках і сховищах "Big Data". Удосконалено концепції логіко-математичного проектування прикладних об'єктів і ПС шляхом узагальнення, структуризації, характеристики та поведінки об'єктів. Модель ПС ґрунтується на процесах життєвого циклу стандарту ISO/IEC 12207 та стандарту ISO/IEC 11404 загальних типів даних. Теоретичні концепції побудови об'єктної моделі (ОМ) з об'єктів-методів і інтерфейсів обґрунтовані низкою тверджень і теорем. Процес проектування ОМ реалізовано за допомогою програмних засобів підтримки операцій збирання компонентів повторного використання шляхом їх конфігурування з функціональними та інтерфейсними об'єктами у ПС. Створені об'єкти специфікуються мовою стандарту WSDL і зберігаються у репозиторії ІТКЗП для подальшого використання. Обрані функціональні об'єкти зв'язуються між собою даними, заданими в інтерфейсних об'єктах. Здійснено експериментальну реалізацію ПС на технологічних лініях за допомогою операцій зовнішньої, внутрішньої і еволюційної алгебри та тестування правильності як об'єктів, з можливістю їх збирання у ПС, так і самих ПС . Дата реєстрації 2016-03-24 Додано в НРАТ 2020-04-03 Закрити
Дисертація кандидатська
1
Cтеняшин Андрій Юрійович. Методи зборки прикладних систем з функціональних та інтерфейсних об'єктів зі стандартними та згенерованими даними : к.т.н. : спец.. 01.05.03 - Математичне та програмне забезпечення обчислювальних машин і систем : дата захисту 2016-03-24; Статус: Захищена; Інститут програмних систем НАН України. – , 0416U000852.
Знайдено документів: 1

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