Колесник А. Л. Моделі і методи розроблення варіантних сімейств програмних систем

Дисертація присвячена розробленню й обґрунтуванню теорії побудови варіантних програмних систем та впровадженню механізмів управління варіабельністю в сімействах програмних систем (СПС) шляхом реалізації нових технологічних процесів побудови таких систем. Розроблено концепцію чотирирівневого логіко-математичного проектування об'єктних і компонентних моделей ПС на основі узагальнення, структуризації, характеризації та поведінки об'єктів, які моделюються. Концептуальна модель варіантності ПС в СПС охоплює весь цикл розроблення програмних систем за стандартним життєвим циклом ISO/IEC 12207. За результатами побудови цих моделей виконується конфігурування складових елементів ПС і СПС у цілому. Розроблені програмні засоби підтримки окремих підпроцесів складання та конфігурування варіантних ПС у межах спектру технологічних ліній: розробки КПВ, обслуговування КПВ у репозиторії, заміни КПВ новими чи еквівалентними, конфігурування КПВ. Здійснено експериментальну реалізацію технологічних ліній у модельному компонентному середовищі ІТК, розробленого в ІПС НАНУ у рамках відомчої тематики фундаментальних досліджень.