Eiffel is an object-oriented programming language designed to enable programmers to develop extensible, reusable, reliable software efficiently. Eiffel is used in the finance, aerospace, health-care, video-gaming, and other industries
The language is just one part of the Eiffel Programming Method, which is based on principles such as Design by ContractTM, command-query separation, uniform-access principle, single-choice principle, open-closed principle and option-operand separation.
Eiffel interfaces easily with other languages and systems.