Сидорова Н. М. Метод керованого онтологією застосування стилів програмування.

Мета дисертаційного дослідження – застосування стилів програмування у створенні, супроводженні і дослідженні програмного забезпечення, враховуючи сучасний стан інженерії програмного забезпечення. Основні результати, які отримані здобувачем: уперше запропоновано метод керованого онтологією застосування стилів програмування, сутність якого полягає у використанні онтології для представлення стилів програмування під час конструювання програм, шляхом створення онтології, а також асистування програмісту та контролю застосування стилю програмування в похідному тексті програми; уперше, проаналізувавши поняття стилю в різних доменах, формулюванням основних характеристик стилю як доменно незалежного поняття та застосуванням паттерну Work Product Pattern Application з Unified Foundational Ontology, який описує дії, що існують відносно Work product, створено шаблони онтології ядра стилю; уперше запропоновано архітектуру засобу керованого онтологією застосування стилю програмування. Основу архітектури складає база знань, яка за представленням у дескриптивній логіці містить термінологічну складову (TBox), що створюється заздалегідь шляхом виконання доменного аналізу, та фактичну складову (ABox), яка створюється під час аналізу похідного тексту програми.