WikiPedia上有一个很好的有关按合同设计的概述
，最后有一个关于带有第三方支持库的语言的部分，其中包括一系列不错的Java库。这些Java库大多数基于Java断言。
在只需要前提条件检查的情况下，在SourceForge的Java
Argument Validation（纯Java实现）下，还有一个轻量级的Validate Method
Arguments解决方案。
根据您的问题，也许是用于字段/属性约束验证的OVal框架是一个不错的选择。该框架使您可以将约束以各种不同的形式（注释，POJO，XML）放置。通过POJO或脚本语言（Javascript，Groovy，BeanShell，OGNL，MVEL）创建客户约束。并实施合同编程。
