Sunday, February 26, 2006


The many uses of DbC

Design by Contract, how do I love thee, let me count the ways...Have I missed any?

One more: DbC is a testing tool. It enables a tool like AutoTest to stress-test your code for you, based on the contracts that you have specified.
Project management tool by maintaining and enforcing specifications and other prior work. This was discussed in an article on Eiffel in HP color printers.

-- Jussi
Post a Comment

<< Home

This page is powered by Blogger. Isn't yours?