Коваль Г. І. Моделі і методи інженерії якості програмних систем на ранніх стадіях життєвого циклу. - Рукопис. Дисертація на здобуття наукового ступеня кандидата фізико-математичних наук за спеціальністю 01.05.03 - математичне та програмне забезпечення обчислювальних машин і систем. - Інститут кібернетики ім. В.M. Глушкова НАН України, Київ, 2005. Дисертація присвячена розробленню, обгрунтуванню та впровадженню інженерного підходу до керування якістю на ранніх стадіях життєвого циклу програмних систем (ПС) оброблення даних на основі моделі якості, побудованої для одного з найважливіших кількісних показників якості - надійності ПС. Концептуальна модель прийняття рішень з керування якістю ПС вибраного класу ПС базується на розроблених та теоретично обгрунтованих моделях та методах встановлення кількісних вимог до надійності компонентів ПС, прогнозування дефектів та систематичного кількісного контролю надійності в ході проекту, починаючи з ранніх стадій ЖЦПС. Отримані теоретичні результати реалізовані практично в оригінальному програмному комплексі, призначеному для вирішення задач інженерії якості ПС впродовж усього періоду виконання проекту. Ключові слова: інженерія якості, керування якістю, програмні системи оброблення даних, модель надійності, прогнозування дефектів, процес верифікації, байєсавські мережі.