2.10. Eiffel

Eiffel ... "Programming by contract" ...