correctness-oriented programming

correctness-oriented programming是什么意思、correctness-oriented programming怎么读
【计】 面向正确性的程序设计

correctness-oriented programming汉语翻译

【计】 面向正确性的程序设计