Object Oriented Software Engineering With Eiffel

A comprehensive, up-to-date, and resource-filled guide to Eiffel--the only "pure" object-oriented programming language. In addition to describing Eiffel, the book contains descriptions and comparisons of compilers and libraries available on the market as well as other resources for Eiffel programmers, ina ddition to plenty of compiler-independent examples and case studies.

Software -- Software Engineering.

This volume aims to study how practicing software developers, in industrial as well as academic environments, can use object technology to improve the quality of the software they produce. It includes topics on concurrency and Internet programming.

This text combines a practical, hands-on approach to programming with the introduction of sound theoretical support focused on teaching the construction of high-quality software. A major feature of the book is the use of Design by Contract.

The complete tutorial guide to object-oriented programming techniques in Eiffel, emphasising how its unique approach to `programming by contract' encourages the design of correct, reusable software components. Emphasises the role of abstract data types in software development and uses them as a framework to teach Eiffel. Explains the principles behind the use of polymorphism and dynamic binding. Makes use of extensive written and practical exercises the majority of which contain solutions to consolidate and enhance the teaching of Eiffel.

There is a compelling alternative to the C++ programming language for implementing object-oriented software systems--the Eiffel programming language. This book presents the major features of the Eiffel language from a programmer's perspective. It offers case studies that, in addition to Eiffel implementation, show the use of the Booch 94 method of analysis and design.

This book is aimed at the beginning computer science student enrolled in a rigorous computer science curriculum. It is also aimed at practicing software development professionals new to the object paradigm who wish a gentle introduction to many features of the Eiffel language and the object paradigm.