Monday, December 28, 2009

.NET Code Contracts

Code Contracts bring the advantages of design-by-contract programming to all .NET programming languages. The contracts take the form of preconditions, postconditions, and object invariants. Contracts act as checked documentation of your external and internal APIs. The contracts are used to improve testing via runtime checking, enable static contract verification, and documentation generation.


No comments: