Search Results for "contract"

EiffelStudio is an Integrated Development Environment (IDE) that provides comprehensive facilities to programmers. It offers a comprehensive suite of tools that enable programmers to produce correct, reliable, and maintainable software while keeping control of the development process. If you want to create fast, robust, scalable applications, then EiffelStudio™ will offer you a cost-effective solution. Imagine being able to model your system as you think – capturing your requirements and...

...Currently almost 70% of Debian is written in C or C++. The aim of Eifflix is to replicate Debian, replacing as much as possible of the low-level C code with higher-level design-by-contract Eiffel code. Beginning as a collection of packages, we hope one day to provide a full operating system as stated at http://eifflix.org.

The Data Structure & Algorithm Library (DSAL) is a library of classical data structure and algorithm.

PHP Design by Contract provides a basic implementation of contract programming in PHP 5.3+. The base Contract class allows new or existing classes to define properties as protected Attributes and methods as Routines, which require argument type/class validation, aswell as PreCondition and PostCondition checks. Instances can also check for state consistency with an invariant check.

ezContract contains a Java library and a Java bytecode instrumentor to support Design by Contract in the Java language.

Design by Contract allows a programmer to document a function/class with statements describing behavior. Metacontract implements the PEP-0316 related to this feature for the Python language using meta classes.