This looks like a great place to dive in and start researching...

 

I wonder just how usable they all are, and how one would go about implementing "Design By Contract" using each of them. Any experiences?