Гордієнко, Євгеній Олегович2025-12-182025-12-182025-12-17Горідієнко Є.О. Метод формалізації вимог до програмного забезпечення на основі оцінки якості результатів опитування зацікавлених сторін : кваліфікаційна робота магістра : 121 Інженерія програмного забезпечення / Є.О. Гордієнко ; Хмельниц. нац. ун-т. – Хмельницький, 2025. – 85 с.https://elar.khmnu.edu.ua/handle/123456789/19976Мета дослідження – удосконалення методу формалізації вимог до програмного забезпечення на основі оцінки якості результатів опитування зацікавлених сторін та розроблення програмного засобу для його реалізації. У процесі виконання кваліфікаційної роботи досліджено предметну область інженерії вимог, проаналізовано сучасні підходи, методи та засоби формалізації вимог до програмного забезпечення, а також визначено проблеми, пов’язані з використанням неявних знань та неоднозначних результатів опитування стейкголдерів. Запропоновано удосконалений метод формалізації вимог, який враховує показники якості результатів опитування зацікавлених сторін, що дозволяє підвищити точність, узгодженість та достовірність сформованих вимог. Розроблено архітектуру та програмну реалізацію системи, яка підтримує процес формалізації та оцінювання вимог. Отримані результати можуть бути використані під час аналітичного етапу розробки програмного забезпечення для підвищення якості формування вимог і зменшення ризику помилок на ранніх стадіях життєвого циклу програмного продукту.uk121 Інженерія програмного забезпеченнявимоги до програмного забезпеченняаналіз вимог до програмного забезпеченняякість програмного забезпеченняМагістерські роботи