La programmation orientée objet remplace progressivement la programmation structurée. Deux raisons essentielles justifient cette profonde mutation :

- une méthode d'analyse et de conception bien supérieure à celle utilisée par la programmation structurée.

- des logiciels dont les principales qualités sont la réutilisabilité, la facilité de maintenance et l'interopérabilité.

Dans cette mutation, Eiffel joue un rôle primordial. Non seulement ce langage est un langage orienté-objet "pur" et permet donc d'atteindre les qualités apportées implicitement par le modèle des objets, mais surtout, grâce à la notion de pré- et postconditions, il offre explicitement aux développeurs la garantie qu'un logiciel est correct, ce qui rend presque superflu l'emploi d'un débogueur.

Cet ouvrage présente de manière incrémentale (sans schéma compliqué ni règles de grammaire lourdes) les aspects du langage Eiffel dont aura besoin le concepteur débutant dans la production de logiciel. L'auteur traite ensuite du problème général de l'écriture de code réutilisable et montre comment Eiffel permet d'atteindre cet objectif essentiel. Enfin, deux applications substantielles sont développées : leur construction est explicitée pas à pas et les choix effectués sont justifiés, afin de permettre une réelle assimilation de la méthode sous-jacente au langage Eiffel. En à peine deux cents pages, les concepteurs et développeurs expérimentés et les élèves-ingénieurs apprendront à maîtriser l'essentiel de Eiffel.