Архив выступлений: 2012-2013 учебный год, осенний семестр

Аннотация доклада.
В докладе предлагается новый подход к валидации объектно-ориентированного (ОО) программного обеспечения, основанный на использовании онтологий предметных областей, представленных на языке OWL, и средств автоматического вывода. Представляется общая архитектура системы семантической валидации. Рассматривается прототип системы, предназначенной для валидации ОО-программ на языке Java с использованием разработанной библиотеки Epiphron.