Terms for subject Computers containing methods design

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