Cobra Forums

Cobra's support for contracts is modeled after Eiffel which, as far as I know, pioneered them as a language-level feature. Well okay, Bertrand Meyer pioneered them when he created Eiffel.

If you wish to learn more about them:

Check out the BlindWatchMaker1 sample. Be on the lookout for "require" and "ensure".

Read "Building bug-free O-O software: An introduction to Design by Contract (tm)"

Read "Design by Contract: The Lessons of Ariane"

As a sidenote, Bertrand wrote an interesting column on .NET in 2000,
"The significance of .NET"

Enjoy,
-Chuck

Heh, reading this article here:
http://weblog.infoworld.com/stratdev/archives/2008/02/cobra_is_an_int.html

Reminded me that there is a Coding for Quality document with a brief section on contracts which I should have mentioned in the first post on this topic.

There is now a How To for declaring contracts. It covers the Cobra syntax.

http://cobra-language.com/how-to/DeclareContracts/