Высокий уровень формализации