THE EIFFEL LANGUAGE, combining rigorous software engineering principles with advanced object-oriented techniques, is quickly emerging as the language of choice for developers of quality software. Used worldwide in a wide range of application areas, it has attracted considerable attention not just as an implementation language but also as a high-level notation for analysis and design.