Anglais ⇄ Russe +

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