12 packages returned for Tags:"dbc"

Dbc by: lkt82
Provides support for Design By Contract as described by Bertrand Meyer in his seminal book, Object-Oriented Software Construction (2nd Ed) Prentice Hall 1997 (See chapters 11 and 12). See also Building Bug-free O-O Software: An Introduction to Design by... More information
  • 300 total downloads
  • last updated 2/9/2019
  • Latest version: 1.0.0.4
  • DBC Contract
Library representing the desing by contract programing such as precondition, postconditions, and object invariants
cbc by: knutkj
A JavaScript library with function argument assertions, a function parser and assertion wrapper functionality. By wrapping your functions you get defined, notNull, bool, func, number, object, string and notEmpty assertions for free. The interface is specially optimised for the Visual Studio... More information
NContract is a design by contract library that lets you write oneliners to verify parameters in constructors and methods instead of using more verbose if statements.
Library representing the desing by contract programing such as precondition, postconditions, and object invariants