Design By Contact Approach: Spec#
I recently attended a very interesting presentation by Matt Podwysocki
where he talked about Spec#. This is an extension to the C# language
that implements the DBC (Design By Contract) approach to development.
Spec# was developed by Microsoft Research and you can find more
information about it here. It is really some very interesing stuff that will hopefully be implemented in the future releases of C#/.NET.
has put a lot of effort into understanding and explaining the details
of DBC. Here are the links to his posts on the subject: