英语 ⇄ 俄语 +

proof methodology 强调
编程	методология доказательства (напр., для формальной проверки (оценки) работоспособности параллельных программ ssn)