Las características claves del lenguaje Eiffel incluyen: