RSS 1 project tagged "Contract Programming"

Download No website Updated 22 Feb 2011 Contracts for Java

Screenshot
Pop 15.52
Vit 33.95

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.

Screenshot

Project Spotlight

Lynis

A security audit and hardening tool.

Screenshot

Project Spotlight

Barcode Writer in Pure Postscript

A generator of all major barcode formats entirely within Postscript.