Пошук академічних текстів

Інформація × Реєстраційний номер 0418U005348, Кандидатська дисертація На здобуття Кандидат технічних наук Дата захисту 06-12-2018 Статус Запланована Назва роботи Метод керованого онтологією застосування стилів програмування. Здобувач Сидорова Ніка Миколаївна, Керівник Кривий Сергій Лук'янович Опонент Чеботарьов Анатолій Миколайович Опонент Рябокінь Юлія Миколаївна Опис Мета дисертаційного дослідження – застосування стилів програмування у створенні, супроводженні і дослідженні програмного забезпечення, враховуючи сучасний стан інженерії програмного забезпечення. Основні результати, які отримані здобувачем: уперше запропоновано метод керованого онтологією застосування стилів програмування, сутність якого полягає у використанні онтології для представлення стилів програмування під час конструювання програм, шляхом створення онтології, а також асистування програмісту та контролю застосування стилю програмування в похідному тексті програми; уперше, проаналізувавши поняття стилю в різних доменах, формулюванням основних характеристик стилю як доменно незалежного поняття та застосуванням паттерну Work Product Pattern Application з Unified Foundational Ontology, який описує дії, що існують відносно Work product, створено шаблони онтології ядра стилю; уперше запропоновано архітектуру засобу керованого онтологією застосування стилю програмування. Основу архітектури складає база знань, яка за представленням у дескриптивній логіці містить термінологічну складову (TBox), що створюється заздалегідь шляхом виконання доменного аналізу, та фактичну складову (ABox), яка створюється під час аналізу похідного тексту програми. Дата реєстрації 2018-12-06 Додано в НРАТ 2020-04-03 Закрити