英语 ⇄ 俄语 +

correct-by-construction design method 强调
计算	итеративный метод проектирования (путем последовательного улучшения конструкции ssn)