Search academic texts

Information × Registration Number 0409U002889, Candidate dissertation Status к.т.н. Date 27-05-2009 popup.evolution o Title Intelligent synthesis methods of programs semantic models Author Leshchynska Olena Leonidivna, popup.head Djubko Gennadij Fedorovych popup.opponent Кучеренко Євген Іванович popup.opponent Серков Олександр Анатолійович Description Дисертаційна робота присвячена розробці інтелектуальних методів синтезу семантичних моделей програм, що дозволяють скоротити час розробки програмного забезпечення. Удосконалено модель, що формалізує семантику комп'ютерних програм, яка відрізняється від існуючих урахуванням семантичних анотацій елементів таких моделей. Семантична анотація формалізує призначення анотованих елементів, вимоги до їх поведінки та рекомендації про їх використання у різних контекстах, що дає можливість синтезувати запропоновані семантичні моделі програм на основі анотацій їх елементів та перевіряти здійсненність побудованої моделі. Інтелектуальний метод синтезу семантичних моделей програм пропонується вперше. Набув подальшого розвитку метод перевірки здійсненності формальної моделі програми. Удосконалено метод семантико-синтаксичного аналізу формальної мови на основі її багатокомпонентної моделі. Запропоновано проводити навчання системи синтезу семантичних моделей програм на основі удосконаленого методу машинного навчання з підкріпленням. Запропоновані методи та моделі реалізовано у вигляді модулів прототипу інтелектуальної системи синтезу семантичних моделей програм. Registration Date 2009-05-27 popup.nrat_date 2020-04-04 Close