![](/irbis_nbuv/images/db_navy.gif) Книжкові видання та компакт-диски ![](/irbis_nbuv/images/db_navy.gif) Журнали та продовжувані видання ![](/irbis_nbuv/images/db_navy.gif) Автореферати дисертацій ![](/irbis_nbuv/images/db_navy.gif) Реферативна база даних ![](/irbis_nbuv/images/db_navy.gif) Наукова періодика України ![](/irbis_nbuv/images/db_navy.gif) Тематичний навігатор ![](/irbis_nbuv/images/db_navy.gif) Авторитетний файл імен осіб
![Mozilla Firefox](../../ico/mf.png) |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Пошуковий запит: (<.>ID=20091125002603<.>) |
Загальна кількість знайдених документів : 1
|
| Лещинська О.Л. Інтелектуальні методи синтезу семантичних моделей програм : автореф. дис... канд. техн. наук: 05.13.23 / О.Л. Лещинська ; Харк. нац. ун-т радіоелектрон. — Х., 2009. — 19 с. — укp.Розроблено інтелектуальні методи синтезу семантичних моделей програм, шо дозволяють скоротити час розробки програмного забезпечення. Вдосконалено модель, яка формалізує семантику комп'ютерних програм та передбачає врахування семантичних анотацій елементів таких моделей. Зазначено, що семантична анотація формалізує призначення анотованих елементів, вимоги до їх поведінки та рекомендації щодо їх використання у різних контекстах, що дозволяє синтезувати запропоновані семантичні моделі програм на базі анотацій їх елементів і перевіряти здійсненість побудованої моделі. Уперше запропоновано інтелектуальний метод синтезу семантичних моделей програм. Розвинуто метод перевірки здійсненості формальної моделі програми. Вдосконалено метод семантико-синтаксичного аналізу формальної мови на базі її багатокомпонентної моделі. Запропоновано проводити навчання системи синтезу семантичних моделей програм на базі вдосконаленого методу машинного навчання з підкріпленням. Запропоновані методи та моделі реалізовано у вигляді модулів прототипу інтелектуальної системи синтезу семантичних моделей програм. Завантажити
Індекс рубрикатора НБУВ: З973-018.11 + Шифр НБУВ: РА365273
Рубрики:
|
|
|