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

Інформація × Реєстраційний номер 0409U002889, Кандидатська дисертація На здобуття к.т.н. Дата захисту 27-05-2009 Статус Запланована Назва роботи Інтелектуальні методи синтезу семантичних моделей програм Здобувач Лещинська Олена Леонідівна, Керівник Дюбко Геннадій Федорович Опонент Кучеренко Євген Іванович Опонент Серков Олександр Анатолійович Опис Дисертаційна робота присвячена розробці інтелектуальних методів синтезу семантичних моделей програм, що дозволяють скоротити час розробки програмного забезпечення. Удосконалено модель, що формалізує семантику комп'ютерних програм, яка відрізняється від існуючих урахуванням семантичних анотацій елементів таких моделей. Семантична анотація формалізує призначення анотованих елементів, вимоги до їх поведінки та рекомендації про їх використання у різних контекстах, що дає можливість синтезувати запропоновані семантичні моделі програм на основі анотацій їх елементів та перевіряти здійсненність побудованої моделі. Інтелектуальний метод синтезу семантичних моделей програм пропонується вперше. Набув подальшого розвитку метод перевірки здійсненності формальної моделі програми. Удосконалено метод семантико-синтаксичного аналізу формальної мови на основі її багатокомпонентної моделі. Запропоновано проводити навчання системи синтезу семантичних моделей програм на основі удосконаленого методу машинного навчання з підкріпленням. Запропоновані методи та моделі реалізовано у вигляді модулів прототипу інтелектуальної системи синтезу семантичних моделей програм. Дата реєстрації 2009-05-27 Додано в НРАТ 2020-04-04 Закрити