English ⇄ Russian +

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