Eiffel es un lenguaje orientado a objetos nacido en 1987 con la intención de evitar los problemas de C++ y Smalltalk, enfatizando la necesidad de producir software robusto. Dispone de diseño por contrato, que facilita la detección de