Слабоспицька О. О. Моделі і методи експертного оцінювання у життєвому циклі програмних систем.

Створено математичний апарат підтримки експертного оцінювання об'єктів життєвого циклу (ЖЦ) програмних систем (ПС) для вироблення обґрунтованих рішень з ефективного керування перебігом ЖЦ. Апарат подано системою моделей та методів розв'язання формалізованих задач оцінювання об'єктів ЖЦ шляхом проведення їх експертиз, взаємопов'язаних у новому процесі оцінювання, запропонованому для поповнення ЖЦ. Побудовано модель процесу як системи підпроцесів з оцінювання заданих альтернатив, середовище й склад методів їх реалізації з використанням введеного відношення метризованої подібності. Досліджено властивості цього відношення, а також гомо- та ізоморфізми алгебраїчних моделей із ним у середовищі оцінювання. Розроблено повну й ненадлишкову систему методів підтримки підпроцесу оцінювання: інтерактивного формування середовища оцінювання і пошуку в ньому; максимізації якості результату експертизи (поданої показниками його стійкості й обґрунтованості) з використанням моделі переваг класу Аргументоване дерево цінності; формального аналізу ретроспективи експертиз. На грунті наданого апарату створено модель процесу керування ризиком і реалізовано програмні засоби його підтримки разом із підпроцесами оцінювання. Модель та засоби впроваджено у проекти інформаційно-аналітичних систем оборонного призначення в організації-розробнику, де не передбачалося формалізоване керування ризиком. Досягнуто вдосконалення процесу розроблення ПС: скорочення кількості первинних і зниження індикаторів відстежуваних ризиків. Забезпечено позитивну динаміку співвідношення знижених і відстежуваних ризиків.