12 packages returned for Tags:"dbc"

cbc by: knutkj
Call by Contract (CbC) JavaScript library
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.
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
  • 179 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
Library representing the desing by contract programing such as precondition, postconditions, and object invariants