О метатеории схематологии // Синтез, тестирование, верификация и отладка программ, тезтезисы доклада