Analysis, validation, and code correctness tools.
分析、验证和代码更正工具。
Don't hesitate to go with the slightly less clean looking code if that code makes more sense from a correctness and performance point of view.
如果那些稍微比较不整洁的代码从正确性和执行来讲更有意义，我们也要毫不犹豫的去选择它们。
It is designed for vague and rapidly changing requirements, advocates short development cycles to maximize learning, and requires constant testing and refactoring of code to ensure its correctness.
它被设计用于模糊而迅速地更改要求，提倡较短的开发周期以便最大程度地学习，并要求持续测试和重编代码以确保其正确性。
To keep data consistent across multiple entities in a denormalized context, schemas have to be “defined in code because it’s only code that can track all the relationships and maintain correctness.”
为了在去正规化的条件下，保证数据跨多个实体的一致性，schema必须“在代码中定义，因为那是唯一能跟踪所有关系和保证数据正确性的地方。”
The debugger places the source code change into "live" production and checks it for correctness.
调试程序将源代码更改放入“现场”的生产过程，然后检查它是否正确。
Hie correctness of the specification of a software is the precondition of the correctness of the destination code.
软件规格说明的正确性是软件目标代码正确性的前提。
Thus far and in Scratch will pretty much focus on the idea of correctness: Does your code work as we asked it to and as you intended it to?
至此，人们大都是把注意力集中于正确性，观点上：你的代码是不是根据你的意愿，并按照你的要求来执行呢？
Do understand that by calling a delegate, you will be executing arbitrary code, which might have security, correctness, and compatibility repercussions.
要了解调用委托将会执行任意代码，这可能会造成安全性、正确性和兼容性方面的问题。
Ensure correctness via code and static analysis.
确保通过代码和静态分析的正确性。
Parity is a method of checking the correctness of the code transmission.
奇偶校验是一种校验代码传输正确性的方法。
The abstraction function and key invariants for the correctness of the code.
维持代码的正确性的抽象函数与关键常量。
Depending on the difficulty of the specification and code, the group may also write a correctness proof for the code.
随著各个专题规格与程序的难度不同，小组可能需要写出程序正确性的证明。
Static analysis is a technique that aims to evaluate the correctness of your source code without running it.
静态分析是一种技术，旨在评估源代码的正确性，但不运行它。
The correctness of the arguments is determined by the language behind the code model.
参数正确与否由代码模型后面的语言决定。
The correctness of the arguments is determined by the language behind the code model.
参数正确与否由代码模型后面的语言决定。
应用推荐