面向正确性的程序设计的英文翻译

英文翻译：【计】 correctness-oriented programming