Terms for subject Computers containing design methods

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