On my wishlist: 'Design by Contract - DbC'
Posted: Fri Apr 09, 2004 1:13 pm
Definitely on my wishlist: 'Design by Contract - DbC' as it is implemented in Eiffel. Please check out http://smarteiffel.loria.fr to learn more about Eiffel.
For the uninitiated: DbC defines a way of adding a formal specification to every function/procedure that defines what it expects from the caller and what it promises to return to the caller. This formal specification is called a 'contract'. In Eiffel, these contracts are defined by the REQUIRE and ENSURE keywords. Don't mix up DbC with the ASSERT() macro in C. DbC goes way beyond that.
For those interested in DbC, do a Google search here: http://www.google.de/search?q=%22Design ... l=de&meta=
DbC is a very valuable method to foster software correctness. PureBasic could become the first Basic to implement it...
For the uninitiated: DbC defines a way of adding a formal specification to every function/procedure that defines what it expects from the caller and what it promises to return to the caller. This formal specification is called a 'contract'. In Eiffel, these contracts are defined by the REQUIRE and ENSURE keywords. Don't mix up DbC with the ASSERT() macro in C. DbC goes way beyond that.
For those interested in DbC, do a Google search here: http://www.google.de/search?q=%22Design ... l=de&meta=
DbC is a very valuable method to foster software correctness. PureBasic could become the first Basic to implement it...