El Manejo de excepciones en Eiffel es basa en los principios de diseño por contrato.