Object-oriented programming in Eiffel

Provides a clear introduction to the Eiffel programming language. Covers the language, logical assertions, and design of object-oriented systems, making it ideal for a new programmer or those unfamiliar with object-oriented programming. Paper. DLC: Object-oriented prog. Providing an easy-to-understand introduction to programming in the Eiffel language, this book details logical assertions and the design of object oriented systems. Covers basic Eiffel language programming in the first part of the book; the second part covers the assertion language. Employs a large case study to illustrate each topic in a realistic system, and shows how Eiffel supports and requires code re-use. Object-Oriented Series, Bertrand Meyer editor. For Eiffel language programmers and non object oriented programmers. This is an inductory text on Eiffel for the new programmer, or for a non object-oriented programmer. It covers the Eiffel language, logical assertions and the design of object-oriented systems.