Eiffel is an Object Oriented Programming language.

Design by Contract [ProgrammingByContract] is one of its major features.

See http://www.maceiffel.com/ for an OS X version. It appears to support both Cocoa and Carbon.