由于GUI程序中有大量的不变量需要检查，因此，自动化测试是必需的。
这本书象综合一个类似物理过程的幅度（真空真空幅度）的那样是要系的一个介绍和连接不变量。
一个不变量的完全集合可以用来确定两个态在局部幺正变换下是否是等价的。
还有循环不变式等等，但前置、后置条件和类不变式是基本要素。
几何不变量之间的几何关系的计算是这些技术的一个具体应用。
投影不变量具有与视点和摄像机内外参数无关等优点，正逐渐成为计算机视觉研究的常用工具。
类型系统自身并没有表现得能够捕获所有计划的不变量。
好的规范会定义常量来约束对象的状态并且提供使用其方法的条件。
解决这个问题的一个重要且常用的方法是寻找局域幺正变换下的不变量的完全集。
一组新的由低阶中心矩构成的仿射不变量验证了本文推导的正确性。
通过分析，指出原文中所给绝对仿射不变量存在的缺陷，定义了一种新的绝对仿射不变量。
提出了一种用于图像分割的分段可变形模型，并在模型的能量函数中引入了仿射不变量信息。
本文利用玻色子湮灭算符构造了含时单、双模玻色系统的非厄密不变量。
该方法利用从参考图和测试图中得到的特征点提取其凸壳，并计算凸壳的仿射不变特征向量。
对于任何volatile变量，不变式或约束都不能包含JavaBean属性。
但在多个目标相距较近的情况下，投影过程中产生的误差会造成目标对应错误。
单元测试工具使我们能够检查重整情况下继续保持的程序的关键不变量。
把类型强制转换当作一种断言，把不变量当做说明该断言为true的原因的参数。
运用一种基于组合不变量的相似度测量的模板匹配和弹性TPS算法配准减影方法，并根据实际情况有所改进。
1·Interruption allows a cancelable activity to clean up any work in progress, restore invariants, notify other activities of the cancellation, and then terminate.
中断允许一个可取消活动来清理正在进行的工作，恢复不变量，通知其他活动它要被取消，然后才终止。
2·Unit testing tools allow us to check that key invariants of our programs continue to hold under refactoring.
单元测试工具使我们能够检查重整情况下继续保持的程序的关键不变量。
3·The type system by itself is not expressive enough to capture all of the intended invariants.
类型系统自身并没有表现得能够捕获所有计划的不变量。
4·Yet another approach to adding much more powerful invariants is that of dependent types.
添加更加强大的不变量的另一种方法是从属类型。
5·There are several research projects underway to significantly improve the sorts of invariants we can specify for a component.
目前正在进行多项调研项目以显著改进我们可以规定用于组件的不变量的种类。
1·With these limitations, I was able to support result collecting by clients both oblivious and controlling, without relying on them to enforce the invariants.
有了这些限制，就可以同时支持有客户机控制的和没有客户机控制这两种情况下的结果收集，不必依赖客户机来加强不变性。
2·For example, they can help you test your custom Exception class, verify that your datatype's Equals & GetHashCode are consistent, and check IList invariants.
例如，它可以帮你测试自定义的异常类，验证自定义类型的Equals和GetHashCode方法是否一致，以及检查IList的不变性。
3·Experiments show that our descriptor outperformed the conventional descriptor in rotational invariants.
实验表明，提出的描述子具有更好的旋转不变性。