ABSTRACT

The Eiffel programming language was designed to allow the creation of large-scale software applications that exhibit correct behavior and general robustness even in the face of constant improvements brought on by changing requirements. Eiffel supports and relies on the object-oriented approach to programming and provides many advanced software engineering capabilities that can be used to yield benefits such as improved time to market, a manageable maintenance cycle, easily understood code, and reusable software components. Leading practitioners have built domain-specific Eiffel frameworks that serve as strategic assets for the continual development of specialized software solutions.