?正确度导向程序设计
并行控制的正确度 correctness of concurrency control 正确度导向程序设计 correctness oriented programming 正确性证明 correctness proof ..
?正确性的程序设计
... 用户的程序设计????user programming 正确性的程序设计????correctness oriented programming 编译程序的程序设计????compiler programming ...
面向正确性的程序设计
英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。