2 projects tagged "Contract Programming"

Download No website Updated 22 Feb 2011 Contracts for Java

Screenshot
Pop 14.73
Vit 34.51

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 16.16
Vit 31.26

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

OpenSIPS

A mature implementation of a SIP server/proxy.

Screenshot

Project Spotlight

Qmmp

A Qt-based multimedia player.