Search Results for "contract"

C4J is a simple, powerful and non-intrusive tool that makes it easy to add contract verification of instances and methods of any Java class or interface, with full inheritance support. C4J brings Design By Contract to Java.

Allows developers to create Java software on the pattern based approach. Programmer won't implement infrastructure for patterns but would use the ready ones. JPattern is a contract pushing developer to implement the logic in the terms of known patterns

JContractS, Java Contract Suite, allows you to easily add contracts to your Java classes. Contracts are specified in Javadoc comments and processed at build time. It is a resurrection of the iContract tool from Reliable Systems.

Java Fine Print is a Design by Contract (DbC) tool. Developers add @Invar, @Pre, and @Post annotations to their code. Java Fine Print uses these annotations to generate Java source code that tests for contract violations.

Design by Contract with seamless integration into the Spring Framework, based on Annotations, AOP and a pluggable Specification Language (supports Expression Language (EL) with Extensions, Groovy, OGNL out of the box).

A design-by-contract (DBC) framework for Java 1.5 which uses annotations to declare preconditions, postconditions, etc. Unlike other design-by-contract frameworks, requires no precompilation, making code portable across build systems, IDEs, and platforms