RSS 2 projects tagged "Contract Programming"

Download No website Updated 22 Feb 2011 Contracts for Java

Screenshot
Pop 17.97
Vit 28.62

Contracts for Java (Cofoja) adds contract programming support to Java through simple yet powerful annotations: @Requires, @Ensures, @Invariant, and @ThrowEnsures. Contracts are inherited from interfaces and superclasses and can be enabled selectively during development then disabled for release.

No download No website Updated 24 Sep 2011 PHPContracts

Screenshot
Pop 19.67
Vit 24.60

PHPContracts is a design by contract framework for the PHP programming language. It can be used in an object-oriented manner or with simple functions. Design by contract is a style of programming where classes and methods have a "contract" specified for them. If the contract is violated, then there is a defect/bug in the program.

Screenshot

Project Spotlight

libsodium

An easy-to-use crypto library based on NaCl.

Screenshot

Project Spotlight

Marvin

An extensible image processing framework for Java.