Terms for subject Programming containing developing a correct program

English	Russian
developing a correct program	создание корректной программы (ssn)
key to developing a correct program	ключ к созданию корректной программы (ssn)