pre-conditions, post-conditions, object invariants in .NET - go here
PingBack from http://asp-net-hosting.simplynetdev.com/code-contracts/
Nice post.. very helpful.. thanks.. really thanks..