Аннотация доклада.

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