除了XIN之外,用Java进行极端设计?

有技术性的吗 Design-by-Contract 类似于Java项目的解决方案 XINS ?我正在寻找能够强制开发人员首先为他们的应用程序编写一个契约,然后在契约边界内进行编码的项目/框架,真正地充分利用契约的潜力。我在寻找一些东西,比如xins,用一个运行时组件来验证契约,从契约中生成代码(服务器端和客户端、单元测试、存根)和文档(OpenDocument、HTML、测试表单)。

合同可以是任何东西,例如 WSDL 或者一堆XML文件。与集成 Spring 很高兴有。

请注意,我以前开发过XIN(但现在不再是维护人员了),我想知道有什么类似的解决方案,以及它们之间的比较。