|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Генерация объектных моделей программ на языке Visual Prologдипломная работа (Специалист)
- Научный руководитель: Малышко В.В.
- Автор: Манжосов Андрей Николаевич
- Тип: Специалист
- Организация, в которой проходила защита: МГУ имени М.В. Ломоносова, Филиал МГУ имени М. В. Ломоносова в г. Севастополе
- Год защиты: 2011
- Аннотация: Дипломная работа посвящена разработке программного средства, автоматически генерирующего объектные модели по исходному коду программ, написанных на языке Visual Prolog. На сегодняшний день, на Прологе написано значительное количество программного обеспечения, повторное использование которого затруднено в силу сравнительно небольшой распространенности Пролога. Одним из способов выхода из сложившейся ситуации является автоматическая генерация объектных моделей для Пролог-программ. В связи с этим, тема дипломной работы представляется достаточно актуальной. Для решения поставленной задачи были разработаны правила генерации объектных моделей по Пролог-программам. Правила обеспечивают адекватность моделей, понимаемую как соответствие результатов целевого запроса к исходной программе результатам запроса к полученной модели, аналогичного целевому. В ходе работы реализовано программное средство, создающее модели среды USE для входных программ на Прологе в соответствии с правилами генерации.
- Добавил в систему: Малышко Виктор Васильевич