Eiffel: An overview of the language and methodThe Eiffel language and the underlying method lie at the basis of the ISE Eiffel environment. The language is described in detail in the book Eiffel: The Language and the method in Object-Oriented Software Construction. Here is an overview, adapted from the introduction to the first of these books. 1 DESIGN PRINCIPLESThe aim of Eiffel is to help specify, design, implement and modify quality software. This goal of quality in software is a combination of many factors; the language design concentrated on the three factors which, in the current state of the industry, are in direst need of improvements: reusability, extendibility and reliability. Also important were other factors such as efficiency, openness and portability. Reusability is the ability to produce components that may be used in many different applications. Central to the Eiffel approach is the presence of predefined libraries such as EiffelBase, and the language's support for the production of new libraries. Extendibility is the ability to produce easily modifiable software. "Soft" as software is supposed to be, it is notoriously hard to modify software systems, especially large ones. Among quality factors, reusability and extendibility play a special role: satisfying them means having less software to write -- and hence more time to devote to other important goals such as efficiency, ease of use or integrity. The third fundamental factor is reliability, the ability to produce software that is correct and robust -- that is to say, bug-free. Eiffel techniques such as static typing, assertions, disciplined exception handling and automatic garbage collection are essential here. Three other factors are also part of Eiffel's principal goals:
|
