The book is a combination of a practical, hands-on approach to programming with the introduction of sound theoretical support focused on helping students learn the construction of high quality software. All the example code is written in Eiffel.

This book promotes the idea that concepts from the world of functional programming can be captured with design pattern descriptions. These can then be used to benefit from functional programming concepts with ordinary object-oriented languages (e.g. Eiffel).

An indispensable resource for anyone working with Eiffel, this up-to-date guide provides full coverage of the most recent version of the language, focusing on Eiffel's practical use in the development of large, mission-critical software systems.

This document provides the full reference for the Eiffel language. Eiffel is a method of software construction and a language applicable to the analysis, design, implementation and maintenance of software systems.

It explains the reasons for the gap between 'knowing' and 'doing', focuses on the role of non-cognitive capacities, such as setting goals, taking action, persevering and coping with setbacks, and shows how these capacities are undermined by adverse circumstances.