Forums

Reading up on contracts

General discussion about Cobra. Releases and general news will also be posted here.
Feel free to ask questions or just say "Hello".

Reading up on contracts

Postby Charles » Sat Feb 09, 2008 10:53 pm

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
Charles
 
Posts: 2510
Location: Los Angeles, CA

Re: Reading up on contracts

Postby Charles » Sun Feb 10, 2008 4:13 am

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.
Charles
 
Posts: 2510
Location: Los Angeles, CA

Re: Reading up on contracts

Postby Charles » Mon Mar 03, 2008 4:42 pm

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

http://cobra-language.com/how-to/DeclareContracts/
Charles
 
Posts: 2510
Location: Los Angeles, CA


Return to Discussion

Who is online

Users browsing this forum: No registered users and 4 guests

cron